Hacker News Reader

Can you expand on the last sentence. I'm not sure I understand what you were trying to express. (not trolling, genuinely curious)

View on HN

The application of mathematical type theory (https://en.wikipedia.org/wiki/System_F) to popular programming languages goes back to 1998 when Philip Wadler designed generics for Java.

Local type inference is now used in Visual Basic, Scala, Rust, probably a lot of other new languages I am missing. Gradual types are coming to Clojure and probably Python and Lua.

Erik Meijer did a lot of work on bringing monads and FRP as patterns to .NET programmers. Java 8 has monads (Optional and Stream interfaces). Bartosz Milewski has been getting a lot of attention in C++ circles (see his blog: https://bartoszmilewski.com/)

Its application to unpopular languages goes back farther, of course.

Great, thanks for the clarification.

Reply on news.ycombinator.com