#type-systems - Maksim Martianov's engineering blog

Skip to main content

Hashnode Maksim Martianov's engineering blog

Maksim Martianov's engineering blog

Command Palette

Search for a command to run...

#type-systems

Articles tagged with #type-systems

GALA in June: do-notation, applicative validation, and concurrent binds (0.56 -> 0.62)
June's 0.56 -> 0.62 releases: bind/also monadic do-notation, applicative validation with Validated, and concurrent binds over Future.
Jul 5, 20268 min read6
Dot Completion Without a Type Checker
Resolving receiver types from transpiler metadata when you don't have one
Apr 11, 20268 min read1
The Type Information Problem
When your transpiler knows the types but your editor doesn't
Apr 10, 20266 min read5

© 2026 Maksim Martianov's engineering blog

Members
Archive
Privacy
Terms