These are chat archives for non/algebra
Intas opposed to a union type like
LT | EQ | GT? 2^32 seems like a lot of possible values when 3 would do the job :). I know it’s what Java does, but does it bring a significant performance advantage? I wouldn’t expect allocations to be an issue, because
GTwould all be singleton objects.
c != LTare also a bit slower than
c >= 0
LT|EQ|GTand letting the instance definer and the caller choose which to use. but it would definitely add some complexity.
gtanyway, it is less of a problem.)
Int. so far algebra has taken the same approach. if you want to open an issue about changing it we still (barely) have some wiggle room there before MiMA concerns will make changing it really annoying.
Intversion around for performance reasons. The ADT version may be nice to have too, but I suppose it also wouldn’t necessarily need to live in algebra. It could be added on as some syntax somewhere else
Orderinstances is something you would really do outside of tests