Daniel Díaz CarreteUsing the latest version of SQLite with Haskell on WindowsThis is one of those installation odysseys.3 min read·Mar 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…1 min read·Feb 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…2 min read·Mar 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…2 min read·Feb 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…3 min read·Jan 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…2 min read·Jun 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.3 min read·Sep 13, 2018--2--2
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…3 min read·Jun 11, 2018----
Daniel Díaz CarreteProperties in SpringI’m writing this to help me sort out the different ways of handling properties in Spring.2 min read·Jan 7, 2018--1--1