Pure Systems
- title
- Pure Systems
- type
- entity
- summary
- Блог на pure-systems.org о функциональном программировании, дизайне языков и системном программировании от давнего пользователя Haskell
- tags
- blog
- created
- 2026-04-30
- updated
- 2026-04-30
- lang
- ru
- translation_of
- pure-systems-blog
- source_updated
- 2026-04-30
- translated
- 2026-09-01
- translator
- lllm/antigravity/gemini-3.7-flash-medium
Pure Systems - блог на pure-systems.org, автор которого - давний пользователь Haskell (10-13 лет опыта), изучающий, способен ли Zig заменить Haskell в системных задачах. Сквозная тема - взгляд через призму привычных для Haskell концепций (монады, typeclass'ы, correct-by-construction) на языки, которые номинально не являются функциональными.
Повторяющаяся схема оценки
Автор оценивает языки по трём осям (впервые сформулированным в zig-functional-programmers):
- Выразительность в предметной области - сколько "шума" требуется, чтобы программа работала.
- Программируемость системы типов - насколько хорошо получается строить системы по принципу correct-by-construction.
- mean-free-path-language - количество строк кода до первой неожиданности.
Разобранные статьи
- zig-functional-programmers - Аргументы пользователя Haskell в пользу Zig: comptime даёт почти все возможности программирования в системе типов из Haskell, но без GC (2026-04-29)
URL
Linked from