On 2014-05-01 13:49:55 -0400, Ryan Culpepper wrote:
> asumu:
* Types in Typed Racket are now pretty-printed.
* Function types can now be written in prefix style, which is
now preferred and is used for printing. Infix function types
are still accepted for backwards compatibility.
* A new `->*' type constructor is used for writing types for
functions with optional and keyword arguments. The notation
is similar to the matching contract combinator.
> - TR :-less syntax (e6e3ab4e, 45d36579, 37b09521, etc)
* Typed Racket forms do not have a `:' suffix by default now.
For example, the `struct' form replaces `struct:'. The suffixed
versions are all provided for backwards compatibility.
> - explain/warn about Class types?
* Typed Racket now has preliminary support for classes and
objects. However, it is still experimental and the APIs are subject
to change.
> - TR recursive type aliases (a8cc430d)
* Type aliases in Typed Racket now support recursion and mutual
recursion. For example, `(define-type (MyList X) (U Null (Pair X (MyList
X))))'
is now a valid type alias.
Cheers,
Asumu
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
