3 ms·

I'm going to go with: row = sequence record = named conjunctive sequence variant = named disjunctive sequence :) Can you explain what you mean when

I'm going to go with: row = sequence record = named conjunctive sequence variant = named disjunctive sequence :) Can you explain what you mean when you say "proper" types? (So I can get what you mean from there on out.) Are all your examples using regular standard Haskell syntax? (I get that you are making up type (and kind) names for illustration purposes). Thanks!

catnaroek 10y ago
A proper type is one that has kind `Type` (or `*` in Haskell).
catnaroek 10y ago
I got a little bit creative with syntax. Haskell doesn't have rows at all, and its kind of proper types is called “*”, rather than “Type”. Other than that, the syntax is pretty similar.