WebAssembly начинался как способ ускорить веб-приложения. В 2017-м впервые запустил C++ код прямо в браузере - тогда казалось магией. Сейчас же Wasm вырос во что-то большее: универсальную платформу для запуска кода на любом языке где угодно. Не просто виртуальная машина, а целая экосистема с собственными стандартами,...

Ключевая особенность нового JS-бэкенда GHC — возможность создавать колбэки из JavaScript в Haskell-код. Это открывает дорогу разработке полноценных браузерных приложений, позволяя реагировать на действия пользователя прямо из Haskell. Фактически это означает, что теперь мы можем писать интерфейсы пользователя на Haskell и компилировать их непосредственно в JavaScript.

...

Книги:
1) Герберт Шилдт - C# 4.0. Полное руководство
2) Delphi 6. Программирование на Object Pascal
3) Денис Шевченко - О Haskell по-человечеcки

Сайты: Metanit и Professorweb.

Предисловие

В функциональных языках (Haskell из семейства ML, C#, Python и подобных) есть так называемый list comprehension (LC). Это способ записи списковых выражений, порождённых другими списками.
Например, [ div x y | x <- [1995..2000], y <- [1..floor(sqrt(x))], mod x y == 0 ] возвратит список чисел, которые являются делителями какого-то x из интервала из одного интервала, причём большие
Здесь и далее используется Haskell-подобная...

Цели

Вспомнить, что такое монада, какие основные соотношения и законы выполняются.
Здесь рассматриваются два подхода определения монады: монада-как-моноид с return/join и монада в представлении Haskell с (>>=). Есть ещё определение через категорию Клейсли, но этот подход не рассматривается, поскольку новые законы там не порождаются.

Вспоминания. Функтор

Все мы знаем замечательный класс Functor, который имеет метод fmap :: Functor f =>...

Вообще-то я привык рассматривать наличие fail-оператора в Monad как тяжелое наследие плохого дизайна.
Но тут меня удивили тем, что он не так уж и бесполезен. Например, он играет ключевую роль при «рассахаривании» do-нотации с шаблонами (pattern matching). Например, следующие куски эквивалентны:...

Счётность

Счётность — это свойство совокупности (типа, множества), которое заключается в потенциальной возможности взаимооднозначного сопоставления каждому объекту некоторого числа — его индекса.

Например, множество чисел от 0 до 65535 не является счётным, оно конечно. А вот множество всех целых чисел очевидно счётно.

Дадим такое определение счётности типа:
...