Personally I would prefer to simplify the concept syntax.
>From the current syntax:
type
Comparable = concept x, y
(x < y) is bool
Run
To something like:
type
Comparable[T] = concept
proc `<`(x, y: T): bool
Run
This would naturally extend to runtime interfaces:
type
Comparable[T] = interface
proc `<`(x, y: T): bool
Run
As far as I know @zah has his reasons for not wanting to simplify the syntax
this way. But yes, it's about time to have this discussion so thank you for
bringing it up.
