[Перевод] 4. Проектирование с помощью типов: Исследуем новые концепции
Четвёртый пост из серии Скотта Влащина посвящена предметной области. Как с помощью типов описывать бизнес-правила? Как типы позволяют углубить пониман…
Programming
⚑ Report a ProblemLatest Programming news from Tech News
All topics
AI
Gear
Tech
agents
ai
api
architecture
automation
aws
beginners
career
claude
database
devchallenge
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
rust
security
showdev
tutorial
typescript
webdev
Error 500? Как вместо кодов получать подробные сведения обо всех ошибках сразу
Привет, Хабр! Меня зовут Артём Корсаков. Я пишу на Scala и руковожу группой разработчиков в компании «Криптонит» , а также веду Scalabook — русскоязыч…
[Перевод] 3. Проектирование с помощью типов: Делаем недопустимые состояния непредставимыми
Новая глава из цикла Скотта Влащина. Обсуждаем, как сделать код надёжным с помощью развитых типов из F#. Читать далее
[Перевод] 2. Проектирование с помощью типов: одновариантные типы-объединения
Продолжаем перевод цикла статей Скотта Влащина, посвящённого проектированию программ в языках с развитой системой типов. В этой главе поговорим о том,…
Объяснение лямбда исчисления через Python
Реализация ключевых конструкций лямбда‑исчисления на Python и объяснение их работы. Подойдёт даже тем, кто не очень знаком с Python. Если хотите понят…