RowList
The final aspect of type-level programming to learn is RowList
. This is where type-level programming often gets interesting because one can do interesting things with records at the type-level.
It is not covered in this folder. Rather, it is covered in Hello World/Type Level Programming/src/RowList
because one needs to understand how Data.Foldable.foldl
works (which is explained in Hello World/Collections and Loops
). Until one understands what a "fold left" is, understanding RowList
will not make much sense either.