Jacek's Blog

Software Engineering Consultant

Jacek Galowicz's Posts tagged "purescript"

Simple(r) Heterogeneous Mapping of Records in Purescript

February 13, 2023 purescript metaprogramming

Two weeks ago, I blogged about the automatic heterogeneous zipping of records in PureScript. The code was longer than the manual version but at least less error-prone. After learning how to do it this way, I present a neat little library (not mine) that provides all the benefits without the downsides.

Read more

Interpolation of Records of Values in Purescript

January 30, 2023 purescript metaprogramming

This article is about a little interesting detour that I made in one of my personal projects: How to use strong type systems to generically apply a binary mathematical function on all items of a possibly nested record. The code provides interesting insights into other languages with similar type systems.

Read more

Newer Older