Публикации с хабом Функциональное программирование / forpes.ru

Публикации с хабом Функциональное программирование

Мультиагентные системы как распределенное программное обеспечение +8

Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли? +16

Как мы сделали простой мониторинг загрузки станков через Zigbee-сеть: open source стек без кабелей и вендорлок +25

Язык, который придумали для ИИ в 1958-м +30

Категории типов. Часть 7½. Свободная монада +5

Проектирование с помощью типов

8. Проектирование с помощью типов: Заключение +1

7. Проектирование с помощью типов: Нестроковые типы +1

6. Проектирование с помощью типов: Типизированные строки +1

Рекурсивные типы. Часть 6. Пересвёртка на практике

5. Проектирование с помощью типов: Делаем состояние явным +6

4. Проектирование с помощью типов: Исследуем новые концепции +5

Error 500? Как вместо кодов получать подробные сведения обо всех ошибках сразу -1

3. Проектирование с помощью типов: Делаем недопустимые состояния непредставимыми +3

2. Проектирование с помощью типов: одновариантные типы-объединения +1

«
1
2
3
4
5
6
7
8
9
10
»

Страница 1 из 25