https://github.com/suzannesoy/tr-immutable

Immutable alternatives to Vector, Box, Sexp, Syntax-E and Syntax for Typed/Racket
https://github.com/suzannesoy/tr-immutable

immutable racket-library typed-racket

Last synced: 23 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/suzannesoy/tr-immutable
• Owner: SuzanneSoy
• License: other
• Created: 2017-01-07T21:25:15.000Z (almost 8 years ago)
• Default Branch: main
• Last Pushed: 2021-04-04T14:29:24.000Z (over 3 years ago)
• Last Synced: 2024-09-14T02:27:29.512Z (about 2 months ago)
• Topics: immutable, racket-library, typed-racket
• Language: Racket
• Homepage:
• Size: 16.6 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

        
[![Build Status,](https://img.shields.io/travis/jsmaniac/tr-immutable/main.svg)](https://travis-ci.org/jsmaniac/tr-immutable)

[![Coverage Status,](https://img.shields.io/codecov/c/github/jsmaniac/tr-immutable/main.svg)](https://codecov.io/gh/jsmaniac/tr-immutable/branch/main)

[![Build Stats,](https://img.shields.io/badge/build-stats-blue.svg)](http://jsmaniac.github.io/travis-stats/#jsmaniac/tr-immutable)

[![Online Documentation.](https://img.shields.io/badge/docs-online-blue.svg)](http://docs.racket-lang.org/tr-immutable/)

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.