The release announcement sketch that I have so far is below. Please mail me new items and/or edits. ----------------------------------------------------------------------
- split repository (samth 29873382) * The package manager supports a direct references to Git repositories via "git://[...]", "http://[...].git";, and "https://[...].git"; URLs. (Previously, only references to GitHub were supported.) * A `--clone` option for `raco pkg install` or `raco pkg update` further facilitates Git-based package development. For example, if a package X has a Git repository source, then installing and updating the package pulls from the repository, but in a read-only mode by default. Using `raco pkg update --clone X` switches the local installation to a repository checkout that is suitable for modifying the package implementation, pushing changes, issuing pull requests, and so on. Using `raco pkg update --lookup X` switches the package back to the default installation mode. * Added data/enumerate: a library that supports efficient enumeration of data structures. * DrRacket's online check syntax works with images and other non-text content. * DrRacket's blueboxes are available more often and contain methods and constructor information. * DrRacket's "Open Require Path" menu item supports ".." in relative pathnames. * Redex's redex-check uses enumeration to try to find counter-examples (in addition to using random generation, as before). * Redex's generate-term accepts additional arguments to return the "i"-th member of a pattern using data/enumerate (meaning it efficiently supports very large values of "i"). * Redex's examples include Launchbury's 1993 big-step lazy semantics. * 2htdp/image: allow "polygons" to be built out of bezier curves instead of just straight lines (see the docs for "pulled-point"). * The teaching languages come with a new teachpack, 2htdp/abstraction, which allows instructors and students to use a number of abstractions in ISL: for/* loops, match, define-type and type-cases. * DrRacket's executable creation mechanism works with 2htdp/universe programs (and they behave properly when run independently of drracket). * Typed Racket now displays tooltips in DrRacket that show the types of expressions. Tooltips are also displayed for type errors. samth: - avoid requiring contracts when not used (8ea8c54e) other potential Typed Racket items: - Support for prefab structs (no contracts) - Support for FSemaphores - Let-aliasing - #:implements/inits in Class types - Type aliases allowed in class bodies - Occurrence typing for private fields in classes - Improvements in libraries like typed/rackunit, typed/net/url, others - for/set, for*/set added - contracts for Async-Channelof ---------------------------------------------------------------------- -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/557B0EA5.1030900%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
