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

FP-BUD Meetup: F# and Idris

Hi again FPers!

This month we have exciting things to talk about! Come and join us: this time the focus will be on F# and Idris!

The talks will be held in English and the beer is on us!


Schedule:

7-7:20 pm
Arriving, drinking, meeting

7:20-7:50 pm
CloudSharper: an online environment for programming and teaching
Loic Denuziere

CloudSharper is a new online development environment currently in public alpha. We will take a look at its dedicated support for programming in F#, including interactive programming, data visualization, WebSharper web and mobile application development, and how it can be used as a central tool for e-learning and hands-on workshops.

7:50-8:20 pm
General-Purpose Programming with Dependent Types using Idris
Simon Fowler

Dependent types allow types to be predicated on values. This in turn can give additional correctness guarantees to programs, increasing trust in their runtime behaviour.

The Idris programming language, developed by Edwin Brady and many community contributors, aims to bring dependent types to general-purpose programming, with the aim of creating more robust and safe software. In this talk, I provide an introduction to the language, and discuss some more recent developments including the Effects library for managing side effects in a fine-grained and composable manner.

9:00 pm
You can join us to grab one more beer/pálinka together at Abszolut Palinka!


*** We are looking for presentations - and we want YOU to contribute! Send your abstract (2-3 sentences) about the work you intend to present - innovative applications of FP or related topics are highly welcome! Presentations are short - a mere 15 minutes, and they can be about your personal hobby project, work, company or product introduction, etc. ***


See you there,
Zsofia and the IF team

Join or login to comment.

  • Gábor B.

    Re: dependent types, it might also worth noting Mercury (https://mercurylang.org/): http://adventuresinmercury.blogspot.com/2011/04/dependent-typing-reversing-non-empty.html
    I was thinking how the alternatives to dependent types relate to each other (probably there are others):
    - dynamic typing
    - macros (either lisp variants or Nemerle (http://nemerle.org/About)) or type providers
    - type class-based approaches (like in Shapeless (https://github.com/milessabin/shapeless)).
    In my opinion dynamic typing is kind of the opposite of dependent types: we just hope things will work out, although it allows easier metaprogramming like http://typedclojure.org/ or lints to reach type certain safety on top of it.
    Macros probably the most efficient (as compilation time) for type-magic, but these are not proofs.
    Type-class based frameworks can provide quite cryptic error messages, and probably not too easy to write libraries, but they give quite good type-safety.
    WDYT?

    August 28, 2014

    • Gábor B.

      Thanks Simon. Ur seems to be really cool. I have to admit I do not see the importance of disjointness constraint, but I skipped the sections 3 and 4, probably I should read those too. :) The problem I see is the work of the library writers, but I guess it can be learned too.

      September 8, 2014

  • Mark P.

    The topics and the presentations were superb.

    1 · August 29, 2014

  • Gábor B.

    Thanks for the inspiring talks.

    Just an idea for extensions of CloudSharper: a tool for visual modelling. For the beginning just as basic as dartling (https://github.com/dzenanr/dartling), but later something like MPS (http://www.jetbrains.com/mps/) would be very cool. (I have used only the latter and waiting for its web support to use it again.)

    August 28, 2014

  • Daniel A.

    Can someone update the list of participants given to the security staff? Apparently rsvp- ing today afternoon was too late and the doormen don't want to let in anyone not on the list

    August 28, 2014

Our Sponsors

  • IntelliFactory

    Contributes to recruitment of speakers, provides venue and beverages.

  • Cake Solutions

    Sponsored our Scala meetup in November 2016.

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