YS
Желательно чтобы у этого человека ещё и было желание об этом расскать)
Size: a a a
2020 May 18
A
Желательно чтобы у этого человека ещё и было желание об этом расскать)
не усложняй
DS
Желательно чтобы у этого человека ещё и было желание об этом расскать)
Кстати, вот один из докладов Николая, как раз про типы: https://www.youtube.com/watch?v=y_auT62ycVc
YS
не усложняй
Не понял .-.
YS
Кстати, вот один из докладов Николая, как раз про типы: https://www.youtube.com/watch?v=y_auT62ycVc
Спасибо!
MK
А кто из известных представителей ру-хаскеля активно пишет на типах в прод?
MK
Он что-то писал вроде...
YS
Похож на тебя!
A
Он что-то писал вроде...
опередил
YS
Вас не путают?
MK
Случается
YS
(спасибо за видео)
Y
Э.. ну вон в typeable много "на типах" в проде
Их название обязывает!
AP
Не "Typed" же, а "Typeable"
AP
"Типизируемо" не значит "типизируют" :)
AP
Даже "typed" ничего не гарантирует. "typed clojure", например, это максимум "typeable clojure" %)
MK
А well-typed гарантирует?
AP
Вот это — полущ!
YS
"Типизируемо" не значит "типизируют" :)
"Если в начале пьесы на стене висит ружье, то оно должно выстрелить" (С)