addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1linklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

GHC's Haskell execution model (Federico)

The meetup will be about the Haskell execution model as implemented by GHC. Most of this model is described in the paper "Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine".

People are not required to read this paper to join the meetup. The people who have read the paper will explain its content. If somebody would like an easy 17" introduction before the meetup, then we
recommend this video about the STG language (from Hackathon presentations)

Join or login to comment.

  • A former member
    A former member

    Thanks Simon for the presentation and for this tip. Instead I wanted to signal this book http://research.microsoft.com/en-us/um/people/simonpj/papers/pj-lester-book/ It is a huge literate program presenting the predecessors of STG: G machine, TIM machine and Parallel G machine. Apart from this, regarding the question "what does laziness buy us?" I think this classic paper give good insights http://www.cs.utexas.edu/~shmat/courses/cs345/whyfp.pdf (short answer: modularity).

    March 5, 2012

  • Martin G.

    I had a very interesting evening yesterday! Though the level was high — the subject was a 87 page academic paper! — and though I'm still a bit new to Haskell, I felt very welcome and we had a fun discussion. I look forward to the next meetup!

    March 2, 2012

  • Simon M.

    Hey guys, I've found an interpreter for the STG machine. That might help getting a better understanding of the operational semantics of the STG machine. I've put the links onto the past meetup page: http://meiersi.github.com/HaskellerZ/

    March 1, 2012

  • Alexander B.

    Same procedure as last time.

    We meet at 7pm in front of the building: http://g.co/maps/b9yu3

    If you arrive later, call me: http://copton.net/phone

    See you then, Alex

    March 1, 2012

6 went

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy