М.Двач / Программирование

тред экзоязыков(лисп, хаскель и смолтолк) 20 апр, 12:29 3435627 В конец треда | Веб

33 Кб, 310x11276 Кб, 600x59648 Кб, 480x270

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

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

Ответы635652

2 20 апр, 12:30 2 3435628

бамп

3 20 апр, 12:30 3 3435629

бамп

4 20 апр, 12:32 4 3435634

бамп

5 20 апр, 12:32 5 3435635

>>3435627 (OP)
нинужна

6 20 апр, 12:33 6 3435638

бамп

7 20 апр, 12:52 7 3435652

>>3435627 (OP)
>Haskell
>экзоязык
У хаскеля средства формальной верификации искаропки.

Обновить тред

« /pr/В начало тредаВеб-версияНастройки

/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.gq, m2ch.cf, m2ch.fapp.in, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion