[HN Gopher] History of Programming Languages
___________________________________________________________________
History of Programming Languages
Author : ingve
Score : 87 points
Date : 2021-05-05 15:52 UTC (7 hours ago)
(HTM) web link (felleisen.org)
(TXT) w3m dump (felleisen.org)
| RcouF1uZ4gsC wrote:
| This course sounds like a long and mostly correct histories of
| programming languages.
|
| Also consider visiting
|
| http://james-iry.blogspot.com/2009/05/brief-incomplete-and-m...
|
| For a brief, mostly incorrect overview of programming languages.
| lealanko wrote:
| For a more detailed look at the timeline of a programming
| language feature in the same vein, you may also enjoy the
| retrospective on Foozles:
|
| https://wiki.hh.se/wg211/images/5/58/Foozles.pdf
| Syzygies wrote:
| > "a monad is a monoid in the category of endofunctors, what's
| the problem?"
|
| Everywhere else he had to invent stuff to parody the language.
| He presents Haskell straight up.
| iainctduncan wrote:
| "1970 - Guy Steele and Gerald Sussman create Scheme. Their work
| leads to a series of "Lambda the Ultimate" papers culminating
| in "Lambda the Ultimate Kitchen Utensil." This paper becomes
| the basis for a long running, but ultimately unsuccessful run
| of late night infomercials. Lambdas are relegated to relative
| obscurity until Java makes them popular by not having them."
|
| OMG, brilliant
| [deleted]
| the_benno wrote:
| If you're interested in this kind of thing, definitely also check
| out the upcoming HOPL conference -- co-located (whatever that
| means for a virtual conference) with PLDI this June. Matthias was
| on the program committee, along with a bunch of other PL OGs.
|
| Website: https://hopl4.sigplan.org Papers:
| https://dl.acm.org/toc/pacmpl/2020/4/HOPL
| agumonkey wrote:
| The lecture topics is very nice, it threads a lot of known ideas
| that are scattered around the world (concrete or virtual)
|
| https://felleisen.org/matthias/7480-s21/lectures.html
| iso8859-1 wrote:
| The slides are unreadable though:
| https://felleisen.org/matthias/7480-s21/18.pdf
| agumonkey wrote:
| as a lisper i find them perfectly legible
| gumby wrote:
| He's been speaking English a long time (despite choosing the
| dot paper instead of squares) -- as a native English speaker
| myself those were pretty clear to read. It is interesting
| that he has apparently abandoned the German letterform
| handwriting (at least in English).
|
| I assume his students are ver comfortable in English as well.
| capableweb wrote:
| It's not always dots. Sometimes lines
| https://felleisen.org/matthias/7480-s21/2.pdf
| canadianfella wrote:
| What does dot paper have to do with English? Looks like
| these were drawn using a mouse.
| gumby wrote:
| dot paper is uncommon in the US (where he lives), rather
| quadrille is the norm. The opposite is true in Germany.
| the_benno wrote:
| In PL academia (including in the US) many people prefer
| dot paper for physical research notebooks. When you're
| mixing together diagrams, prose, inference rules,
| semantics, code, etc. it's a quite nice and flexible
| medium.
___________________________________________________________________
(page generated 2021-05-05 23:00 UTC)