-
Refactoring error messages in Haskell programs. Who cares about K9 composers? - May 15, 2023
Concerns about the quality of error output in Haskell programs, one more time.
-
Let's agree to be different. On empirical and deductive nature of coding. - November 7, 2022
Empirical and deductive mindsets compared.
-
Cognitive Loads in Programming - August 30, 2022
About cognitive aspects of bugs, abstractions, types, PL ecosystems.
-
Type Enthusiast's Notes about TypeScript. Part 3. TS Complexity - January 3, 2022
TypeScript Types series, complex and messy types in TS
-
Type Enthusiast's Notes about TypeScript. Part 2. Typing Honestly - December 24, 2021
TypeScript Types series, types and values that do not match, type predicates, `any`,`unknown`, honest transparent types
-
Type Enthusiast's Notes about TypeScript. Part 1. Typing in Anger - December 12, 2021
TypeScript Types series, Introduction, office.js, working with and fighting type checker
-
Is Alternative a Wrong Abstraction for Handling Failures? - February 13, 2021
Rethinking Alternative and its instances
-
Maybe Overuse, Stories About Error Information Loss - January 17, 2021
Discussion of Maybe Overuse anti-patterns in Haskell code