5 ms·

> It sounds to me like the field of software engineering has simply evolved since the 80s. What is ridiculous in the face of this "programming by experimentati

by sedachv 10y ago

> It sounds to me like the field of software engineering has simply evolved since the 80s. What is ridiculous in the face of this "programming by experimentation" fantasy is that programming has evolved since the 1980s... to be even more about composable abstractions with provable semantics. Hindley-Milner-Damas types and monads are now everywhere.

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 ago
  The 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/)
  - kazinator 10y ago
    Its application to unpopular languages goes back farther, of course.
  - fmstephe 10y ago
    Great, thanks for the clarification.
afarrell 10y ago
> Hindley-Milner-Damas types and monads are now everywhere. Haven't run into those. Perhaps I know them by a different name?
- Joof 10y ago
  Most likely you have. Or simply something very heavily inspired by either.