[bitc-dev] Syntax Poll: Polymorphic Types

[Jonathan S. Shapiro]

On Thu, Mar 5, 2009 at 12:52 PM, Rick R <rick.richardson at gmail.com> wrote:
> Perhaps I'm missing something here, but how would postfix notation be at all
> helpful for type construction? It seems like every sane language puts the
> Constructor name 1st.

It's subjectively more readable:

   char list   vs.   list [of] char.

>From my perspective, the concern would be on the one hand that this
readability may not extend gracefully to multiple type arguments (in
OCaml these are parenthesized), but on the other that the prefix
notation wants to look like application, and I'm not sure how that's
going to work out (need to try it in the parser).

shap