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-lineeyefacebookfolderfullheartglobegmailgooglegroupsimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1outlookpersonJoin Group on CardStartprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

General Discussion

Beer & Pizza & a room full of Haskellers.  What more could you need!

Join or login to comment.

  • Bartosz M.

    I mentioned Homotopy Type Theory at the last meeting. I finally published a blog post about it: .

    1 · July 29, 2013

  • Stephen J. B.

    Ideas for next meetup: 1. Sharing Haskell dev setups (mine is Emacs using Haskell mode.)
    2. Haskell on a Raspberry Pi

    July 23, 2013

    • Michael X.

      Yeah I'd love to see more practical discussion. I think it would be cool to have people bring in haskell projects they're working on (or want to get started on) and break off into smaller groups. If we need more space, my office up in Mountlake Terrace is always available.

      July 23, 2013

  • Stephen J. B.

    Thank you so much for the code review. I am sorry I had to sneak out early. For next meetup I should have some good results to report.

    Also, does anyone here have experience working with Haskell on a raspberry pi running Raspbian?

    July 21, 2013

  • A former member
    A former member

    If anyone is interested in some gentel introductions to Category Theory, here are those papers I talked about today.

    When is one thing equal to some other thing

    Physics, Topology, Logic and Computation: A Rosetta Stone

    The first one is more motivational, while the second is better for building intuition, I think.

    July 20, 2013

  • Jonathan N.

    Just wanted to say that I had a great time and also wanted to thank Eli for organizing the event, Stephen for discussing his Haskell project, and Bartosz for the adjoint functors lesson.

    Also, I promised Eli a link to a talk about lazy I/O: .

    Looking forward to the next meetup! :)

    1 · July 20, 2013

  • Aaron W.

    Hmm, if I can make a "movie night" at 6pm so I'll probably leave early.

    July 19, 2013

  • Stephen J. B.

    This will be great. I could use a few eyes on my first project.

    July 15, 2013

Our Sponsors

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