F# News
450 subscribers
14 photos
1.49K links
F# channel
@fsharp_chat

Send your proposals to @fsharp_chat
Download Telegram
Раз в два года (обычно в апреле) древнее зло по имени Марк пробуждается и начинает постить на Хабр переводы Влашина.

Проектирование с помощью типов. Часть 2. Одновариантные типы-объединения (или "по-русски" SCDU)

Следует заметить, что с момента публикации оригинала в F# много чего успели понаделать, поэтому статья немного устарела. Однако это касается только деталей исполнения, а не сути решаемых проблем. Они остались на месте, и с ними стоит ознакомиться хотя бы потому, что каждое новое решение в своём объяснении явно или неявно ссылается именно на этот цикл.
😁5👍1
Шестидесятилетний заключённый и лабораторная крыса. F# на Godot. Часть 14. RenderingServer на полную

Тот случай, когда в статье нет почти ничего об особенностях языка. Вся содержательная часть посвящена деталям рисования посредством такого динозавра как RenderingServer. Большинству эта штука либо вообще неизвестна, либо известна как нечто очень низкоуровневое. Но на самом деле у неё есть и высокоуровневая компонента, которой может воспользоваться любой Godot-разраб. Правда, не факт, что захочет. Далеко не факт.
👍2🔥1
Проектирование с помощью типов. Часть 3. Делаем недопустимые состояния непредставимыми

Разбираем классический пример. Что делать, если из двух опций пользователь обязан выбрать хотя бы одну?
2👌1
Проектирование с помощью типов. Часть 4: Исследуем новые концепции

Продолжаем тему обязательного выбора, но теперь доступных опций больше двух.
Проектирование с помощью типов. Часть 5: Делаем состояние явным

Большая глава о представлении данных и состояний через конечные автоматы.
🔥2
Проектирование с помощью типов. Часть 7: Нестроковые типы

Продолжаем тему SCDU. Ограничиваем числа и даты.
1
Проектирование с помощью типов. Часть 8: Заключение

Последняя глава с полным листингом финального кода и подведением итогов.

+ Ссыль на оглавление.
3