b
А markdowm - ml язык?
Size: a a a
2020 March 14
VK
Суммы типов это имеется ввиду алгебраические типы?
JC
ага
VK
В тс есть адл
Паттерн матчинг в проекте жса
Паттерн матчинг в проекте жса
JC
Ну типо, чтоб варианты делать
JC
О, кстати, ты теорию типов знаешь
VK
Я только делаю вид
JC
Чем ADT от GADT отличается?
JC
А то мне чет рассказали недавно, что в Расте не GADT, а ADT
JC
Но я не понял, почему
VK
Я в теории типов примерно с раздела зависимых типов плаваю
VK
А гадт эт уже про зависимые типы
JC
хммммммм
JC
На вики вроде писали, шо в окамле есть GADT
JC
Но зависимых типов там нет
VK
Не может быть
D
А стоит каждую функцию делать асинхронной?
VK
У меня сто лет назад была теория типов, я плохо помню такие сложные моменты
VK
Но мне кажется что зависимые типы начинаются с гадт