[bitc-dev] Syntax Poll: Polymorphic Types
Jonathan S. Shapiro
shap at eros-os.com
Thu Mar 5 13:01:47 EST 2009
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).
More information about the bitc-dev