Update readme.md

This commit is contained in:
Dmitry 2026-03-20 09:13:22 +03:00 • committed by GitHub
parent 458303cdd4
commit 8f1b64cdc3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -3,3 +3,6 @@
### Also
- https://github.com/bpmbpm/doc/tree/main/math
### category
- [Категории типов. Часть 6. Расширения Кана](https://habr.com/ru/articles/1012402/) Функциональное программирование
- Hobbes - функциональный язык программирования со статической типизацией. Он поддерживает тайпклассы и в этом близок к Haskell, но в остальном очень далёк от него: в Hobbes не ленивая, а строгая модель вычислений, при вызове функций сначала слева направо вычисляются её аргументы. https://habr.com/ru/articles/1008138/