Earlier quoted context omitted.
Yeah, I'm very glad we saved curly braces for type parameters in julia. I really dislike the use of in static languages.
What's the difference to you for using {} vs ?
This is okay in a static language where there are special slots for a type where only a restricted subset of things can happen. You'd know at the parser level that the are referring to the type meaning or the operator meaning.
In julia, types are values and values can live in types, and arbtrary operations can happen in a type.
E.g. I can write Tuple{1 < 2} which just becomes the type Tuple{true}, i.e. a Tuple Type with paramemter True.