10 things Idris improved over Haskell
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
Recent Posts
Lost in std::is_permutation complexity (reddit answer)
Answering comments on the usefulness of property based testing to ensure correctness of unstable sort.
How to improve std::is_permutation complexity
Exploring alternatives to the hopelessly inefficient std::is_permutation.
Lost in std::is_permutation complexity
This post is dedicated to an STL algorithm which caused me some serious performance issues at my first use of it: std::is_permutation.
Paramorph your DSL (C++)
Let’s dive in the implementation of paramorphisms in C++, a strictly more powerful recursion scheme than catamorphism, all motivated by an example.
Building a Clojurescript Game Logic
Let us implement a board game in ClojureScript, a functional programming language transpiling to JS, from the game rules to graphics to AI (part 3).