My favourite talk from DConf 2015. It is about the tension in the compile-time realm between: - static interfaces (C++ concepts, Rust traits, Haskell typeclass

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.