Daniel Díaz CarreteUsing the latest version of SQLite with Haskell on WindowsThis is one of those installation odysseys.Mar 27, 2021Mar 27, 2021
Daniel Díaz CarreteTwo types of Haskell extensionsMany Haskell language extensions have the pleasant property that they merely enable new features of the language, without their presence…Feb 25, 2021Feb 25, 2021
Daniel Díaz Carrete(micro)benchmarking Vimscript closuresNote to future readers: at the moment of writing this post, a new, faster version of Vimscript is in the works. This post is about the…Mar 2, 2020Mar 2, 2020
Daniel Díaz CarreteMinimal Cabal Files, revisitedBack in 2017, Juan Pedro Villa Isaza wrote an interesting post called Minimal Cabal Files. How time flies! We are now in 2020 and…Feb 14, 2020Feb 14, 2020
Daniel Díaz Carreteevent designators, word designators and modifiers in bashNothing groundbreaking or revelatory here, I’m just writing this to better remember some of these bash tricks. You can look at the…Jan 27, 2020Jan 27, 2020
Daniel Díaz CarreteGetting to play with Nix on Windows using DockerPrompted by this post, I decided to learn the rudiments of the Nix package manager. The problem is that I’m on a Windows machine, and Nix…Jun 14, 2019Jun 14, 2019
Daniel Díaz CarreteInstalling Agda 2.5.4.1 on Windows 10I plan to go through the CS410 2017 Agda course. This is how I installed Agda on my Windows machine.Sep 13, 20182Sep 13, 20182
Daniel Díaz CarreteEmulating Go’s struct field tags in Haskell (I)The Go language has a nice feature: when declaring a struct, you can assign metadata to each field. That metadata is later avaliable using…Jun 11, 2018Jun 11, 2018
Daniel Díaz CarreteProperties in SpringI’m writing this to help me sort out the different ways of handling properties in Spring.Jan 7, 20181Jan 7, 20181