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