AV
Которые для того, чтобы использовать достаточно 1 предложение прочитать
Size: a a a
2020 May 23
LO
тайпчекер завтипов намного проще пишется, чем не незавтипов
А вывод типов?
AV
А вывод типов ещё проще
AV
Его же нет
к
просто не пишется)
LO
Тру
LO
В жопу такой хаскель. Сам пиши
LO
Без вывода типов только кошки родятся
к
вообще интуитивно натянуть вывод типов можно, чтобы он выводил независимые типы
к
я не пробовал это делать и не знаю, почему это проблема, нужно попробовать
Oℕ
Как художник или моряк
моряк пишет?
LO
моряк пишет?
Ходит
Oℕ
как программист?
LO
как программист?
В базу
LO
Никто не знает какую-нибудь картину в духе соцреализма с суровыми программистами в халатах?
AA
промоушен, по моему, только для санков работает, т.е. того что один раз меняется, вроде для мутабельных ячеек его не делают
(на самом деле я не уверен что пропмоушен сейчас вообще работает, может это был только какой-то эксперимент в ходе мультикор-страданий)
(на самом деле я не уверен что пропмоушен сейчас вообще работает, может это был только какой-то эксперимент в ходе мультикор-страданий)
АГ
Завтипов в Хаскеле 90% вероятности не будет
AA
Завтипов в Хаскеле 90% вероятности не будет
ну если хачкель помрет в ближайшее время (т.е. в течении лет пяти работы над ним где-то до смльного уровня затухнут) - тогда не будет
AV
Это цель сипсисистов!
AV
Чтобы не работали над компилятором, а для работы нужно было разрешение от совета индустрии