Чистый скрипт
Чистый скрипт Обзор PureScript PureScript — строго типизированный функциональный язык, компилируемый в JavaScript, C++11, Erlang, Go. Используется для веб- и […]
Вики
Programming languages created in 2013
Вики
Lean (помощник по доказательству)
Lean (помощник по проверке) Обзор Lean Lean — это инструмент для верстки и функциональный язык программирования. Основан на индуктивных типах