Evan Martin (evan) wrote in evan_tech,
Evan Martin
evan
evan_tech

reading

Reading for the weekend: a bit more philosophical and historical. The (after the fact) focus has been on challenging underlying assumptions.

Simula and Smalltalk: A Social and Political History, from my old teacher Ben Dugan. CS history is really fascinating because the field feels so ahistorical to me; we use objects because they make sense, right? But even in other papers I see mention of OO programming as a sort of accident from simulation (Simula) and then hippies (Smalltalk). snej had a great post about the Dynabook that belongs here, too.

Understanding Computers and Cognition (sorry, only in paper form!), but I'm only a third of the way through it. I haven't decided if it's worthwhile yet, but I've seen it on a few "most important books" lists. And I know it's good for me to keep a healthy distrust of our fundamental assumptions.


Also working on the parsing book (which I'll put up somewhere the next time I think about it). Again, I hardly ever consider languages other than context-free grammars, but there is so much more.

And overall, I keep reading Sexy Types in Action, an overview of the power of some more advanced type concepts (higher-rank polymorphism and existential types), again and again in hopes of understanding it more fully. Type systems are again something that I've always taken for granted-- that we're stuck with what exists-- and focusing on ML's type system leads me to that same trap again. I think this is really the crux of it for me:
As we have seen, skillful use of sexy types can often turn what is usually regarded as a runtime invariant into a static check at compile time. To implement such static checks is to reify dynamic properties of values as refined distinctions between types, which increases the degree of heterogeneity in the program.
Subscribe

  • livejournal kids

    Neat image from Jack Dorsey. Every so often someone will ask me about Twitter and I'll dig up a a random day from Brad's LJ in 1999 and talk about…

  • megaupload captcha

    Someone make a Javascript-based captcha cracker for megaupload. It's strange to see those captchas again because I idly myself wrote a…

  • zombie ghosd

    I was tickled to discover another IBM developerworks article on one of my abandoned hacks and that both it and its predecessor have been translated…

  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 3 comments