28 ms·
> HList has some properties that are very interesting to us. To start with, not only we can store an arbitrary number of elements of different types, but we can
by i_s 11y ago
> HList has some properties that are very interesting to us. To start with, not only we can store an arbitrary number of elements of different types, but we can also know statically—that is, at compile time—both the number and types of those elements.
I didn't know Haskell could do that - impressive.
- harveywi 11y agoYou can do it in Scala too (cf. https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0 https://github.com/milessabin/shapeless/wiki/Feature-overvie...).