Blog.

СодержаниеНеизменяемые структуры данных (persistent data structures)Прощай, состояние!Все функции — первого класса и высшего порядкаЧистые функции (pure functions)Доказательные вычисления и оптимизация (Machine Assisted Proofs and Optimizations)Функция enumerate Этот паттерн оказывается ненужным если в языке есть поддержка каррирования. Теперь мы можем передавать add в качестве аргумента в другие функции. Мы можем создавать экземпляры add_function_t ...