-
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 6. Reasoning using Types - March 13, 2022
TypeScript Types series, final thoughts and rants
-
Type Enthusiast's Notes about TypeScript. Part 5. Advanced Types - February 13, 2022
TypeScript Types series, type level programming, recursive types, a bit of category theory
-
Type Enthusiast's Notes about TypeScript. Part 4. Programming with Type Variables - January 9, 2022
TypeScript Types series, higher rank types, existentials, phantom types, preventing type widening
-
Blog styling update - January 5, 2022
Changes to this site CSS
-
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
-
Probability Tree Diagrams. Recursion Schemes. Why Finding the Right Solution is Sometimes Hard? - July 18, 2021
About a simple tree recursion problem that gave me grief.
-
Arming polysemy with Arrows - June 28, 2021
How to add semantic arrows (monadic effects in arrow's clothing) to polysemy
-
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
-
Why I stopped "Opinions and Programming" blog - January 10, 2021
About my previous blog page and why I moved it to github