Hacker News
- Codata in action, or how to connect FP and OOP https://www.javiercasas.com/articles/codata-in-action/ 54 comments
- The Rule of Seven: how to overload the brain of a programmer for no good reason http://www.javiercasas.com/articles/rule-of-seven/ 9 comments
- Typechecking state transitions in a React/Redux app http://www.javiercasas.com/articles/typescript-typeful-state-transitions 5 comments
Lobsters
- Dependent Types in Typescript https://www.javiercasas.com/articles/typescript-dependent-types/ 2 comments plt , programming
- Type Families in Typescript https://www.javiercasas.com/articles/typescript-type-families/ 6 comments plt , programming
- The Rule of Seven: how to overload the brain of a programmer for no good reason http://www.javiercasas.com/articles/rule-of-seven/ 5 comments practices , programming
- Constructing a Generic Data Loader Component with good typechecking in Typescript http://www.javiercasas.com/articles/constructing-generic-loader-component/ 3 comments plt , programming
- Using Typescript to make invalid states irrepresentable http://www.javiercasas.com/articles/typescript-impossible-states-irrepresentable 6 comments plt , practices , programming
- Improving your React with Typescript ADTs http://www.javiercasas.com/articles/typescript-adts 6 comments javascript , plt , practices , web
- Sensible path to Microservices http://www.javiercasas.com/articles/sensible-steps-to-microservices 3 comments distributed , practices , programming
- Codata in action, or how to connect Functional Programming and Object Oriented Programming http://www.javiercasas.com/articles/codata-in-action 5 comments haskell , plt
- Dependent Types in Typescript https://www.javiercasas.com/articles/typescript-dependent-types/ 15 comments programming
- Type Families in Typescript http://www.javiercasas.com/articles/typescript-type-families/ 3 comments programming
- The Rule of Seven: how to overload the brain of a programmer for no good reason http://www.javiercasas.com/articles/rule-of-seven/ 59 comments programming
- Using Typescript to make invalid states irrepresentable http://www.javiercasas.com/articles/typescript-impossible-states-irrepresentable 60 comments programming
- Patterns of Functional Programming: Functional Core - Imperative Shell http://www.javiercasas.com/articles/functional-programming-patterns-functional-core-imperative-shell 11 comments haskell
- Patterns of Functional Programming: Functional Core - Imperative Shell http://www.javiercasas.com/articles/functional-programming-patterns-functional-core-imperative-shell 24 comments programming
- Codata in action, or how to connect Functional Programming and Object Oriented Programming http://www.javiercasas.com/articles/codata-in-action 15 comments haskell