Программирование на типах, Zeplrog, Pragmatic Type-Level Design | Записки программиста
Вставка
- Опубліковано 30 вер 2024
- Программирование на типах. Проект Zeplrog. Книга Pragmatic Type-Level Design.
Мои книги:
Functional Design and Architecture (Second Edition):
www.manning.co...
Functional Design and Architecture (First Edition):
leanpub.com/fu...
Pragmatic Type-Level Design (WIP):
leanpub.com/pr...
![Демократия математически невозможна (но есть нюансы) [Veritasium]](http://i.ytimg.com/vi/Mf0XJMySTDI/mqdefault.jpg)
100 не может быть типом, потому что нельзя написать x :: 100, это значение на уровне типов
Я уже видел баталии вокруг терминов нное количество раз в русскоязычном телеграмном хаскельном чате. Они ни к чему не привели, так и сейчас не приведут. Остаюсь при своих словах
@@AlexanderGraninАлександр здравствуйте, вы можете помочь освоить DSL? Если не бесплатно то скажите какая стоимость будет? Начал книгу мартина фаулера одноименную читать, цель понятна, но как достичь не получается. Меня интересует внутренний дсл.
Хочу написать бэкэнд на Haskell pet проект в виде игры, какие фреймворки актуальны для него? Фреймвокров много, как выбирать из них для этого проекта нужные, чтобы писать серверную часть приложения?
Цель проекта опробовать haskell как язык для бэкэнда, а игра была выбрана, для совмещения как можно больше технологий и нюансов в одном проекте.
Цель замечательная. А какие фреймворки в Haskell? Не так уж и много. Путь наименьшего сопротивления - это мой фреймворк Hydra. Причины: 1. По нему МНОГО документации (2 книги, статьи). 2. Там уже есть демо-игра labyrinth, демо-приложение, входящее в слстав фреймворка. 3. Там же есть демо-приложение бэкенда, использующее servant.
@@AlexanderGranin Хорошо, за основу будет взят фреймворк Hydra и соответственно документация по нему.
P.S. Жду ваших будущих стримов, если они еще планируются проводиться)
Да вот, если настроение есть, то провожу. Нерегулярно, да