Maksim Martianov's engineering blog

Maksim Martianov's engineering blog

#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