Adds a Dyn annotation that selectively removes static information. Makes Static Rhombus a gradually typed language.
#lang rhombus/static
import:
rhombus_dyn open
fun get_len(lst :: Dyn):
lst.length()
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.
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:
git clone https://github.com/ashton314/rhombus_dyn.git
cd rhombus_dyn
raco pkg installMIT
Feel free to report bugs here on GitHub. No promises on whether or not I'll look at them—this is a research POC and not intended for any production usage.