changed 2 years ago 104 views

Welcoming Haskell in France

GarganText has been developed with the Haskell Programming Language. The CNRS and the Complex System Institute of Paris Île de France are promoting its use in France with a cycle of talks, seminars and workshops. Welcome in the new generation of Programming language built for the future!

Haskell and Explicit Effects

By Andres Löh (aka @kosmikus)

kosmikus

Abstract

Haskell is a functional programming language with an extremely strong static type system. While originally primarily an academic language, it is also increasingly being used in industry and is also an inspiration for many other languages. Haskell is ideally suited to writing programs at a high (or self-chosen) level of abstractions, and due to the guarantees of the type systems allows prototyping and refactoring with confidence.

In this talk, we will provide a brief introduction to Haskell, with a particular focus on one rather unique aspect of the language: the way that side effects in Haskell are encapsulated and that side-effecting programs are distinguished from “pure” programs by the type system. We will look at a few examples and discuss the implications and advantages of this design decision.

About the speaker

Andres Löh is a Haskell consultant and co-owner of Well-Typed LLP. He is based in Regensburg, Germany. He started using Haskell in 1997, when being an undergraduate student of mathematics in Konstanz, and has been an enthusiastic functional programmer ever since. Andres obtained a PhD in Computer Science from Utrecht University in 2004, on extending the Haskell language with capabilities for datatype-generic programming. After having been a university lecturer for several years, he joined Well-Typed in 2010.

Andres is very interested in applying functional programming to real-world problems, and in particular in datatype-generic programming, domain-specific languages, (dependent) type systems, parallel and concurrent programming, and the theory of version control.

Agenda