ИВ
Всмысле?)
Size: a a a
2020 September 10
MB
Вроде типизация это во многом про programs as proofs
N
А зачем фапать на типизацию, объясните
DL
Вроде типизация это во многом про programs as proofs
А потом идём по проектам на скале и смотрим количество ишью
ИВ
Типизация -- это идеешки, статические анализаторы, хорошие сообщения у компиляторов и возможность менять api без боли
N
Типизация -- это идеешки, статические анализаторы, хорошие сообщения у компиляторов и возможность менять api без боли
Для этого достаточно типизировать интерфейсы
ИВ
Просто нужно знать, где наступает предел текущей системы и наколенке под себя допилить
ИВ
Шаблоны и имплиситы это и делают
ИВ
Только это страшно больно
ИВ
Потому что они выглядят не Органично
ИВ
Ломают устоявшиеся принципы языка
ИВ
Просто нужно знать, где наступает предел текущей системы и наколенке под себя допилить
С типами высшего порядка не разбирался. Так что хаскеллисты могут поправить
ИВ
Имплиситы в этом плане станут сильно лучше в dotty
ИВ
Переслано от Илья Волков...
Потому что они выглядят не Органично
ИВ
Переслано от Илья Волков...
Ломают устоявшиеся принципы языка
ИВ
Шаблонам уже ничто не поможет)
DL
Шаблонам уже ничто не поможет)
Скале тоже
DL
Джависты массово валят на Котлин
N
Джависты массово валят на Котлин
Серьезно?
ИВ
Джависты массово валят на Котлин
Из-за синтаксиса заметь