SP
Но это же только для хаскеля
ну почему-же? алгоритмы и подходы там отрабатывались. Ты можешь и на джавке писать схожим образом но язык не позволит тебе многое выразить и ты будешь то там то тут терять информацию о типах
Size: a a a
2020 October 19
JS
я чуть выше написал - вывод типов
а также всякие сложные типы и полиморфизмы
JS
Но это же только для хаскеля
а надо, чтобы Хаскель выводил типы в Яве?
EГ
ну почему-же? алгоритмы и подходы там отрабатывались. Ты можешь и на джавке писать схожим образом но язык не позволит тебе многое выразить и ты будешь то там то тут терять информацию о типах
Хаскель своего рода эталон на рынке типов, я так понимаю
АГ
классы как возможность описать тип - вроде норм
SP
Хаскель своего рода эталон на рынке типов, я так понимаю
ну вообще достаточно почитать историю языка) там тоже коммерция замешана
JS
Хаскель своего рода эталон на рынке типов, я так понимаю
всего лишь лидер рынка, не лучший представитель, но самый популярный
SP
в целом я не компетентен рассуждать о типах) я в это дело не умею
JS
классы как возможность описать тип - вроде норм
наверно, вы не пробовали нетривиальные типы описывать
SP
я лишь хочу сказать что "эти вещи развиваются" и новые вещи как раз таки там искать надо. А вещи в джавках - им уже 50 лет.
АГ
например? список кортежей, состоящих из списков?
EГ
в целом я не компетентен рассуждать о типах) я в это дело не умею
Просто типизация для программистов, а не наоборот)
АГ
никто же не мешает вложить один класс в другой (композиция) и вложить все остальные базовые типы в поля класса
SP
никто же не мешает вложить один класс в другой (композиция) и вложить все остальные базовые типы в поля класса
и вот тут начинаются заумства на тему "ты упрешься в ограничения теория множеств и надо выходить на теорию категорий" и т.д.)
SP
мол "деревья типов" на дают нужной гибкости что бы решать проблемы
АГ
это все математика. дальше инварианты уже идут (множество допустимых значений класса)
EГ
и вот тут начинаются заумства на тему "ты упрешься в ограничения теория множеств и надо выходить на теорию категорий" и т.д.)
🤯
SP
это все математика. дальше инварианты уже идут (множество допустимых значений класса)
инварианты и логика Хоара это тоже математика (логика это ж математика?)
АГ
ну да.. в общем правда сложна это все) нужно чтобы это все в доступном виде ушло в массы в виде механизмов мейнстримовых языков. и тогда будет норм. если этого нет - значит как-то пока обходятся...
SP
классы основаны на теории множеств, реальность же чуть интереснее