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