News for hackers. Stuff that matters.
Re:Notes on Idris (2017) by pjmlp on Thursday June 07, 2018 @12:41PM (#17257532)
For me it was also very interesting read, and I also reached a similar conclusion.

Such language features are still too complex for the regular kind of software development many of us do, as the whole team has to fully grasp it.

There are no comments on this comment yet.