On Thursday, July 25, 2019 at 11:50:02 PM UTC+3, Mario Carneiro wrote: > > MM0 is coming from the tradition of another language family: Lisp, ML, > Haskell, Elm, Idris, Coq, Agda, Lean. These language communities are > inspired by Church's lambda calculus model of stateless computation, > leading to functional programming, as distinct from the Von Neumann style > of "model the machine as a finite state machine with an addressable memory" > that lead to BCPL, B, and C, later augmented with object oriented style in > C++ and Java. Most of the rest are some combination of these, without any > firm position (Ada and Rust are exceptions). >
As we are now venturing into programming languages ancestry I just can not resist temptation to put my two cents. Ada should not be considered an exception because it was heavily influenced by Pascal which was influenced by Algol W which was influenced by Algol 60. CPL was influenced by Algol while C++ was influenced by Algol 68 among others. So all those languages could be considered as Algol-like which in turn were influenced by Fortran. This is just a small nitpick and the above quote is essentially correct. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/48687d54-56d7-4954-aea2-0d0534ece6d0%40googlegroups.com.
