Forwarded from Aleksey @cheatex
Coq вроде уже лет 15 ничего не ломает и даже не очень специфицированный язык тактик доказывает примерно то же самое от версии к версии. Или у меня слишком радужная картина?
https://news.1rj.ru/str/clojure_ru/122081
«Муууу!» - говорит коровка.
«Типы в компайле не нужны», - говорит долбаеб.
«Муууу!» - говорит коровка.
«Типы в компайле не нужны», - говорит долбаеб.
Telegram
Vyacheslav Mikushev in Clojure — русскоговорящее сообщество
Я тоже так думаю. Как можно разговаривать с человеком, если он не отличает бестиповый язык программирования от языка со многими типами, но проверяемыми в рантайме.:)
Forwarded from Иван Федоров
Типы несут затраты. Где-то они окупаются. Где-то нет.
Forwarded from Waldemar Frischkäse
Скалисты, вам надо немного самообразованием заняться