4 ms·

This is a bit Haskell oriented, but the "Implementation of Functional Programming Languages" by SPJ is one of my all time favorite books. https://simon.peytonj

by fooker 3y ago

This is a bit Haskell oriented, but the "Implementation of Functional Programming Languages" by SPJ is one of my all time favorite books. https://simon.peytonjones.org/slpj-book-1987/ https://simon.peytonjones.org/slpj-book-1987/ These compilers were pulling heroic data structure optimization stunts in 1985, that no modern production compiler for major compiled languages can replicate in 2024.

thewakalix 3y ago
Why? Is it mostly because of Haskell's purity (side-effect-freeness), so optimizations can change expressions more freely and safely?
- fooker 3y ago
  That, and the uniform s-expr/gadt representation of data structures instead of going wild with clever pointers.
  - dmytrish 3y ago
    I am not sure I understand what you mean in the context of Haskell.
    - fooker 3y ago
      https://wiki.haskell.org/GADTs_for_dummies https://wiki.haskell.org/GADTs_for_dummies
nxobject 3y ago
Huh – I didn't know he'd left MSR for Epic Games.
- nequo 3y ago
  He did. He’s working on a new language called Verse now: https://dev.epicgames.com/documentation/en-us/uefn/verse-language-reference https://dev.epicgames.com/documentation/en-us/uefn/verse-lan...
  - fooker 3y ago
    Huh interesting. The language seems sort of complicated for the domain (gameplay scripting).