An introduction to Free Monads: from basics up to building a pipe librarydeque.blog·2 pts·deque-blog·0
Study of 4 Money Class Designs, with Fowler, Kent Beck, Cunningham Designsdeque.blog·2 pts·deque-blog·0
Thoughts on a Software Craftsmanship training that could have gone betterdeque.blog·2 pts·deque-blog·0
Implementing Clojure-like transducers in Idris: Definitions and main conceptsdeque.blog·1 pts·deque-blog·0
Type safety challenge in Idris: using dependent types for the bowling game katadeque.blog·4 pts·deque-blog·0
Lisp meta-programming for C++ devs: side-effects in the compiler are usefuldeque.blog·3 pts·deque-blog·0