SK
Ужасно что Вернор Виндж был прав :(
люблю винджа, читал немножк (не всё), однако не распарсил, care to elaborate?
Size: a a a
2020 May 23
SK
Без вывода типов только кошки родятся
оч верно, зачем вообще языки без глобального вывода
AA
чтоб выстрадать велью
_:
Опять Александры воюют...
LO
люблю винджа, читал немножк (не всё), однако не распарсил, care to elaborate?
Конец радуг
LO
Ну правда у него победили либртахи
LO
А по факту нет
SK
Конец радуг
ага, как раз её не. только пламя на бездной / глубина в небе. Конец радуг это новое что-то, 2006-й
R
тайпчекер завтипов намного проще пишется, чем не незавтипов
только наивный. Как только хочешь сделать его эффективным, начинаются приключения. А если хочешь юзабельную систему, то нужна динамическая унификация высших порядков, и все становится совсем сложно
R
А вывод типов?
а вывод типов не нужен
AA
че на скриптах писать штоле?
Oℕ
Смотрю кто-то опять ретвитнул какой-то комент дегуза, хотел посмотреть чо за индус снова - а это клапауций
DF
Кек
DF
В фп тоже есть индусы?
DF
Или это индусы от фп?
к
в фп очень даже есть индусы
DF
А, я понял, это сокращение от индустриальный программист
к
нет, это натуральные инудсы-хаскелисты
R
че на скриптах писать штоле?
каких скриптах
*вывод полиморфных типов не нужен. Мономорфные Агда отлично выводит
*вывод полиморфных типов не нужен. Мономорфные Агда отлично выводит
AA
> вывод полиморфных типов не нужен
лол
лол