MK
ладно, попробую протащить unsafeCoerce, посмотрим что на ревью скажут ;)
let x :: a = (2 :: Int) in xSize: a a a
2020 May 18
MK
жаль нельзя вот так тип матчить и коершины генерировать
на это вроде тоже какой-то пропозал был
MK
возможно его
int-index делал
MK
жаль нельзя вот так тип матчить и коершины генерировать
let x :: a = (2 :: Int) in xа зачем такое может быть нужно, кстати?
к
а зачем такое может быть нужно, кстати?
не знаю)
MK
(выстрелил себе в ногу тем, что сто лет назад не экспортировал кое-что из своей либы)
блин, с этим и ансейф коерс не поможет
вот же зараза!
вот же зараза!
MK
хочу завхаскель
NI
хочу завхаскель
И в него можно будет идрис компилировать!
;-)
;-)
MK
И в него можно будет идрис компилировать!
;-)
;-)
зачем?
AA
И в него можно будет идрис компилировать!
;-)
;-)
нельзя Ж(((
AA
его предполагается с расширением использовать, которое вообще отключает создание геттеров
JS
DRF не только на геттеры влияет, но и на апдейты, например
AA
рано про него новорить еще, там не имплементированы например два экстеншона над которыми надстраивается этот точечный пропозал
AA
посмотрим лет через пять че там с чем будет работать