Haskell Data Types in Scheme by Arthur Smyles

This talk demonstrates how to build your own data type library resulting in a simple/functional/extensible record system.

Similar to the way Haskell handles data types, included are: value constructors, pattern matching, sum types, recursive types and some thoughts on building type classes ...all in Scheme!

 

Join or login to comment.

  • romy

    NICE. I AM GOING TO TRY TO GET the current Hacker School batch to attend. I enjoy brainwashing them.

    1 · March 5, 2013

    • David B.

      Just curious: what is "Hacker School"? I had no idea such mindset (or, perhaps modality?) could even be taught ;-)

      March 13, 2013

    • Clint N.

      Well, there is no real teaching, assignments or grades! So yes, I suppose you are correct.

      March 13, 2013

  • David B.

    Pertinent to the algebraic data types talk of yesterday is this blog post of mine, where I basically investigate the potential syntax (extension) of an "abstract algebraic data type" in Haskell: http://blog.davber.com/2006/09/02/algebraic-abstract-true/

    March 13, 2013

    • Arthur S.

      Interesting article. I've been thinking about an implementation of abstract types myself, but I haven't come up with a satisfactory solution.

      March 13, 2013

  • Arthur S.

    slides: http://smyles.com/haskell-data-types-scheme/
    code: see next to last slide for link.

    March 13, 2013

  • David B.

    A reminder of something we discussed post meeting: could we somehow inject a session about the eminent, and highly inspirational, music/sound programming framework Overtone (in Clojure)?

    March 13, 2013

    • Raymond de L.

      FYI: Drew Krause gave a talk on Composing Music with Lisp that may be of interest. There is a video of his talk on vimeo/LispNYC.

      1 · March 13, 2013

  • Sami B.

    Child duties :-(

    March 12, 2013

    • Raymond de L.

      Next time, bring Freya, there was plenty of running-around space in the back of the room and she would clearly benefit from an early exposure to functional programming and cool lisp hipsters. :-)

      March 13, 2013

  • David N.

    This neat paper came up during the discussion at the bar - Physics, Topology, Logic, and Computation: A Rosetta Stone http://math.ucr.edu/home/baez/rosetta.pdf

    March 13, 2013

    • Raymond de L.

      Awesome, thanks. Given that both you and Gershom highly recommend this, this is *clearly* a must-read paper! :-)

      March 13, 2013

  • David B.

    Good crowd, interesting topic for discussion, hopefully embryonic to a more practical approach of marrying some of the generic programming features (and constraints) of Haskell with the fluidity of Lisp.

    March 13, 2013

  • Raymond de L.

    Arthur did a great job presenting his Haskell inspired data types in Scheme. The examples were easily understandable to novice schemers and lispers.

    March 13, 2013

  • A former member
    A former member

    Hey! I'm a traveling frenchman coming from sweden and I'm gonna need a place to work tomorrow, would someone be so kind as to lend me a chair and an internet connection at their office for a day? I can pay back by inviting you for lunch, pair programming with you for a couple of hours and/or teaching you french or swedish. :)

    1 · March 12, 2013

    • A former member
      A former member

      Ah! Thanks for a great tips! I'll definitively check it out. Although my offer is still pending! (I kinda secretly hope to spend the day in a fancy workshop and get to compare the working environment with the startup I work at in Sweden :p)

      March 12, 2013

    • Geoffrey K.

      When I worked at a NYC startup, I wanted to bring in a 16 year-old kid, an exchange student from Kazakhstan who was staying with our family for the year. The startup had lots of concerns over what he might see in terms of proprietary info, so the visit never happened. On the other hand, I did bring him to Boston a few times and he got to meet Richard Stallman, Gerry Sussman, Hal Albelson, Matz (Matsumoto Yukihiro) and Mako Hill.

      March 12, 2013

  • romy

    Can you confirm the entrance? I remember the last time I was at Meetup their main entrance was under construction and I had to find a secret alternative route. In the rain.

    March 5, 2013

    • Brian G.

      just to confirm: yes, you need to enter through the front door. 632 Broadway is the address.

      March 5, 2013

    • Raymond de L.

      ...then take the elevator to the 9t floor as usual.. :-)

      March 10, 2013

  • Geoffrey K.

    Can't attend; looking forward to the video.

    March 6, 2013

  • A former member
    A former member

    Looking forward to it!

    February 14, 2013

50 went

Our Sponsors

  • NYI.net

    Colocation and hosting in downtown Manhattan

People in this
Meetup are also in:

Imagine having a community behind you

Get started Learn more
Rafaël

We just grab a coffee and speak French. Some people have been coming every week for months... it creates a kind of warmth to the group.

Rafaël, started French Conversation Group

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