Linking pages
- A study of 4 Money class designs, featuring Martin Fowler, Kent Beck and Ward Cunningham implementations. – Deque https://deque.blog/2017/08/17/a-study-of-4-money-class-designs-featuring-martin-fowler-kent-beck-and-ward-cunningham-implementations/ 37 comments
- Hexagonal Architecture and Free Monad: Two related design patterns? – Deque https://deque.blog/2017/07/06/hexagonal-architecture-a-less-declarative-free-monad/ 27 comments
- Implementing Clojure-like Transducers in Idris: definitions and main concepts – Deque https://deque.blog/2017/07/28/implementing-clojure-like-transducers-in-idris-part-1/ 7 comments
- Transforming data structures into types: an introduction to dependent typing and its benefits – Deque https://deque.blog/2017/09/20/data-structure-into-types/ 6 comments
- The alias method, or transforming data to increase efficiency (Clojure). – Deque https://deque.blog/2017/06/25/alias-method-and-data-transformation/ 0 comments
Linked pages
- GitHub: Let’s build from here · GitHub https://github.com 3047 comments
- https://www.idris-lang.org/idris-1-0-released/ 194 comments
- "Propositions as Types" by Philip Wadler - YouTube https://www.youtube.com/watch?v=IOiZatlZtGU 154 comments
- A study of 4 Money class designs, featuring Martin Fowler, Kent Beck and Ward Cunningham implementations. – Deque https://deque.blog/2017/08/17/a-study-of-4-money-class-designs-featuring-martin-fowler-kent-beck-and-ward-cunningham-implementations/ 37 comments
- Hexagonal Architecture and Free Monad: Two related design patterns? – Deque https://deque.blog/2017/07/06/hexagonal-architecture-a-less-declarative-free-monad/ 27 comments
- Phantom type - HaskellWiki https://wiki.haskell.org/Phantom_type 22 comments
- Episode 14 - Richard Eisenberg on Dependent Types in Haskell - The Haskell Cast http://www.haskellcast.com/episode/014-richard-eisenberg-on-dependent-types-in-haskell 11 comments
- Implementing Clojure-like Transducers in Idris: definitions and main concepts – Deque https://deque.blog/2017/07/28/implementing-clojure-like-transducers-in-idris-part-1/ 7 comments
- Transforming data structures into types: an introduction to dependent typing and its benefits – Deque https://deque.blog/2017/09/20/data-structure-into-types/ 6 comments
- The alias method, or transforming data to increase efficiency (Clojure). – Deque https://deque.blog/2017/06/25/alias-method-and-data-transformation/ 0 comments
Related searches:
Search whole site: site:deque.blog
Search title: Idris dependent typing challenge: Bowling Kata – Deque
See how to search.