Концепции Haskell
sergey shishkinhttps://coderlessons.com/tutorials/kompiuternoe-programmirovanie/vyuchit-haskell/haskell-tutorial
https://www.ohaskell.guide/pdf/ohaskell-printable.pdf *
https://ru.wikibooks.org/wiki/Haskell, https://wiki.haskell.org/Ru/Monad
https://anton-k.github.io/ru-haskell-book/book/toc.html
https://www.haskell.org/onlinereport/haskell2010
https://ruhaskell.org/posts/packages/2015/01/23/lenses-hello-world.html
- Проект - каталог. Фундаментальный элемент проекта - модуль. Проект состоит из модулей. Модулем называется файл, содержащий исходный Haskell-код. Один файл — один модуль. В Haskell нет понятия «заголовочный файл»: каждый из модулей рассматривается как самостоятельный элемент проекта. Модули импортируются друг в друга.
- Haskell-программа представляет собой совокупность выражений - базовые элементы программы. Редуцируемые выражения эволюционируют (вычисляются) ... ( ... до терминальных, автореферентых символов?).
- Экзекуция (интерпретация) программы осуществляется до корневого выражения (заголовка?).
- Эволюцию или редуцирование осуществляют функции. Синтаксис: имя функции и через пробел аргумент. Если аргументов более одного — дописываем через пробел. Вычислить выражение — это значит применить какие-то функции (одну или более) к каким-то аргументам (одному или более). В Haskell функции не вызывают.
- Любое редуцируемое выражение суть применение функции к некоторому аргументу (тоже являющемуся выражением). Аргумент представляет собой некоторое значение, его ещё называют «данное» . Данные в Haskell — это сущности, обладающие двумя главными характеристиками: типом и конкретным значением/содержимым. Все данные в программе обязательно имеют тип.
... Объявления и Определения ... Классы типов ... Выбор ... Выход ... Сравнение с образцом ... Рекурсия (рекурсивные функции и рекурсивные типы) ...
https://telegra.ph/Koncepcii-10-01