On Sat, Apr 4, 2015 at 4:37 AM, Keean Schupke <[email protected]> wrote: > A further thought on type-level-Booleans for function arrows. I like the > principle of using enumerations with specific names to avoid domain > problems. Really classifying a 'call' as a true boolean allows it to be > compared and assigned to other Booleans which are from a different domain.
Technically, there's no domain problem. A Bool is a Bool, no matter what meaning we attach to its elements in a particular context. Special-purpose names are clearer though, since so far, it's all we're using Bools for. > I would prefer to have a type-level-enum with a domain specific name, > something like Kind "fn", type-level-values "call" and "arg", to keep them > short. I commented on the names on the other thread. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
