Зависимый ОД
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом […]
Зависимый МЛ Обзор DML DML — экспериментальный язык программирования, разработанный Хунвэем Си и Фрэнком Пфеннингом в 2007 году. Является диалектом […]
ATS (язык программирования) Обзор ATS ATS — это функциональный язык программирования общего назначения, разработанный Хунвэем Си. ATS объединяет формальную спецификацию
Одновременный ML Основы Concurrent ML Concurrent ML — это функциональный язык программирования, который расширяет стандартный ML для поддержки параллелизма. Он
Alice (язык программирования) Обзор Alice ML Alice ML — это функциональный язык программирования с поддержкой параллелизма, отложенного вычисления и программирования
Стандартный МЛ Обзор стандарта ML ML — это функциональный язык программирования, разработанный в 1970-х годах. Он был создан для решения
Фа-диез (язык программирования) F# — язык программирования общего назначения с поддержкой объектно-ориентированного и функционального программирования. F# поддерживает асинхронное программирование и
Футарк (язык программирования) Futhark — многопарадигмальный, высокоуровневый, функциональный язык программирования с параллельными данными и массивами данных. Он разработан на факультете
ML (язык программирования) ML — функциональный язык программирования общего назначения с полиморфной системой типов Хиндли-Милнера. ML обеспечивает сопоставление с образцом,