дальше википедия
Smalltalk — объектно-ориентированный язык программирования с динамической типизацией, основанный на идее посылки сообщений. Разработан в Xerox PARC Аланом Кэем, Дэном Ингаллсом, Тедом Кэглером, Адель Голдберг и другими в 1970-х годах.
Особенности языка Smalltalk:
Всё считается объектом. Например, числа, строки и символы. Это делает язык гибким и интуитивно понятным для разработчиков, знакомых с объектно-ориентированными концепциями.
Динамическая типизация. Переменные не привязываются к конкретным типам данных при компиляции, а решается это на этапе выполнения программы. Это позволяет быстрее писать код, поскольку не нужно заранее определять типы всех переменных.
Нет синтаксиса, похожего на традиционные языки программирования. Здесь нет явных операторов и специальных структур (условных конструкций или циклов), которые есть в других технологиях. Всё выражается через сообщения, которые объекты посылают друг другу.
Lisp — это функциональный язык программирования, который используется в разных областях, таких как наука, промышленность, образование, медицина и информационные технологии.
Добавлю от себя: является оплотом метапрограммирования, если не считать глобальных переменных и негигиеничность макросов то он никак не нарушает принципы чистой функциональности(циклы - макросы которые на самом деле ведут на do который в свою очередь является рекурсией, все ооп тоже макросы соответственно не нарушают функциональность, императивные части на подобии let - тоже макросы)
Основные принципы языка Lisp:
Условные конструкции If/then/else и построения из них.
Функции находятся на том же уровне, что и строки или числа.
Рекурсия.
Переосмысление переменных. Все переменные в рамках языка Lisp представляют собой указатели.
Сборка мусора. Механизм эффективного автоматического контроля памяти, который стирает из неё ненужные объекты, впервые появился именно в Lisp.
Вся программа построена на основе выражений. Стандартная Lisp-программа представляет собой деревья выражений, которые могут возвращать конкретные значения.
Haskell — стандартизированный чистый функциональный язык программирования общего назначения. Был создан в 1990 году и назван в честь математика Хаскелла Карри.
Основные особенности Haskell:
Функциональный язык. Вычисления строятся на основе функций, которые не имеют побочных эффектов.
Ленивая оценка. Код выполняется только тогда, когда результат необходим. Это позволяет оптимизировать работу программы, минимизировать использование ресурсов и обрабатывать бесконечные структуры данных.
Статическая типизация. Язык использует систему типов, которая обеспечивает надёжность кода.
Haskell применяется в разных областях, например:
Разработка сложных алгоритмов. На Haskell создают сложные вычислительные алгоритмы, особенно те, где важна математическая строгость и надёжность.
Компиляторы и анализ кода. Haskell используется в разработке компиляторов и инструментов анализа кода.
Веб-разработка. Haskell обеспечивает высокую производительность благодаря своим архитектурным особенностям и поддержке асинхронного программирования.
Встроенные системы и IoT. Haskell используется для разработки надёжных встроенных систем и решений в области интернета вещей (IoT).
Исследования и прототипирование. Благодаря своей математической основе Haskell популярен в академической среде и используется для научных исследований и прототипирования.
СКАЧАТЬ СМОЛТОЛК(jit-компилятор + среда)(pharo) - https://www.pharo.org/
СКАЧАТЬ ЛИСП(компилятор)(sbcl) - https://sourceforge.net/projects/sbcl/files/sbcl/2.5.2/
СКАЧАТЬ ХАСКЕЛЬ(компилятор)(ghci) - https://www.haskell.org/ghc/
нинужна
>Haskell
>экзоязык
У хаскеля средства формальной верификации искаропки.
дракон-swift
Элитнее могут быть только ПРУВЕРЫ!
COQ
@
LEAN
@
AGDA
@
IDRIS