| | Hexagonal Architecture vs. Free Monad (2017) (deque.blog) |
|
57 points by revskill on Nov 23, 2022 | past | 6 comments
|
|
| | Catamorph Your DSL: Clojure (deque.blog) |
|
5 points by macmac on July 21, 2019 | past
|
|
| | Distributed Agreement on Random Order: Fun with Lamport Timestamps (deque.blog) |
|
4 points by ingve on Sept 13, 2018 | past
|
|
| | An introduction to Free Monads: from basics up to building a pipe library (deque.blog) |
|
2 points by deque-blog on Nov 14, 2017 | past
|
|
| | Implementing Clojure-like Transducers in Idris: definitions and main concepts (deque.blog) |
|
1 point by ghosthamlet on Oct 21, 2017 | past
|
|
| | Transforming data structures into types: dependent typing and its benefits (deque.blog) |
|
1 point by ingve on Sept 20, 2017 | past
|
|
| | What Monoids teach us about software (deque.blog) |
|
187 points by adamnemecek on Sept 13, 2017 | past | 187 comments
|
|
| | Study of 4 Money Class Designs, with Fowler, Kent Beck, Cunningham Designs (deque.blog) |
|
2 points by deque-blog on Aug 17, 2017 | past
|
|
| | Thoughts on a Software Craftsmanship training that could have gone better (deque.blog) |
|
2 points by deque-blog on Aug 8, 2017 | past
|
|
| | Implementing Clojure-like transducers in Idris: Definitions and main concepts (deque.blog) |
|
1 point by deque-blog on July 28, 2017 | past
|
|
| | Hexagonal Architecture and Free Monad: Two Related Design Patterns? (2017) (deque.blog) |
|
3 points by michaelfeathers on July 7, 2017 | past
|
|
| | Hexagonal Architecture and Free Monad: Two Related Design Patterns? (deque.blog) |
|
2 points by deque-blog on July 6, 2017 | past
|
|
| | Type safety challenge in Idris: using dependent types for the bowling game kata (deque.blog) |
|
4 points by deque-blog on July 1, 2017 | past
|
|
| | The alias method, or transforming data to increase efficiency (Clojure) (deque.blog) |
|
2 points by deque-blog on June 26, 2017 | past
|
|
| | Lisp Meta-Programming for C++ Developers (deque.blog) |
|
3 points by setra on June 16, 2017 | past | 1 comment
|
|
| | Things that Idris improves things over Haskell (deque.blog) |
|
221 points by deque-blog on June 14, 2017 | past | 154 comments
|
|
| | Lisp meta-programming for C++ devs: side-effects in the compiler are useful (deque.blog) |
|
3 points by deque-blog on June 5, 2017 | past
|
|
| | Lisp Meta-Programming for C++ Developers: Automatic Traces (part 1) (deque.blog) |
|
1 point by deque-blog on May 26, 2017 | past
|
|
| | Writing a Clojure.Spec for binary trees (deque.blog) |
|
1 point by deque-blog on May 20, 2017 | past
|
|
| | Lisp Meta-Programming for C++ Developers: Compile time computations (deque.blog) |
|
2 points by deque-blog on May 16, 2017 | past
|
|
| | Lisp Meta-Programming for C++ Developers: First Macros (deque.blog) |
|
84 points by deque-blog on May 9, 2017 | past | 27 comments
|
|
