Oleg's gists

Posted on 2026-05-07 by Oleg Grenrus engineering Seven years ago I wrote a post about compatibility packages.

Posted on 2025-02-13 by Oleg Grenrus agda Recently I looked again at PHOAS, and once again I concluded it's nice for library APIs, but so painful to do anything with inside those libraries.

Posted on 2025-02-11 by Oleg Grenrus agda Normalization by evaluation using parametric higher order syntax.

Posted on 2024-06-24 by Oleg Grenrus In hashable-1.4.5.0 I made it use a XXH3 algorithm for hashing byte arrays.

Posted on 2024-05-28 by Oleg Grenrus cabal-fields is partly motivated by the Migrate from the .cabal format to a widely supported format issue.

Posted on 2024-04-21 by Oleg Grenrus Safe coercions in GHC are a very powerful feature.

Posted on 2024-04-18 by Oleg Grenrus Recently I came up with a criteria for a good warning to have in a compiler: If compiler makes a choice, or has to deal with some complication, it may well tell about that.

Posted on 2024-04-12 by Oleg Grenrus inspection-testing was created over five years ago.

Posted on 2024-04-01 by Oleg Grenrus In programming languages with sophisticated type systems we easily run into inconvenience of providing many (often type) arguments explicitly.

Posted on 2024-03-17 by Oleg Grenrus Implementation I wish there were an early exit functionality in the ST monad.