Posts by Edsko de Vries

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

grapesy: industrial strength gRPC library for Haskell
Edsko de Vries, Finley McIlwaine
Wednesday, 22 January 2025

Tracing foreign function invocations
Edsko de Vries, Zubin Duggal, Matthew Pickering
Friday, 17 January 2025

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

Debugging your Haskell application with debuggable
Edsko de Vries
Friday, 06 December 2024

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

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

When "blocked indefinitely" is not indefinite
Edsko de Vries
Wednesday, 10 January 2024

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

Haskell Symposium 2023
Edsko de Vries
Tuesday, 19 December 2023

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

Haskell Implementors' Workshop 2023
Edsko de Vries
Tuesday, 05 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

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

falsify: Hypothesis-inspired shrinking for Haskell
Edsko de Vries
Tuesday, 18 April 2023

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

Calling Purgatory from Heaven: Binding to Rust in Haskell
Edsko de Vries
Wednesday, 29 March 2023

Anonymous or large records with OverloadedRecordDot and OverloadedRecordUpdate
Edsko de Vries
Tuesday, 07 March 2023

Lockstep-style testing with quickcheck-dynamic
Edsko de Vries
Thursday, 08 September 2022

Verifying initial conditions in Plutus
Edsko de Vries, Finley McIlwaine
Tuesday, 23 August 2022

The Plutus Compilation Pipeline: Understanding Plutus Core(s)
Edsko de Vries
Wednesday, 03 August 2022

large-anon: Practical scalable anonymous records for Haskell
Edsko de Vries
Wednesday, 06 April 2022

New large-records release: now with 100% fewer quotes
Edsko de Vries
Wednesday, 23 March 2022

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

Induction without core-size blow-up
a.k.a. Large records: anonymous edition
Edsko de Vries, Adam Gundry
Wednesday, 20 October 2021

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

Avoiding quadratic core code size with large records
Edsko de Vries
Friday, 20 August 2021

The fundamental problem solved by blockchain
Edsko de Vries
Monday, 22 March 2021

Being lazy without getting bloated
Edsko de Vries
Monday, 28 September 2020

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

The abstract nature of the Cardano consensus layer
Edsko de Vries
Friday, 29 May 2020

Interview with Edsko and Duncan about
Composition in Blockchain Implementations
Duncan Coutts, Edsko de Vries
Friday, 08 May 2020

Integrated versus Manual Shrinking
Edsko de Vries
Monday, 13 May 2019

An in-depth look at quickcheck-state-machine
Edsko de Vries
Wednesday, 23 January 2019

Compositional zooming for StateT and ReaderT using lens
Edsko de Vries
Tuesday, 04 September 2018

Semi-Formal Development: The Cardano Wallet
Edsko de Vries
Thursday, 31 May 2018

Object Oriented Programming in Haskell
Edsko de Vries
Thursday, 08 March 2018

Visualizing lazy evaluation
Edsko de Vries
Monday, 18 September 2017

Binary instances for GADTs
(or: RTTI in Haskell)
Edsko de Vries
Thursday, 15 June 2017

Sharing, Space Leaks, and Conduit and friends
Edsko de Vries
Thursday, 29 September 2016

Efficient Amortised and Real-Time Queues in Haskell
Edsko de Vries
Friday, 15 January 2016

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

Hackage Security Beta Release
Edsko de Vries, Duncan Coutts
Tuesday, 25 August 2015

Parametricity Tutorial (Part 2): Type constructors and type classes
Edsko de Vries
Friday, 14 August 2015

Lightweight Checked Exceptions in Haskell
Edsko de Vries, Adam Gundry
Friday, 31 July 2015

Hackage Security Alpha Release
Edsko de Vries
Wednesday, 08 July 2015

Parametricity Tutorial (Part 1)
Edsko de Vries
Saturday, 23 May 2015

Qualified Goals in the Cabal Solver
Edsko de Vries
Friday, 27 March 2015

Monads: From Web 2.0 to Hardware Drivers
Edsko de Vries
Tuesday, 03 February 2015

Simple SMT solver for use in an optimizing compiler
Edsko de Vries
Wednesday, 31 December 2014

Quasi-quoting DSLs for free
Edsko de Vries
Sunday, 19 October 2014

Dealing with Asynchronous Exceptions during Resource Acquisition
Edsko de Vries, Duncan Coutts
Thursday, 28 August 2014

Debugging Haskell at assembly level
by scripting lldb in Python
Edsko de Vries
Friday, 01 August 2014

Understanding the RealWorld
Edsko de Vries
Thursday, 12 June 2014

Understanding the Stack
Edsko de Vries
Wednesday, 21 May 2014

Pointwise Lenses
Edsko de Vries
Thursday, 24 April 2014

Performance profiling with ghc-events-analyze
Edsko de Vries, Duncan Coutts
Wednesday, 12 February 2014

Communication Patterns in Cloud Haskell (Part 4)
Edsko de Vries
Monday, 15 October 2012

Communication Patterns in Cloud Haskell (Part 3)
Edsko de Vries
Friday, 12 October 2012

Communication Patterns in Cloud Haskell (Part 2)
Edsko de Vries
Monday, 08 October 2012

Communication Patterns in Cloud Haskell (Part 1)
Edsko de Vries
Friday, 05 October 2012