H
что тогда про идрис сказать?
если хаскеллисты это лабораторные кролики то идрисисты это лабораторные крысы
Size: a a a
2020 July 04
AZ
Haskell98 is based on the Hindley-Milner type system, which is a restricted version of System F and does not support forall and rank-2 types or types of even higher rank. You have to enable the RankNTypes[3] language extension to make use of the full power of System F.
а что не так? ХМ Самый норм способ выводить типы
H
а что не так? ХМ Самый норм способ выводить типы
немного не так что это в обучающей статейке. норм если человек знает теорию типов, не норм если это читает джавист обычный прямиком из baeldung
AZ
если хаскеллисты это лабораторные кролики то идрисисты это лабораторные крысы
что тогда можно сказать про neut?
H
что тогда можно сказать про neut?
вообще страшно вообразить
p
что тогда можно сказать про neut?
На нём никто не пишет
p
На идрисе хоть кто-то пишет
DR
flatbuffers же, самый няшный вариант.
Проблемы все те же, что у остальных бинарных протоколов, зато шустрый как чёрт
Проблемы все те же, что у остальных бинарных протоколов, зато шустрый как чёрт
еще fbs достаточно молодой, и судя по гитхабу его мейнтейнит один человек. На фичи библиотеки для языков сильно беднее чем для протобафа. Того же отладочного вывода буфера зимой еще не было и хз есть ли сейчас
H
neut и идрис это такто вообще ресерч чистый
AZ
немного не так что это в обучающей статейке. норм если человек знает теорию типов, не норм если это читает джавист обычный прямиком из baeldung
что плохого в том что там даются ссылки про ХМ и ситем Ф? Я вот когда был шарпист и то про них знал лет 7 назад
H
что плохого в том что там даются ссылки про ХМ и ситем Ф? Я вот когда был шарпист и то про них знал лет 7 назад
зайти в джава чатик и спросить кто знает систем ф и хинди миллер вывод типов
H
я думаю очень немного
H
тем более у народа страх к математике когда видят страшные формулы
H
сразу закрывают страницу и пишут на своем джава дальше
AZ
зайти в джава чатик и спросить кто знает систем ф и хинди миллер вывод типов
https://gist.github.com/Pzixel/b09845c3f4d622db1581fa9764f60d43 неплохая паста кстати от знакомого
DR
не верю что все так просто
на моей практике проблем не было, проекту на который пришел несколько лет, протобаф схемы растут вместе с проектом, боли не чувствуется. Есть своя специфика конечно, но это приходит после прочтения доки (жсон тоже когда-то видели в первый раз)
DF
Я не знаю хинди Миллер зато знаю хинди
H
в https://en.wikibooks.org/wiki/Haskell/Polymorphism вообще не показали как выглядят rank-n types
H
> In general, a rank-n type is a function that has at least one rank-(n-1) argument but no arguments of any higher rank.
H
что конечно очень ненаглядно