Hands On: Idris

A hands on session with Idris (an experimental functional programming language with full spectrum dependent types). The aim is to get Idris up and running, work through some simple examples and share what we can get working. Possibly even the dependently typed space invaders! No Idris experience necessary, we are taking first steps.

This meeting is at SkillsMatter. You need to to register and let them know you are coming at: https://www.skillsmatter.com/meetups/6182-hands-on-idris

Arrive from 6pm. Meeting starts at 6-30pm and we will head to the pub afterwards.

Bring your laptop, we will be coding.

P.S. If the tube strike goes ahead and you can't make it then we will try and run the session again on another day

Join or login to comment.

  • Dominic S.

    Can someone post the issues they had with installing idris? As I recall, there was a problem with debian(?) Haskell using ghc 7.4.1 which needed one version of template-haskell [masked]?) but that idris needed Lens 4.0 which needed another version [masked]) and there was a view that 2 versions of template haskell don't mix.

    February 5, 2014

    • Ben C.

      for comparison ,I have ghc 7.4.1 on my debian laptop and I installed idris in a cabal-sandbox without any of these problems.

      February 5, 2014

    • Dominic S.

      That's reassuring. We did try a sandbox on Phil's machine but ran into problems. I guess if someone can post the details, we can investigate further.

      February 5, 2014

  • Nimish T.

    Sorry tube strike got in the way :(

    February 4, 2014

  • Kris J.

    +1 for a re-run. I'd be there if it weren't for the tube strike. :-(

    February 3, 2014

    • Dominic S.

      You could always do I am planning to do and go to Waterloo and get the 243 bus. It's quicker than the tube anyway.

      February 3, 2014

    • Kris J.

      Okay, I'm persuaded. See you there. :-)

      February 4, 2014

  • Ben C.

    I'll still be there. Boris bike strikebreaker.

    February 3, 2014

  • Ben C.

    there's wifi at this place, yesno? I remember having some trouble when I was there for Haskell eXchange.

    January 30, 2014

    • Stuart G.

      The Haskell eXchange was in The Crypt. This event will be in SkillsMatter on Goswell Road.

      January 30, 2014

    • Stuart G.

      … there is wifi :)

      January 30, 2014

People in this
Meetup are also in:

Create your own Meetup Group

Get started Learn more
Bill

I started the group because there wasn't any other type of group like this. I've met some great folks in the group who have become close friends and have also met some amazing business owners.

Bill, started New York City Gay Craft Beer Lovers

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