Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
one of the things i've thought for a while is that it would be nice to have ad hoc product types where instead of defining ADTs/enums for everything, you just select the data structures to consider part of the union.
racket's type system actually does this and after porting some racket to idris yesterday, i've decided it's confusing and i don't like it after all.