Andres Löh
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.
Talks I've Given
-
An Introduction to Haskell
Featuring Andres Löh
We are pleased that Andres Löh will return to Haskell eXchange 2022 with a brief introduction to the Haskell language's unique characteristics and essential features.
-
Park Bench Panel
Featuring Andres Löh
Join Andres and other HaskellX experts for a Park Bench Panel.
haskellx haskell panel -
Deriving Via
Featuring Andres Löh
Many type class instances look ad-hoc, but are in fact adhering to implicit rules that allow the construction of instances based on other instances under certain conditions. Such rules currently have to be applied and instantiated manually, and many of them are not widely known as a consequence....
generic-programming type-classes deriving haskell -
Workshop: Generics-Sop
Featuring Andres Löh
In this tutorial, you will discover a short introduction to the generics-sop library that can be used to write datatype-generic programs in a high-level, functional style.
haskell library generics -
Fun with Sum and Product Types
Featuring Andres Löh
This talk will introduce the concept of datatype-generic programming using the generics-sop library in an example-oriented fashion: We will consider a number of programming problems (generation / enumeration of values; (de)serialization; various operations on record types such as mapping to...
-
Opening & Welcome to HaskellX Hack Days
Featuring Andres Löh
Join us for a fun couple of days of Haskell Hacking!
haskell haskellx hack hackathon -
Checking and translating type classes
Featuring Andres Löh
Haskell programs make use of overloading extensively. As a consequence, qualified types, i.e., types containing class constraints are ubiquitous. In this talk, you will discover how a type system with type classes works internally, and how a compiler such as GHC deals with the presence of...
haskell haskellx typeclasses types ghc -
-
-
Park Bench Discussion
Featuring Andres Löh
A panel discussion featuring several speakers of the #HaskellX 2015.
-
-
Opening & Welcome
Featuring Andres Löh
Programme Lead for the Haskell eXchange and tech leader Andres Löh opens the day's proceedings .
haskell haskellx -
Monads for free!
Featuring Andres Löh
In this talk, we'll discuss what free monads are, how they work, and how you can use them.
haskell monads io haskellx -
Datatype-Generic Programming in Haskell
Featuring Andres Löh
In the talk, I will explain all about how datatype-generic programming in GHC works, and I will present several examples of its use, including examples of how it already is successfully being used in some prominent Haskell libraries.
haskell ghc functional-programming -
Haskell for embedded domain-specific languages
Featuring Andres Löh
A domain-specific language (DSL) is a usually small language for a dedicated domain with its own unique appearance and rules for composition. Haskell has a very flexible syntax, and offers higher-order functions. Therefore, we can often mimic the visual style of a particular domain directly...
haskell dsl
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.