Posts tagged ‘coding’

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

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

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

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

Using Template Haskell to generate static data
Andreas Klebinger
Tuesday, 16 June 2020

Fix-ing regular expressions
Oleg Grenrus
Thursday, 04 June 2020

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

The problem with adding functions to compact regions
Ömer Sinan Ağacan
Wednesday, 25 March 2020

Unrolling data with Backpack
Oleg Grenrus
Friday, 01 November 2019

Eventful GHC
Alp Mestanogullari
Tuesday, 24 September 2019

Announcing the optics library
Adam Gundry
Monday, 02 September 2019

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

Objects with special collection routines in GHC's GC
Ömer Sinan Ağacan
Tuesday, 15 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

Implementing a minimal version of haskell-servant
Andres Löh
Wednesday, 04 November 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

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

OverloadedRecordFields revived
Adam Gundry
Monday, 30 March 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

Fixing foldl
Duncan Coutts
Tuesday, 01 April 2014

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

GHC and Windows DLLs
Ben Lippmeier
Friday, 03 July 2009

GHC, primops and exorcising GMP
Duncan Coutts
Tuesday, 09 June 2009

Buildings plugins as Haskell shared libs
Duncan Coutts
Thursday, 21 May 2009

"Hello world" now only 11k using GHC with shared libs
Duncan Coutts
Tuesday, 28 April 2009

zlib and bzlib package updates
Duncan Coutts
Sunday, 02 November 2008

What's wrong with make?
Duncan Coutts
Thursday, 21 August 2008

Solving the diamond dependency problem
Duncan Coutts
Tuesday, 19 August 2008

New Cabal and cabal-install releases
Duncan Coutts
Tuesday, 17 June 2008

Information plumbing
Duncan Coutts
Thursday, 08 May 2008

The dreaded diamond dependency problem
Duncan Coutts
Thursday, 24 April 2008