Sbt is probably the best example of what happens when you match academic thinking with actual code ...

... try to understand the library code that pulled in Scalaz and probably is written in the purely functional idiom of Scala that academics admire but mostly reminds me of Perl and other line-noise oriented programming languages.

I really think that stuff like Scalaz has no place outside academia

It's hard to think of a type of criticism that is lazier than using "academic" as a pejorative.

I have found the run-time type error in [static languages] a fairly rare occurrence and not worth the trade-off of having to live with a retarded assistant in the form of a mandatory type-checking compiler

... and there it is