F* (язык программирования)
F* (язык программирования) Обзор языка программирования F* F* — это высокоуровневый язык программирования с функциональными и объектно-ориентированными возможностями. Основан на […]
Вики
Семейство языков программирования OCaml
Вики
ATS (язык программирования)
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Вики
F Sharp (язык программирования)
Фа-диез (язык программирования) F# — язык программирования общего назначения с поддержкой объектно-ориентированного и функционального программирования. F# поддерживает асинхронное программирование и