On: Notes on Idris (2017)

[pjmlp]

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.