AV
Где вы такие исходники берёте
Да дались вам модули
Что они полезного в повседневной работе дают?
Size: a a a
2020 June 23
AA
модули оч. интересная фича, жаль снойман не позволил испытать их в языке на котором не полтора человека пишет Ж((
AA
по факту файл с кодом часто вообще без тайпаннотаий
да, самая лучшая черта окамлистов - не пишут типы где и так понятно
MK
Да непонятно нихрена когда в чужой код приходишь
MK
Вот есть функция, принимает какое-то foobar
MK
Как узнать какого оно типа?
MK
Либо смотришь на операции, которые с ним делают, и играешь в компилятор, либо, если повезёт, смотришь с чем оно матчится и грепаешь по коду где такой конструктор есть
MK
А если он ещё и в нескольких модулях определён... Ммм, счастье!
MK
Черт знает какой именно тут модуль был открыт
AV
и называется тип T
YP
Где можно посмотреть, например, про гадты и модули?
попробую найти, был хороший пейпер, но сходу вот
https://homepage.divms.uiowa.edu/~astump/papers/icfp09.pdf
вобщем экзистенциальный тип в GADT не что иное как просто паттерн-матчинг first-class (в его ограниченном ocaml-овском понимании) модуля.
https://homepage.divms.uiowa.edu/~astump/papers/icfp09.pdf
вобщем экзистенциальный тип в GADT не что иное как просто паттерн-матчинг first-class (в его ограниченном ocaml-овском понимании) модуля.
AA
и называется тип T
t
MK
и называется тип T
😭
MK
попробую найти, был хороший пейпер, но сходу вот
https://homepage.divms.uiowa.edu/~astump/papers/icfp09.pdf
вобщем экзистенциальный тип в GADT не что иное как просто паттерн-матчинг first-class (в его ограниченном ocaml-овском понимании) модуля.
https://homepage.divms.uiowa.edu/~astump/papers/icfp09.pdf
вобщем экзистенциальный тип в GADT не что иное как просто паттерн-матчинг first-class (в его ограниченном ocaml-овском понимании) модуля.
Спасибо
MK
Давайте поднимем свой шилди где-нибудь, а?
АВ
Как узнать какого оно типа?
там tooltips работают, и Code lense, прикинь 😒
MK
Отлично, давайте всё валить на тулинг
MK
А если я просто на гитхабе код читаю?
QZ
модули оч. интересная фича, жаль снойман не позволил испытать их в языке на котором не полтора человека пишет Ж((
эт про то что в стеке бэкпак не поддерживается?
AV