suzanne.soy/tr-immutable
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
4 Commits 2 Branches 0 Tags 50 KiB
Racket 100%
741c89f5fd
Go to file
Georges Dupéron 741c89f5fd Filled in README
2017-01-07 23:18:00 +01:00
private Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
scribblings Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
test Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
.gitignore Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
.travis.yml Remove -p option for raco test, remove non-working old versions from .travis.yml 2017-01-07 23:06:11 +01:00
info.rkt Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
LICENSE.txt Initial commit 2017-01-07 22:26:19 +01:00
main.rkt Tests, doc-coverage, dependencies 2017-01-07 23:01:13 +01:00
README.md Filled in README 2017-01-07 23:18:00 +01:00

README.md

Build Status, Coverage Status, Build Stats, Online Documentation.

tr-immutable

Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket.

This library wraps vectors and boxes so that Typed/Racket recognises them as immutable. This means that (make-predicate (IVectorof Integer)) works, whereas (make-predicate (Vectorof Integer)) is rejected by current versions of Typed/Racket (due to the fact that vectors are mutable).

This should make it possible to write code operating on syntax objects (containing these immutable vectors), so that typed macros can be written.

There seem to be plans for support for immutable vectors in Typed/Racket at some point in the future. When this happens, this library will be changed to rely on the official immutable vectors.