@supmener

Скачал язык отсюда http://smlnj.cs.uchicago.edu/

Скачал редактор jedit5.5.0

Установил. Как запустить Hello, world?

0

Вложения

ML.7z (1.39 Мб, 1 просмотров)

@supmener

Перевод книги автора Харрисон Введение в функциональное программирование (книга с примерами на языке ML).
https://funprog-ru.github.io/

В видео на Ютубе
Введение в функциональное программирование на примере языка ML
говорится про Emacs
не знаю, как запустить http://www.zerny.dk/emacs/sml-mode.html

Добавлено через 30 минут
Ещё такой вариант есть http://progopedia.ru/version/o... ml-3.10.2/

0

@Catstail

Вот так:


Standard ML of New Jersey (32-bit) v110.96 [built: Fri Dec 13 15:22:22 2019]
- 1+2*3;
val it = 7 : int
- print "Hello!";
Hello!val it = () : unit
- fun ins' << (num, nums) = let
= fun i (n, []) = [n]
= | i (n, ns as h::t) = if <<(n,h) then n::ns else h::i(n,t)
= in
= i (num, nums)
= end
= fun insertionSort' << = List.foldr (ins' <<) [];
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable]
[autoloading done]
val ins' = fn : ('a * 'a -> bool) -> 'a * 'a list -> 'a list
val insertionSort' = fn : ('a * 'a -> bool) -> 'a list -> 'a list
- insertionSort' op< [3, 1, 4];
val it = [1,3,4] : int list
- insertionSort' op> [3, 1, 4];
val it = [4,3,1] : int list
- print "Hello world\n";
Hello world
val it = () : unit
-

Красным выделен ответ системы

1

@supmener

После установки есть консоль языка и редактор jedit. Куда этот код вставлять? Если в jedit, то с каким расширением сохранять? И как запускать?

0

@Catstail

supmener, как видишь, я общался с консолью

1

@supmener

Благодарю, получилось. А не знаете, как вставлять текст из буфера обмена в консоль (в версии 110.81, работающую в XP, не работает)?
Может кто то подскажет, как настроить jedit на запуск кода ML?
Или может другой редактор есть для этого, который легко можно настроить?

Добавлено через 14 минут
Ещё есть PolyJEditPlugin.
https://homepages.inf.ed.ac.uk... EditPlugin

0

@korvin_

Зачем?

или

1

@supmener

Чтобы можно было запускать код, написанный другими людьми.

Добавлено через 14 минут
Обсуждение ведется также здесь https://github.com/funprog-ru/funprog-ru/issues/22
Там подсказали ещё одно решение.

0

@supmener

Это похоже издание '96 года.
Харпер Р. Введение в стандартый ML.
https://www.itu.dk/~sestoft/mosml/harper-a.pdf

1

@supmener

Сильно ли отличаются синтаксисы ML, Ocaml, F# ?

0

@supmener

Орлов "Теория и практика языков программирования" Учебник для вузов. 2 издание.
Страница 624.

Добавлено через 2 минуты
С. В. Зыков. Введение в теорию программирования. Функциональный подход.
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET.

0

@korvin_

Нет.

1

@supmener

Чисто функциональные структуры данных
Окасаки Крис
2016
Большинство книг по структурам данных предполагают использование императивного языка программирования, например, C/C++ или Java. Однако реализации структур данных на таких языках далеко не всегда хорошо переносятся на функциональные языки программирования, такие как Стандартный ML, Haskell или Scheme. В этой книге структуры данных описываются с точки зрения функциональных языков, в ней содержатся примеры и предлагаются подходы к проектированию, которые могут использоваться разработчиками при создании их собственных структур данных. Книга включает в себя как классические структуры данных, к примеру, красно-чёрные деревья и биномиальные очереди, так и некоторые новые структуры данных, созданные специально для функциональных языков. Весь исходный код приводится на Стандартном ML и Haskell, причём большинство программ нетрудно адаптировать для других функциональных языков программирования. Это издание представляет собой справочное руководство для профессиональных программистов, работающих с функциональными языками, и может также использоваться в качестве учебника для самостоятельного изучения.

0

@supmener

Исходный код к книге

0

Вложения

К. Окасаки - Чисто функциональные структуры данных. К.zip (102.0 Кб, 2 просмотров)

@freevoyajer

pfds in scheme

1

@supmener

https://github.com/Ravenbrook/mlworks

0