Hacker News new | ask | show | jobs
by p0nce 4004 days ago
My favourite talk from DConf 2015. It is about the tension in the compile-time realm between:

- static interfaces (C++ concepts, Rust traits, Haskell typeclasses... or whatever name they have in a particular language)

- and the more adhoc compile-time duck-typing (eg: D static if, C++ expression SFINAE). Alexandrescu is arguing for the latter being more useful.

I can only agree with him considering the sheer difficulty of making reusable generic code that squarely fits a problem domain.

Programmers interested in meta-programming and reuse would probably enjoy the talk.