4 ms·
Can you expand on the last sentence. I'm not sure I understand what you were trying to express. (not trolling, genuinely curious)
by fmstephe 10y ago
Can you expand on the last sentence. I'm not sure I understand what you were trying to express. (not trolling, genuinely curious)
- sedachv 10y agoThe application of mathematical type theory (https://en.wikipedia.org/wiki/System_F 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/ https://bartoszmilewski.com/)