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

Generics from Java to Haskell and Agda

Join or login to comment.

  • rickmurphy

    Thank you friends. That was a fun session ! Here is a reference to the source code and slides. http://www.rickmurphy.org/20140520-gj2ha.zip

    May 21, 2014

  • Arjun C.

    Here's a blog post that might help people understand the type level fix point stuff. It's about using the free monad to define mini interpreters and dsls, and it makes interesting use of the Fix type. http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html?m=1

    May 21, 2014

  • James C.

    Had something come up and wasn't able to make it. Definitely next time!

    May 20, 2014

  • Geoff M.

    Just a reminder that we are at a different location tonight.

    Also I plan to record it and post the video.

    May 20, 2014

  • A former member
    A former member

    Is this aimed at Data.Data generics or polymorphic containers HKT generics?

    May 18, 2014

    • rickmurphy

      I will demonstrate how pattern functors relate to polynomial functors using the Regular library. I think you are following Gibbons' work. I will show and diagram the commutative properties. Then use Agda for interactive proving with polynomial functors. For Java programmers I introduce Functor, Applicative, Monad, Either and Pair. Watch for slides later tonight.

      May 18, 2014

    • A former member
      A former member

      Very cool!

      May 18, 2014

  • rickmurphy

    Friends I hope you will join me Tuesday for a talk on Generics from Java to Haskell and Agda. I have uploaded slides here http://bit.ly/1gFgsSa so we can engage in lively discussion. I will finish the slides in the next few days. Read the code from each of the languages contained in the zip files.

    May 18, 2014

  • kanishka a.

    can't make it, out of town. but really excited to see the Agda in title, will definitely attend future ones and if this is recorded, i will watch.

    May 18, 2014

  • Riccardo T.

    Sorry but I will miss this meet up :(
    have fun and I will see you next time!

    May 16, 2014

9 went

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