s
Так как всё равно по сути HM типы юзаешь.
Size: a a a
2021 February 20
ΑZ
У тебя просто rank-n типов в коде нет, поэтому хаскель может вывести тебе тип.
а кто сказал что ранкn это обязателньное свойство кода?
ΑZ
Хм, а ты всегда так относишься, когда с тобой в чем-то не соглашаются?
Я, если что, js вообще очень не люблю.
Я, если что, js вообще очень не люблю.
нет, просто меня подгорают утверждения, что солнце крутится вокруг земли потому что смари, эпициклы
ΑZ
у людей типы - обуза, которая пишется для компилятора чтобы он отъебался
ΑZ
а потом делаются далекоидущие выводы про нинужные церемонии
A
нет, просто меня подгорают утверждения, что солнце крутится вокруг земли потому что смари, эпициклы
Блин, я же просто сказал, что в хаскеле уже не HM и в некоторых случаях оно неразрешимо, не более.
A
Я не пытался сказать, что типы обуза.
ΑZ
Блин, я же просто сказал, что в хаскеле уже не HM и в некоторых случаях оно неразрешимо, не более.
так а с тобой я вроде и не спорил)
ΑZ
я сгорел часа полтора назад
ΑZ
то что там уже не HM - ну, до недавнего времени был, и в целом можно для утверждений его юзать, но спасибо за инфу что больше он этого не делает
A
то что там уже не HM - ну, до недавнего времени был, и в целом можно для утверждений его юзать, но спасибо за инфу что больше он этого не делает
Там с 2010 System F
A
Даже с 2008, если верить вики
IL
нет, просто меня подгорают утверждения, что солнце крутится вокруг земли потому что смари, эпициклы
Нет, у вас подгорело с того, что вы услышали что-то, о чем не привыкли слышать и делать, и пустились в объяснения о том, как вы привыкли слышать и делать, чтобы восстановить душевный комфорт и привычный миропорядок вещей. Как-то так.
H
о, типчики манады
H
я проверяю когда же тут политосрач пройдёт
ΑZ
Там с 2010 System F
ну так системф
ΑZ
Там с 2010 System F
A restriction of System F known as "Hindley–Milner", or simply "HM", does have an easy type inference algorithm and is used for many statically typed functional programming languages such as Haskell 98 and the ML family.
ΑZ
Нет, у вас подгорело с того, что вы услышали что-то, о чем не привыкли слышать и делать, и пустились в объяснения о том, как вы привыкли слышать и делать, чтобы восстановить душевный комфорт и привычный миропорядок вещей. Как-то так.
нет, у меня подгорает с людей-калькуляторов которые видя функцию рекурсивно знают все ограничения на объекты которые там есть
ΑZ
а ещё с людей-мнемоников которые больше 5 минут помнят контекст
ΑZ
а может просто завидую, не знаю