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!
Arriving, drinking, meeting
CloudSharper: an online environment for programming and teaching
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.
General-Purpose Programming with Dependent Types using Idris
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.
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