Comments 4
UFO just landed and posted this here
Поэтому может позволить себе
> возможность применять типы, если и когда мне это нужно
В сегодняшнем посте https://habr.com/ru/company/JetBrains-education/blog/589343/, например, использовался Coq. Среди CS сообщества считается, что теоремы, проверенные на Coq, не содержат ошибок в доказательствах.
Каждый раз когда встречаю тексты этого автора - вижу поток ностальгии, среди которой нужно найти суть
Встречал как-то выражение, что любой уважающий себя музыкант, рано или поздно, приходит к блюзу. Так же и программер приходит к функциональщине на одном из диалектов Lisp-a. Седина вам в голову, коллеги ;)
Sign up to leave a comment.
О типах