[racket-dev] Release Announcement for v6.0.1

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Thu May 1 14:12:32 EDT 2014

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.


Posted on the dev mailing list.