- Transforming data structures into types: an introduction to dependent typing and its benefits https://deque.blog/2017/09/20/data-structure-into-types/ 6 comments haskell
Linking pages
- Monoids: what they are, why they are useful, and what they teach us about software – Deque https://deque.blog/2017/09/13/monoids-what-they-are-why-they-are-useful-and-what-they-teach-us-about-software/ 238 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 3047 comments
- Monoids: what they are, why they are useful, and what they teach us about software – Deque https://deque.blog/2017/09/13/monoids-what-they-are-why-they-are-useful-and-what-they-teach-us-about-software/ 238 comments
- https://www.idris-lang.org/idris-1-0-released/ 194 comments
- Currying - Wikipedia https://en.wikipedia.org/wiki/Currying#Contrast_with_partial_function_application 62 comments
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- My CppCon 2017 Trip Report – 10 great talks to watch and learn from – Deque https://deque.blog/2017/10/04/my-cppcon-2017-trip-report-10-great-talks-to-watch-and-learn-from/ 9 comments
- Idris dependent typing challenge: Bowling Kata – Deque https://deque.blog/2017/07/01/idris-bowling-kata/ 0 comments
- Small matter of programming - Wikipedia https://en.wikipedia.org/wiki/Small_matter_of_programming 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: Transforming data structures into types: an introduction to dependent typing and its benefits – Deque
See how to search.