Оглавление
Одновременный ML
-
Основы Concurrent ML
- Concurrent ML – это функциональный язык программирования, который расширяет стандартный ML для поддержки параллелизма.
- Он позволяет создавать первоклассные коммуникационные абстракции, а не встроенные в язык.
- Дизайн CML и его примитивы были заимствованы из других языков, таких как GNU Guile, Racket и Manticore.
-
Коммуникационные абстракции
- Многие языки программирования поддерживают параллелизм через каналы связи, но требуют от программиста написания функций для установления связи.
- CML решает эту проблему, вводя синхронизируемые события, которые позволяют блокировать и генерировать значения.
- События в CML могут быть комбинированы и манипулированы с помощью примитивных операций, создавая составные события, представляющие шаблоны связи.
-
Пример программы “Привет, мир!”
- Программа выводит данные на консоль, используя потоки с каналами для строк и печать строки, полученной по каналу.
- Она использует стандартные ML и CML, с изменениями для конкретных платформ.
-
Дополнительные ресурсы
- Официальный веб-сайт CML доступен для получения дополнительной информации.