> I cannot imagine a single language without the if operator, but only a few PLs accommodate full-fledged trait bounds, not to mention pattern matching. This i

> I cannot imagine a single language without the if operator, but only a few PLs accommodate full-fledged trait bounds, not to mention pattern matching. This is inconsistency...Combining statics and dynamics in a single working solution is also complicated since you cannot invoke dynamics in a static context. In terms of function colours, dynamics is coloured red, whereas statics is blue. Yeah, but unless you have some fancy totality checker, that's just the way it is. > Idris: The way out? Yeah okay, like that. > A hypothetical solution should take the best from the both worlds. Programming languages ought to be rethought. --- You can have static checking, "uniformity", or simplicity. Choose two.