Re: [stack] Re: Notation for typed arrays in Cat

A quick question: what's the rationale for using {a} as the type for a
list instead of (List a)? There's no reason for lists to be built-in,
right? Overall, though, that syntax is pretty clean-looking, I think.

Dan

On Fri, Apr 4, 2008 at 3:40 PM, John Nowak <[email protected]> wrote:
>
>  Here's what I'm doing in Fifth:
>
>  Row variable: A B XY -- uppercase
>  Scalar variable: a b xy -- lowercase
>  Atomic type: Num Char File -- titlecase, 2+ chars
>  Parameterized type: (Tree a) (Ref Int) (Table a b)
>  List: {a} {Int} {String}
>  Quotation: [A b c -> A c b] [A b -> A b b] [A [A -> B] -> B]
>
>  And an example:
>
>  unlist :: A {b} [A -> C] [A b {b} -> C] -> C
>
>  Note that the quotation syntax is a bit more complex in practice due
>  to effects. The version above is what programmers use when giving
>  annotations if they don't care to be more explicit.
>
>  - John
>