https://github.com/ashton314/rhombus_dyn
Dynamic annotation for Rhombus
https://github.com/ashton314/rhombus_dyn
gradual-typing rhombus
Last synced: 2 months ago
JSON representation
Dynamic annotation for Rhombus
- Host: GitHub
- URL: https://github.com/ashton314/rhombus_dyn
- Owner: ashton314
- License: other
- Created: 2023-12-19T00:08:14.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-10-03T17:22:26.000Z (8 months ago)
- Last Synced: 2025-03-14T23:03:54.767Z (3 months ago)
- Topics: gradual-typing, rhombus
- Language: Racket
- Homepage:
- Size: 14.6 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Dynamic Annotation for Rhombus
## SYNOPSIS
Adds a `Dyn` annotation that selectively removes static information. Makes [Static Rhombus](https://docs.racket-lang.org/rhombus/static-lib.html) a gradually typed language.
```rhombus
#lang rhombus/static
import:
rhombus_dyn open
fun get_len(lst :: Dyn):
lst.length()
```
## DESCRIPTION
This is a little research proof-of-concept to see how far we can push Rhombus's macro and static information system. This is not intended for serious production use.
## INSTALLATION
This package is not in the Racket/Rhombus package repository. Therefore, the easiest way to install this package is to clone the repository and install it directly with `raco` from the command line like so:
```bash
git clone https://github.com/ashton314/rhombus_dyn.git
cd rhombus_dyn
raco pkg install
```
## LICENSE
MIT
## BUGS
Feel free to report bugs [here on GitHub](https://github.com/ashton314/rhombus_dyn/issues). No promises on whether or not I'll look at them—this is a research POC and not intended for any production usage.
## AUTHORS
- [Ashton Wiersdorf](https://lambdaland.org)