AI
Суть в том что код говно, как бы ты не старался. С типами, без типов, с pair-programming и код ревью, без них. Все равно будет говном.
Size: a a a
2019 June 10
DL
Да честно говоря подзаебали эти "ветераны" тупо хвалить динамику и хаять static typing. Вон в Racket умудряются как-то весь этот сыр совмещать и даже как-то занятно. Кложа в двух шагах от от того чтобы кто-то сделал чтобы spec инструментация пробегала по коду в фоне, а не в рантайме. Вот я посмотрю на их рожи
Совмещать то пытаются, я даже один модуль на typed racket сделал както
DL
Совмещать то пытаются, я даже один модуль на typed racket сделал както
Но где тот рэкет?
n
Гилад Браха тоже одно время люто топил за Pluggable Typesystems
n
в Newspeak оно даже есть
n
но оно совершенно неюзабельно, как и в случае с typed racket
AI
Вы видели paper про Turnstile? Отрыв башки
n
а спека, внезапно, юзабельна
MG
@ilemming Ссылку, плз
AI
Понятное дело. Спека она для прагматиков
MG
@ilemming Type systems as macros?
AI
@ilemming Ссылку, плз
Я на телефоне. Ща в электричке жопу если посажу постараюсь найти, кинуть
MG
Да, башки действительно отрыв, хотя бы из-за синтаксиса. Я не ресёрчер в computer science, я этого не понимаю.
D
Очень вероятно
Можем пересечься)
A
1. spec
Это разве не тоже самое , что везде типы указывать? Смысл тогда во всем этом? )
n
Это разве не тоже самое , что везде типы указывать? Смысл тогда во всем этом? )
ну, нет, лол
AI
Рич и Стю Хелловей и другие матерые Кложуристы они конечно авторитетные, но иногда хочется чтобы они год-два в Хаскеле посидели. Так, для профилактики.
A
ну, нет, лол
Ну как нет. Те же яйца только в профиль. Ты что тип на входе укзал, что проверил его внешней фигней описываемой руками опять же... работы меньше не стало
n
а нет цели сделать меньше работы