Functions In - Fictions Out
Visit deque.blog → RSS feedOn Hacker News Jun 2017 – Sep 2017
Software Engineering 1Math & Algorithms 1Programming Languages 1
The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent…
Monoids are a pretty interesting concept in software development. Monoids are everywhere. Monoids are simple yet powerful. And Monoids have a lot to teach us about software, in particular about com…