ΑZ
Поэтому она не тьюринг-полна, и следовательно не может определить корректность логики базовой программы. Так же как и система зав. типов
кто-то нахватался умных слов, но не до конца разобрался что они означают
Size: a a a
2021 February 20
ΑZ
унификация хиндли-милнера позволяет полностью вывести все типы в программе или доказать что это невозможно: вывести сообщение об ошибке типов из-за противоречивых требований в типах => обычная ошибка короче
ΑZ
никакой проблемы останова не нужно решать, потому что функции на тайплевеле - тотальные и всегда завершаются за конечное время
ΑZ
good night
IL
Блин, я не знаю, что сказать, если честно
IL
Он всегда такую ахинею несет? )
A
потому что вся история дактайпинга - "ой мы не умеем объявлять интефрейсы для чужих типов"
Ну, в хаскеле есть тайпклассы. Но это не решает проблемы отсутствия row полиморфизма.
A
Ок, давай я такой вопрос задам: как в твоем чудо-коде не читая тело foo понять, что она ожидает объект с интовым полем
a?Ну а как хаскель по телу лямбды и операциям, которые там совершаются выводит тип, необходимый на входе?
A
унификация хиндли-милнера позволяет полностью вывести все типы в программе или доказать что это невозможно: вывести сообщение об ошибке типов из-за противоречивых требований в типах => обычная ошибка короче
Вроде как с 2010 ушли с хиндли-милнера.
s
проблема останова только если у тебя завтипы. Обычная лямбда2-ерунда доказывается элементарно
Вывод типов в System F вообще говоря неразрешим.
ΑZ
Вывод типов в System F вообще говоря неразрешим.
он строит уравнения и вполне их уницифирует норм
A
"кто-то нахватался умных слов, но не до конца разобрался что они означают" =)
ΑZ
по крайней мере из
foo x y = x + 10*y он правильно выводит вполне требованияs
он строит уравнения и вполне их уницифирует норм
В частных случаях.
ΑZ
В частных случаях.
отстуствтие топ левел деклараций это кодсмелл, ты и сам это знаешь
ΑZ
и не потому что он не может вывести
ΑZ
"кто-то нахватался умных слов, но не до конца разобрался что они означают" =)
да-да, окей, уговорили, жс - лучший яп
ΑZ
с самым крутым компилятором
A
да-да, окей, уговорили, жс - лучший яп
Хм, а ты всегда так относишься, когда с тобой в чем-то не соглашаются?
Я, если что, js вообще очень не люблю.
Я, если что, js вообще очень не люблю.
s
отстуствтие топ левел деклараций это кодсмелл, ты и сам это знаешь
У тебя просто rank-n типов в коде нет, поэтому хаскель может вывести тебе тип.