Posts by Andres Löh

Haskell records in 2025 (Haskell Unfolder #45)
Andres Löh, Edsko de Vries
Wednesday, 25 June 2025

State-based testing with quickcheck-lockstep (Haskell Unfolder #44)
Andres Löh, Edsko de Vries
Wednesday, 14 May 2025

The Haskell Unfolder Episode 43: monomorphism restriction and defaulting
Andres Löh, Edsko de Vries
Wednesday, 07 May 2025

The Haskell Unfolder Episode 42: logic programming with typedKanren
Andres Löh, Edsko de Vries
Wednesday, 16 April 2025

The Haskell Unfolder Episode 41: generic monoids
Andres Löh, Edsko de Vries
Wednesday, 26 March 2025

The Haskell Unfolder Episode 40: understanding through a model
Andres Löh, Edsko de Vries
Wednesday, 12 March 2025

The Haskell Unfolder Episode 39: deriving strategies
Andres Löh, Edsko de Vries
Wednesday, 12 February 2025

The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan)
Andres Löh, Edsko de Vries
Wednesday, 15 January 2025

The Haskell Unfolder Episode 37: solving Advent of Code 2024 day 4
Andres Löh, Edsko de Vries
Wednesday, 04 December 2024

The Haskell Unfolder Episode 36: concurrency and the FFI
Andres Löh, Edsko de Vries
Wednesday, 20 November 2024

The Haskell Unfolder Episode 35: distributive and representable functors
Andres Löh, Edsko de Vries
Wednesday, 06 November 2024

The Haskell Unfolder Episode 34: you already understand monads
Andres Löh, Edsko de Vries
Wednesday, 16 October 2024

18 months of the Haskell Unfolder
Edsko de Vries, Andres Löh
Tuesday, 08 October 2024

The Haskell Unfolder Episode 33: diagrams
Andres Löh, Edsko de Vries
Wednesday, 02 October 2024

The Haskell Unfolder Episode 32: solving tic-tac-toe
Andres Löh, Edsko de Vries
Wednesday, 18 September 2024

The Haskell Unfolder Episode 31: nothunks
Andres Löh, Edsko de Vries
Wednesday, 14 August 2024

The Haskell Unfolder Episode 30: runST
Andres Löh, Edsko de Vries
Wednesday, 31 July 2024

The Haskell Unfolder Episode 29: exceptions, annotations and backtraces
Andres Löh, Edsko de Vries
Wednesday, 17 July 2024

The Haskell Unfolder Episode 28: type families and overlapping instances
Andres Löh, Edsko de Vries
Wednesday, 03 July 2024

The Haskell Unfolder Episode 27: duality
Andres Löh, Edsko de Vries
Wednesday, 12 June 2024

Announcing a free video-based Haskell introduction course
Andres Löh
Saturday, 08 June 2024

The Haskell Unfolder Episode 26: variable-arity functions
Andres Löh, Edsko de Vries
Wednesday, 22 May 2024

The Haskell Unfolder Episode 25: from Java to Haskell
Andres Löh, Edsko de Vries
Wednesday, 15 May 2024

The Haskell Unfolder Episode 24: generic (un)folds
Andres Löh, Edsko de Vries
Wednesday, 01 May 2024

Haskell development job with Well-Typed
Edsko de Vries, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts
Tuesday, 09 April 2024

The Haskell Unfolder Episode 22: foldr-build fusion
Andres Löh, Edsko de Vries
Wednesday, 20 March 2024

The Haskell Unfolder Episode 21: testing without a reference
Andres Löh, Edsko de Vries
Wednesday, 06 March 2024

The Haskell Unfolder Episode 20: Dijkstra's shortest paths
Andres Löh, Edsko de Vries
Wednesday, 21 February 2024

The Haskell Unfolder Episode 19: a new perspective on foldl'
Andres Löh, Edsko de Vries
Wednesday, 31 January 2024

The Haskell Unfolder Episode 18: computing constraints
Andres Löh, Edsko de Vries
Wednesday, 17 January 2024

The Haskell Unfolder Episode 17: circular programs
Andres Löh, Edsko de Vries
Wednesday, 20 December 2023

The Haskell Unfolder Episode 16: monads and deriving via
Andres Löh, Edsko de Vries
Wednesday, 06 December 2023

The Haskell Unfolder Episode 15: interruptible operations
Andres Löh, Edsko de Vries
Wednesday, 22 November 2023

The Haskell Unfolder Episode 14: higher-kinded types
Andres Löh, Edsko de Vries
Wednesday, 08 November 2023

The Haskell Unfolder Episode 13: open recursion
Andres Löh, Edsko de Vries
Wednesday, 25 October 2023

The Haskell Unfolder Episode 12: parametricity
Andres Löh, Edsko de Vries
Wednesday, 04 October 2023

ZuriHac 2023 and GHC Contributors' Workshop: Summary and Materials
Christine Gundry, Adam Gundry, Andres Löh, Ben Gamari, Duncan Coutts, Sam Derbyshire, Zubin Duggal
Tuesday, 19 September 2023

The Haskell Unfolder Episode 11: Haskell at ICFP
Andres Löh, Edsko de Vries
Wednesday, 13 September 2023

The Haskell Unfolder Episode 10: generalBracket
Andres Löh, Edsko de Vries
Wednesday, 30 August 2023

The Haskell Unfolder Episode 9: GHC Core
Andres Löh, Edsko de Vries
Thursday, 17 August 2023

Well-Typed at GHC Contributors' Workshop and ZuriHac 2023
Christine Gundry, Andres Löh, Adam Gundry
Friday, 02 June 2023

Announcing new YouTube series: The Haskell Unfolder
Edsko de Vries, Andres Löh
Wednesday, 12 April 2023

Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 28 November 2022

Announcing a live tutorial on eventlog2html and ghc-debug
Finley McIlwaine, Andres Löh
Wednesday, 23 November 2022

Well-Typed Advanced Track at ZuriHac 2022
Andres Löh, Armando Santos, Adam Gundry
Wednesday, 01 June 2022

Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Thursday, 20 January 2022

Type-level sharing in Haskell, now
Edsko de Vries, Andres Löh, Adam Gundry, Sam Derbyshire
Friday, 17 December 2021

Haskell teaching and development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry, Christine Gundry
Monday, 01 November 2021

Remote Interactive Course on Type-level Programming with GHC
Christine Gundry, Andres Löh
Thursday, 14 October 2021

Haskell Implementors' Workshop 2021
Christine Gundry, Andres Löh, Edsko de Vries, Douglas Wilson, Ben Gamari
Wednesday, 08 September 2021

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 03 August 2021

ZuriHac 2021 Advanced Track Materials
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 17 December 2020

GHC activities report: October–November 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Alfredo Di Napoli, Matthew Pickering, Andres Löh
Thursday, 03 December 2020

Sponsoring the Haskell Foundation
Duncan Coutts, Adam Gundry, Andres Löh
Friday, 06 November 2020

GHC activities report: August–September 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, David Eichmann, Adam Gundry, Andres Löh
Tuesday, 13 October 2020

MuniHac 2020
Christine Gundry, Andres Löh, Duncan Coutts, Edsko de Vries
Thursday, 17 September 2020

ICFP 2020 & MSFP 2020
Christine Gundry, Andres Löh, Duncan Coutts, Ben Gamari, Alfredo Di Napoli, David Eichmann, Oleg Grenrus
Monday, 07 September 2020

GHC activities report: June–July 2020
Ben Gamari, Andreas Klebinger, Alp Mestanogullari, Andres Löh
Friday, 07 August 2020

ZuriHac 2020 Advanced Track Materials
Andres Löh
Thursday, 25 June 2020

Well-Typed Advanced Track at ZuriHac 2020
Andres Löh
Monday, 08 June 2020

Haskell development job with Well-Typed
Christine Gundry, Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 17 March 2020

Remote Interactive Courses
Christine Gundry, Andres Löh
Thursday, 05 September 2019

Upcoming Haskell events: Haskell eXchange, Courses, MuniHac
Andres Löh
Thursday, 04 October 2018

8-hours remote interactive course on
"Type-level programming with GHC"
Andres Löh
Wednesday, 27 June 2018

Haskell development job with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 27 March 2018

Haskell development jobs with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Thursday, 11 May 2017

Upcoming courses and events 2017
Andres Löh
Monday, 24 April 2017

Haskell eXchange, Hackathon, and Courses
Andres Löh
Thursday, 01 September 2016

Announcing MuniHac
Andres Löh
Friday, 15 July 2016

Haskell development jobs with Well-Typed
Andres Löh, Duncan Coutts, Adam Gundry
Tuesday, 08 March 2016

Dependently typed servers in Servant
Edsko de Vries, Andres Löh
Wednesday, 02 December 2015

Implementing a minimal version of haskell-servant
Andres Löh
Wednesday, 04 November 2015

Haskell Hackathon, Haskell eXchange, Haskell courses in London, October 2015
Andres Löh
Friday, 11 September 2015

Summer School on Generic and Effectful Programming
Andres Löh
Wednesday, 10 June 2015

Compose conference and New York City Haskell courses
Andres Löh
Friday, 05 December 2014

Haskell development job with Well-Typed
Duncan Coutts, Andres Löh
Thursday, 27 November 2014

Haskell courses and Haskell eXchange
Andres Löh
Tuesday, 23 September 2014

Haskell gets static typing right
Andres Löh
Thursday, 17 April 2014

(New) Haskell Courses in London, April/May 2014
Andres Löh
Wednesday, 19 March 2014

Haskell Courses
Andres Löh
Wednesday, 19 September 2012

Well-Typed are hiring: Haskell consultant
Andres Löh
Thursday, 12 January 2012

Tutorial on Parallel Programming in Haskell
Andres Löh
Friday, 07 October 2011

Upcoming Events
Andres Löh
Saturday, 10 September 2011