Человек я беспокойный и потому заинтересовался OCaml,
в чате форсили функторы модулей как суперфичу.
Пытаясь отдуплить концепт, наткнулся на тутор с простым примером.
А главный принцип обучения от простого к сложному.
Код делает очень простую вещь.
Компилятор генерирует модуль для создания отсортированного набора.
Сам код https://forums.fsharp.org/t/oc... mance/5183
И вот оказалось, что забыв про то,
...

В блоге дяди Боба наткнулся на такое определение:

В этой книге («Подход, основанный на вариантах использования») Ивар утверждает,
что архитектура программного обеспечения — это
структуры, которые поддерживают варианты использования системы.

Другими словами модули.
В C# полноценным модулем является класс.
Сборку можно считать библиотекой.
Попробуем решить простую задачу. Например, имитацию случайности.
...

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

1. Структурное равенство
2. Равенство сложных типов
3. Зачем это нужно
4. Пример из мира Судоку (лирическое отступление)
5. Структурное сравнение
6. Что нам все это дает

Структурное равенство и структурное сравнение в F#

В общем и целом, данные вопросы вряд ли вызывают серьезные затруднения, однако разобраться в некоторых нюансах, как мне кажется, будет интересно.

Структурное равенство

Начнем с простого примера. Создадим консольное...

1. Куда и как встраиваются функции
2. Статически разрешаемые параметры типов
3. Привязка к членам в теле функции

Читая документацию по данным вопросам, я ловил себя на мысли, что какие-то важные детали от меня ускользают, причем вовсе даже не потому, что что-то непонятно описано, а потому, что в документации отсутствуют какие-то важные детали. Поэтому решил разобраться в этом более детально.

Куда и как встраиваются функции

В документации читаем:

Встроенные функции

...

1. А в чем проблема?
2. Модель дерева
3. Класс OperatorPrecedenceParser
4. Добавление унарных операторов
5. Бинарные операторы
6. Тернарный оператор
7. Числа, скобки и фукнции
8. Определение TermParser
9. Тестирование
10. О дополнительных функциях

А в чем проблема?

При парсинге математических выражений, наибольшую сложность, пожалуй, вызывают инфиксные операторы. Сложность заключается в том,...

1. Предварительные замечания
2. Создание проекта
3. Создание модели дерева
4. Парсер
5. Простые узлы
6. Тестирование парсеров
7. Атрибуты
8. Пустые элементы
9. Элементы, которым «можно все»
10. Обычные элементы
11. Элементы с необязательным закрывающим тегом
12. Заключение

Предварительные замечания

Библиотека fparsec – это библиотека парсер-комбинаторов для языка F#. Здесь мы создадим проект .Net Core в Visual Studio Code и с помощью данной библиотеки...

1. Введение
2. Создание проекта
3. Подготовка к использованию
4. Создание модели
5. Пробуем добавить миграцию
6. Проект на C# и миграция
7. Работа с данными
8. Добавление связанных данных

Введение

В процессе описания мы создадим проект ASP.Net MVC на платформе .Net Core на языке F#, добавим к нему Entity Framawork Core и разберемся как все это можно совместить. Для того чтобы не "изобретать велосипед", я взял за основу руководство, написанное для языка C# и далее буду...