Hacker News
- Things that Idris improves things over Haskell https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 154 comments
Lobsters
- 10 things Idris improved over Haskell https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 9 comments haskell
- 10 things Idris improves over Haskell https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 71 comments programming
- 10 pleasant surprises of Idris, that improve the developer experience of Haskell developers https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/ 146 comments haskell
Linking pages
- Free Monads: from the basics to the implementation of composable and effectful stream processing – Deque https://deque.blog/2017/11/13/free-monads-from-basics-up-to-implementing-composable-and-effectful-stream-processing/ 19 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
- Haskell Weekly in 2017 · taylor.fausak.me http://taylor.fausak.me/2017/12/28/haskell-weekly-in-2017/ 3 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
- Lisp Meta-Programming for C++ Developers: Automatic traces (Part 2) – Deque https://deque.blog/2017/06/05/lisp-meta-programming-for-c-developers-automatic-traces-part-2/ 0 comments
Linked pages
- GitHub: Let’s build from here · GitHub https://github.com 3047 comments
- http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf 317 comments
- https://www.idris-lang.org/idris-1-0-released/ 194 comments
- Notes on Idris – The Breakfast Post https://thebreakfastpost.com/2017/12/02/notes-on-idris/ 81 comments
- 24 Days of GHC Extensions: Overloaded Strings https://ocharles.org.uk/blog/posts/2014-12-17-overloaded-strings.html 23 comments
- Free Monads: from the basics to the implementation of composable and effectful stream processing – Deque https://deque.blog/2017/11/13/free-monads-from-basics-up-to-implementing-composable-and-effectful-stream-processing/ 19 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
- Type-Driven Development with Idris https://www.manning.com/books/type-driven-development-with-idris 1 comment
- The alias method, or transforming data to increase efficiency (Clojure). – Deque https://deque.blog/2017/06/25/alias-method-and-data-transformation/ 0 comments
- Lisp Meta-Programming for C++ Developers: Automatic traces (Part 2) – Deque https://deque.blog/2017/06/05/lisp-meta-programming-for-c-developers-automatic-traces-part-2/ 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: 10 things Idris improved over Haskell – Deque
See how to search.