Posts tagged ‘coding’

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

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

Video and slides on (Alternatives to) Lazy I/O
Duncan Coutts – Thursday, 11 July 2013

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