| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
First and foremost, I have added some patches that disable MPROTECT for
some Racket executables and fix PR pkg/53467.
As for changes since the latest version, 6.11, these include:
* Changed the way some unsafe operations are exposed via `ffi/unsafe`
libraries to help smooth a future transition to a new runtime system.
* The `syntax-parse` form supports unwinding side-effects when it
backtracks, both explicitly with `~undo` patterns and implicitly
with the built-in managed state (using `syntax-parse-state-ref`,
etc).
* The `db` library supports SCRAM-SHA-256 authentication for backends
running PostgreSQL 10 or later. Client support for SCRAM and other
SASL mechanisms is provided by the new `sasl` library.
* The `lazy-require-syntax` form supports lazy loading of macro
transformers. Note that the macros must obey certain implementation
constraints (see the `lazy-require-syntax` documentation).
* Typed Racket no longer enforces types like `(U String (Boxof String))`
with the `any/c` contract. This fixes a type soundness issue, but may
affect performance. Please submit a bug report if you find a program
that runs significantly slower on v6.12 than earlier versions.
* Typed Racket's type instantiation (`inst`) uses `Any` for omitted type
arguments, allowing APIs to add additional type variables to functions
without breaking existing programs.
* `for/fold` users can customize the final result of a loop's computation
using the `#:result` keyword.
* The `--deps` option to `raco test` tests the packages the argument
packages depends on, in addition to testing the packages themselves.
For example, `raco test -p --deps pkg1 pkg2` tests all files from
`pkg1`, `pkg2`, and all of their dependencies.
|
|
* 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.
* The `db` library supports the Cassandra database.
|
|
Changes in Racket 6.4:
- We fixed a security vulnerability in the web server. The existing
web server is vulnerable to a navigation attack if it is also
enabled to serve files statically; that is, any file readable by
the web server is accessible remotely. For more information see
http://blog.racket-lang.org/2016/02/racket-web-server-security-vulnerability.html
- DrRacket's scrolling is faster.
- Incremental garbage-collection mode can eliminate long pauses in a
program. For example, incremental mode is useful for avoiding pauses
in games and animations.
Programs must specifically request incremental mode with
`(collect-garbage 'incremental)`, but libraries such as
`2htdp/universe` include the request as part of the library's
implementation.
- The default package catalog is an HTTPS address instead of HTTP, and
package operations properly validate server certificates when using
HTTPS.
- Documentation may define their own categories for the manual top-
level page by using strings, rather than only symbols that name
pre-defined categories.
- The Racket cheat sheet is included in the main distribution.
- DrRacket is available in Bulgarian, thanks to Alexander Shopov.
- The contract Typed Racket generates for the `Any` type is more
permissive, allowing more typed/untyped programs to work without
contract errors.
- Redex supports binding specifications; describe which variables bind
in which expressions and your metafunctions and reduction relations
automatically become scope-sensitive. Thanks to Paul Stansifer for
this improvement.
- All `pict` functions accept `pict-convertible`s. This allows for
transparent interoperability between `pict` and libraries like
`2htdp/image`.
- The `raco profile` and `raco contract-profile` commands provide easy
access to profiling tools, without requiring program modifications.
|
|
|
|
|
|
Racket 5.3.6
This is a bug-fix release. It eliminates errors from v5.3.5 that
people have found over the summer.
Racket 5.3.5
This is a special-purpose release to match the arrival of "Realm of
Racket" in bookstores. Racket v.5.3.5 adds a single `realm'
collection to the v5.3.4 release. The new collection contains the
source code that readers of Realm may wish to use for experiments.
Racket 5.3.4
* Extflonums (80-bit floating-point numbers) are supported on some
x86/x86_64 platforms -- including Windows, and including platforms
where Racket is compiled to use SSE instructions for flonum
arithmetic. Thanks to Michael Filonenko.
* OS X: DrRacket and all of the other apps are now signed with an
official key.
* Tally Maze: a new game based an enumeration of 2d mazes.
* The Optimization Coach, a DrRacket plugin, has been moved from the
Racket distribution to the Racket package repository. Install it
with: raco pkg install optimization-coach
* Redex: `define-union-language' now merges productions when
languages define the same nonterminals. Thanks to William Bowman.
* The `srfi/19' library is now compatible with the date structure
type exported by `racket/base'.
|
|
Changes in Racket v5.3.2
Core Libraries:
* The new `math' library provides functions and data structures for
working with numbers and collections of numbers. Functions include
non-elementary (such as gamma, zeta, Lambert's W), number-theoretic
(factorization, modular arithmetic), linear algebra (arithmetic,
decompositions), and statistical (expected values, order statistics,
binning). Data structures include arbitrary-precision bigfloats,
probability distributions, and multidimensional arrays.
* The new `file/untar', `file/untgz', and `file/unzip' libraries support
unpacking widely used archive formats.
* The new `lazy-require' form allows programs to delay the loading and
instantiation of helper modules until they are needed.
* The new `data/bit-vector' library provides an implementation of bit
vectors (a mutable sequence of booleans) supporting popcount.
* The `racket/generic' library allows the specification of default
method implementations for core datatypes.
* The `openssl' library can verify hostnames and use the operating
system's certificate store to verify certificates.
Package System:
* A new package system is in beta release. This system will become
Planet's successor. It differs significantly from the latter. For
details, please read the documentation at
http://docs.racket-lang.org/planet2/ and list your packages on the new
index at https://pkg.racket-lang.org/.
* The `raco test' command supports testing by collection and package, in
addition to by directory and file, with the "-c" and "-p" options.
Teaching Libraries:
* batch-io: the read and write functions work on Unix-style standard
input and output.
DrRacket:
* DrRacket's GUI is more responsive.
* The automatic parenthesis insertion mode is improved.
Scribble:
* Scribble renders Markdown format files via the "--markdown"
command-line flag. Example use case: Generate documentation hosted on
GitHub or BitBucket.
* Documentation cross-reference information is stored in an SQLite3
database, which means that SQLite3 is required for building Racket
documentation on Unix/Linux machines (but SQLite3 is included in
Racket distributions for Windows and Mac OS X).
Using a database for cross-reference information significantly reduces
the initial footprint of DrRacket, since DrRacket no longer needs to
load all cross-reference information.
Typed Racket:
* Typed Racket programs can require `plot/typed' to draw plots. List-
and vector-accepting functions accept general sequences.
* Typed Racket supports Racket's delimited continuation and continuation
mark operators.
Redex:
* Added more support for `define-judgment-form', including random
generation for well-formed judgments and visualization of judgments.
Deprecation:
The following have been removed in this release:
* the `planet' command-line tool; use `raco planet' instead.
The following has been deprecated and will be removed in the August 2013
release:
* the `mzlib/class100' library; use `racket/class' instead.
Changes in Racket v5.3.1
Racket:
* The `case' form dispatches on characters, fixnums, symbols, and
keywords in logarithmic time. (Thanks to Jon Zeppieri.)
* The new `racket/format' library provides new and improved
string-formatting functions.
* Logging tools include improved filtering support based on the name
of a logger. A new `define-logger' form simplifies the use of
named loggers. Forms such as `log-debug' now support string
formatting.
* The `for' forms now support `#:break' and `#:final' clauses.
* The new PLTCOMPILEDROOTS environment variable configures the
search path for compiled bytecode.
DrRacket:
* Check Syntax now summarizes the documentation (i.e., the blue
boxes) for the identifier at the insertion point in the top-right
corner of the definitions window.
* Check Syntax now runs continuously for programs that declare their
language within the source. This mode has been available for
several of the past releases, but now enabled by default.
* DrRacket can spell-check string constants (enable this in the Edit
menu).
Typed Racket:
* Typed Racket interprets the Any type as a different contract.
This may signal dynamic errors in some existing mixed
typed/untyped programs. The normal fix is to replace a use of Any
with a more specific types.
* NaN is included in all of Typed Racket's floating-point types,
which makes precise floating-point types easier to use.
* Typed Racket supports a `cast' operation with support for
higher-order types.
* Typed Racket provides the `:query-type/args' and
`:query-type/result' utilities to explore types at the REPL.
Miscellaneous:
* The `compatibility' collection provides features from Racket
relatives, such as `defmacro' and mutable lists. These features
are provided to ease porting code to Racket. Avoid them in modern
Racket code.
* Screenshots of the widgets provided by the Racket GUI library are
included in the documentation. (Thanks to Diogo F. S. Ramos.)
* FrTime was ported to racket lang. (Thanks to Patrick Mahoney.)
Deprecation:
The following has been deprecated and will be removed in the January
2013 release:
* the `planet' command-line tool; use `raco planet' instead.
The following has been deprecated and will be removed in the August
2013 release:
* the `mzlib/class100' library; use `racket/class' instead.
|
|
LDFLAGS.DragonFly+= -rdynamic
Add four patches to support DragonFly:
* Teach configuration about DragonFly
* Add DragonFly to BSD signal handler code
* Fix mbsrtowcs conftest segfault of configure script
* Fix cast on string.c
Patches contributed by:
Chris Turner
Jelle Hermsen
Patches will be submitted upstream.
Revbump due to possible change due to result of mbstrowcs test.
|
|
Changes in Racket 5.3
* Submodules are nested module declarations that can be loaded and
run independently from the enclosing module. For an overview of
submodules, see
http://blog.racket-lang.org/2012/06/submodules.html
* The futures visualizer is a graphical profiling tool for parallel
programs using futures. The tool shows a detailed execution
timeline depicting the migration of futures between threads, and
gives detailed information about each runtime synchronization that
occurred during program execution. In addition, `would-be-future'
is a special type of future that always executes sequentially and
records all potential barricades a regular future would encounter.
* Optimization Coach (formerly Performance Report) reports
information about Racket's inlining optimizations. Optimization
Coach can be launched in any language through the View menu.
* The new `images/flomap' library defines floating-point bitmaps and
fast image processing operations on them. It is written in Typed
Racket, so Typed Racket code may use it without the cost of
contract checks.
* The new `json' library supports parsing and generating JSON.
(Originally based on Dave Herman's planet library.)
* `racket/string' is extended with a set of simplified string
manipulation functions that are more convenient than using
regexps. `regexp-match*' and friends can now be used with new
keyword arguments to return specific matched regexp group/s and
gaps between matches.
* The new `racket/generic' library allows generic function
definitions, which dispatch to methods added to a structure type
via the new `#:methods' keyword.
* The `class' form supports declaring a method abstract. An
abstract method prevents a class from being instantiated unless it
is overridden.
* The contract library comes with support for interfaces, generics,
prompts, continuation-marks, and structs.
* Most error messages use a new multi-line format that is more
consistent with contract errors and accommodates more information.
* Typed Racket supports function definitions with keyword arguments;
the startup time of Typed Racket programs has been sharply
reduced.
* The new `ffi/com' library replaces MysterX; a compatibility
`mysterx' library remains, but without ActiveX support. The new
`ffi/unsafe/com' library offers a more primitive and direct way to
use COM classes and methods.
* There is now a very complete completion code for zsh. It is not
included in the distribution though; get it at http://goo.gl/DU8JK
(This script and the bash completions will be included in the
standard installers in future versions.)
--- DEPRECATION ----------------------------------------------------
Effective this release:
- The `tex2page' and `combinator-parser' libraries have been moved
from the Racket distribution to PLaneT:
(require (planet plt/tex2page))
(require (planet plt/combinator-parser))
The following has been deprecated and will be removed in the
January 2013 release:
- the `planet' command-line tool; use `raco planet' instead.
The following has been deprecated and will be removed in the
August 2013 release:
- the `mzlib/class100' library; use `racket/class' instead.
|
|
Changes in Racket 5.2.1
* Performance improvements include the use of epoll()/kqueue()
instead of select() for the Racket thread scheduler, cross-module
inlining of small functions, and the use of SSE instead of x87 for
JIT-compiled floating-point operations on platforms where SSE is
always available (including x86_64 platforms). A related change
is the interning of literal numbers, strings, byte strings,
characters, and regexps that appear in code and syntax objects.
* DrRacket uses a set of composable ray-traced icons available from
the new `images' library collection.
* Typed Racket's `typecheck-fail' form allows macro creators to
customize the error messages that Typed Racket produces. This is
especially useful when creating pattern matching macros.
* The performance of Redex's matcher has been substantially
improved; depending on the model you should see improvements
between 2x and 50x in the time it takes to reduce terms.
* Plots look nicer and are more correct at very small and very large
scales. New features include customizable dual axis ticks and
transforms (e.g., log axes, date and currency ticks, axis interval
collapse and stretch), stacked histograms, and 3D vector fields.
The legacy `fit' function and libfit have been removed.
* The `2htdp/universe' library's `big-bang' form supports an
experimental game pad key handler.
* The `db' library now supports nested transactions and PostgreSQL
arrays. Bugs involving MySQL authentication and memory corruption
in the SQLite bindings have been fixed.
* The Macro Stepper tool in DrRacket no longer executes a program
after expanding it.
* In the DMdA teaching languages, infinite recursive signatures
("streams", for example) with no intervening `mixed' are now
supported, and the signatures of record definitions without fields
now have generators for use with `property'.
* MysterX's ActiveX support is deprecated and will be removed in the
next release. MysterX's core COM functionality will become
deprecated in the next release, but COM functionality will be
supported for the foreseeable future as a compatibility layer over
a forthcoming `ffi/com' library.
|
|
Changes in version 5.1.1, May 2011:
Enabled single-precision floats by default
Added single-flonum?
Changed eqv? so that inexacts are equivalent only when they
have the same precision
Changed file-or-directory-permission to add 'bits mode
and permission-setting mode
Added special treatment of void as an 'inferred-name property
Removed the "MrEd" compatability executable under Windows
and Mac OS X, but the "mred" compatibility script remains
racket/gui: added multi-column support to list-box%
racket/gui: added scrollbar support to panel%, vertical-panel%,
and horizontal-panel%
racket/gui: added 'wheel-left and 'wheel-right events
racket/file: add user-read-bit, etc.
racket/contract: removed some (undocumented) exports.
Changes in version 5.1, February 2011
Renamed "proxy" to "impersonator"
Added current-get-interaction-input-port, which enables
racket/gui events to be dispatched while a REPL is blocked
Changed equal? to equate C pointers when they refer to the
same address
Internal: weak boxes are cleared before non-will-like
finalizers; use late-weak boxes to get the old behavior
Changes in version 5.0.2, October 2010
Changed body of `when', `unless', `cond' clauses, `case'
clauses, and `match' clauses to be internal-definition contexts
Swapped unsafe-vector*-ref with unsafe-vector-ref, etc.
Added ->i to the contract library, improved ->*, adding #:pre and
#:post, as well as making the optional arguments clause optional.
Added #true and #false, and changed #t/#T and #f/#F to
require a delimiter afterward
Added print-boolean-long-form
Added read-accept-lang, which is set to #t when
reading a module
Added flonum?
Changed continuation-marks to accept a #f argument
to produce an empty set of marks
Added fxvectors
Added unsafe-{s,u}16-{ref,set!}
Added prop:proxy-of
Added proxies to go with chaperones, and renamed chaperone property
as proxy property; beware that the word "proxy" will change in
a future version, perhaps to "impersonator"
Added collection-file-path and collection splicing at the file
level
|
