State-based testing with quickcheck-lockstep (Haskell Unfolder #44)
Andres Löh, Edsko de Vries
Wednesday, 14 May 2025
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
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
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
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
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
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
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
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
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
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
Andres Löh, Edsko de Vries
Wednesday, 16 October 2024
The Haskell Unfolder Episode 32: solving tic-tac-toe
Andres Löh, Edsko de Vries
Wednesday, 18 September 2024
Andres Löh, Edsko de Vries
Wednesday, 18 September 2024
The Haskell Unfolder Episode 29: exceptions, annotations and backtraces
Andres Löh, Edsko de Vries
Wednesday, 17 July 2024
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
Andres Löh, Edsko de Vries
Wednesday, 03 July 2024
The Haskell Unfolder Episode 26: variable-arity functions
Andres Löh, Edsko de Vries
Wednesday, 22 May 2024
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
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
Andres Löh, Edsko de Vries
Wednesday, 01 May 2024
The Haskell Unfolder Episode 22: foldr-build fusion
Andres Löh, Edsko de Vries
Wednesday, 20 March 2024
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
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
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
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
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
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
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
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
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
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
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
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
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
Andres Löh, Edsko de Vries
Wednesday, 30 August 2023
Well-Typed at GHC Contributors' Workshop and ZuriHac 2023
Christine Gundry, Andres Löh, Adam Gundry
Friday, 02 June 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
Edsko de Vries, Andres Löh
Wednesday, 12 April 2023
Announcing a live tutorial on eventlog2html and ghc-debug
Finley McIlwaine, Andres Löh
Wednesday, 23 November 2022
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
Andres Löh, Armando Santos, Adam Gundry
Wednesday, 01 June 2022
Remote Interactive Course on Type-level Programming with GHC
Christine Gundry, Andres Löh
Thursday, 14 October 2021
Christine Gundry, Andres Löh
Thursday, 14 October 2021
ZuriHac 2021 Advanced Track Materials
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021
Adam Gundry, Matthew Pickering, Ben Gamari, Andres Löh
Wednesday, 23 June 2021
Free training sessions at ZuriHac 2019
Christine Gundry, Adam Gundry, Duncan Coutts
Friday, 07 June 2019
Christine Gundry, Adam Gundry, Duncan Coutts
Friday, 07 June 2019
8-hours remote interactive course on
"Type-level programming with GHC"
Andres Löh
Wednesday, 27 June 2018
"Type-level programming with GHC"
Andres Löh
Wednesday, 27 June 2018
Haskell Hackathon, Haskell eXchange, Haskell courses in London, October 2015
Andres Löh
Friday, 11 September 2015
Andres Löh
Friday, 11 September 2015