Hacker News new | comments | show | ask | jobs | submit | from login
An introduction to Free Monads: from basics up to building a pipe library (deque.blog)
2 points by deque-blog 5 months ago | past | web
Implementing Clojure-like Transducers in Idris: definitions and main concepts (deque.blog)
1 point by ghosthamlet 6 months ago | past | web
Transforming data structures into types: dependent typing and its benefits (deque.blog)
1 point by ingve 7 months ago | past | web
What Monoids teach us about software (deque.blog)
187 points by adamnemecek 7 months ago | past | web | 187 comments
Study of 4 Money Class Designs, with Fowler, Kent Beck, Cunningham Designs (deque.blog)
2 points by deque-blog 8 months ago | past | web
Thoughts on a Software Craftsmanship training that could have gone better (deque.blog)
2 points by deque-blog 8 months ago | past | web
Implementing Clojure-like transducers in Idris: Definitions and main concepts (deque.blog)
1 point by deque-blog 8 months ago | past | web
Hexagonal Architecture and Free Monad: Two Related Design Patterns? (deque.blog)
3 points by michaelfeathers 9 months ago | past | web
Hexagonal Architecture and Free Monad: Two Related Design Patterns? (deque.blog)
2 points by deque-blog 9 months ago | past | web
Type safety challenge in Idris: using dependent types for the bowling game kata (deque.blog)
4 points by deque-blog 9 months ago | past | web
The alias method, or transforming data to increase efficiency (Clojure) (deque.blog)
2 points by deque-blog 9 months ago | past | web
Lisp Meta-Programming for C++ Developers (deque.blog)
3 points by setra 10 months ago | past | web | 1 comment
Things that Idris improves things over Haskell (deque.blog)
221 points by deque-blog 10 months ago | past | web | 154 comments
Lisp meta-programming for C++ devs: side-effects in the compiler are useful (deque.blog)
3 points by deque-blog 10 months ago | past | web
Lisp Meta-Programming for C++ Developers: Automatic Traces (part 1) (deque.blog)
1 point by deque-blog 10 months ago | past | web
Writing a Clojure.Spec for binary trees (deque.blog)
1 point by deque-blog 11 months ago | past | web
Lisp Meta-Programming for C++ Developers: Compile time computations (deque.blog)
2 points by deque-blog 11 months ago | past | web
Lisp Meta-Programming for C++ Developers: First Macros (deque.blog)
84 points by deque-blog 11 months ago | past | web | 27 comments

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: