posted by Vincent St-Amour

Racket version 6.11 is now available from http://racket-lang.org/

A bug preventing OneDrive users on Windows 10 Fall Creators update from opening files has been fixed.

Typed Racket supports refinement types and dependent function types. Previously an experimental feature, refinement types allow types to describe more interesting properties of values, especially integers. For example, this type shows that the max function always produces a number at least as big as its inputs: (-> ([x : Integer] [y : Integer]) (Refine [z : Integer] (and (>= z x) (>= z y))))

DrRacket’s Program Contour is significantly more efficient; using it no longer hurts DrRacket’s interactivity.

The web-server/formlets library produces formlets that are serializable, facilitating dynamic uses of formlets in stateless #lang web-server servlets. The new web-server/formlets/stateless and web-server/formlets/unsafe libraries provide additional support with the same API.