- Implementing Clojure-like transducers in Idris: Definitions and main concepts https://deque.blog/2017/07/28/implementing-clojure-like-transducers-in-idris-part-1/ 7 comments haskell
Linking pages
- 10 things Idris improved over Haskell – Deque https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 381 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: advanced transducers – Deque https://deque.blog/2017/08/04/transducers-in-idris-2/ 0 comments
- Idris dependent typing challenge: Bowling Kata – Deque https://deque.blog/2017/07/01/idris-bowling-kata/ 0 comments
Linked pages
- GitHub: Let’s build from here · GitHub https://github.com 2645 comments
- 10 things Idris improved over Haskell – Deque https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 381 comments
- http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf 312 comments
- https://www.idris-lang.org/idris-1-0-released/ 194 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
- Continuation-passing style - Wikipedia https://en.wikipedia.org/wiki/Continuation-passing_style 1 comment
- Implementing Clojure-like Transducers in Idris: advanced transducers – Deque https://deque.blog/2017/08/04/transducers-in-idris-2/ 0 comments
- Idris dependent typing challenge: Bowling Kata – Deque https://deque.blog/2017/07/01/idris-bowling-kata/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:deque.blog
Search title: Implementing Clojure-like Transducers in Idris: definitions and main concepts – Deque
See how to search.