[bitc-dev] Syntax Poll: Polymorphic Types

[Jonathan S. Shapiro]

One curiosity on the ML family is that value constructors default to
prefix notation (constructor name first), while type names use postfix
notation.

Because BitC has n-ary functions and constructors, the postfix type
notation may turn out not to work for us -- I'm not yet sure. If it
does, should we continue in the OCaml convention on this?


shap