Я ПОСВЕЩАЮ ЭТОТ ТРЕД ЭКЗОТИЧЕСКИМ ЯЗЫКАМ

дальше википедия
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/