RR
Size: a a a
2020 December 04
AG
до чего ж оно все страшное и вербозное по сравнению с рефайнед-тайп-костылищами на смт-страданиях типа ликвидхачкеля
одно другому не мешает
RR
достаточно всякого, тобы писать велью
Нет
RR
Нету пакетного менеджера и билд тулы
DB
речь про стравнение одного сейфети с другим
ну ликвид можно считать нечистым сафети, ибо компилятору на ливиды эти чхать
AG
напиши солвер и прикрути, будет менее вербозно
DB
в смысле нет, если вэлью пишут
AG
завтипы это ж строгое надмножество рафинада
RR
Я тогда не понимаю что под “вэлью” подразумевается
DB
Я тогда не понимаю что под “вэлью” подразумевается
код за деньгу и для деньги
к
для вэлью в целом не нужно ничего кроме ффи в сишку
RR
Но это всё-равно неюзабельно почти
AA
ну ликвид можно считать нечистым сафети, ибо компилятору на ливиды эти чхать
вообще непонятное возражение, в хачкеле высранном из пруфасситента тоже будет компилятору на все плевать
RR
Нужен PM, хугл какой-нибудь
RR
А то сейчас все свои версии жс-ных биндингов пишут
DB
вообще непонятное возражение, в хачкеле высранном из пруфасситента тоже будет компилятору на все плевать
справедливо
DB
для вэлью в целом не нужно ничего кроме ффи в сишку
ффи писать сложна
RR
ффи писать сложна
На идрисе — да
DB
на хаскеле тоже. да везде это больно. Когда у тебя всё превращается в сишку