dependent

Typed Racket does not have dependent types, but macros are a pretty close substitute. This library implements a few standard library functions as macros to provide strong compile-time guarantees.

For example, printf! is a type-safe printer:

(require dependent/format)
(printf! "hello, ~a\n") ;; Arity mismatch: expected 1 argument, got nothing.

Install

From Github:

> git clone https://github.com/bennn/dependent
> raco pkg install ./dependent

From the Racket package server:

> raco pkg install dependent

Use (require dependent) to import all bindings from this library. Each file can be required individually, as in (require dependent/format).

API

Note: these are macros, not functions. Don't use them in higher-order positions.

Everything macro here is a front-end for a standard library function. Check the Racket docs for basic type signatures & behavior. This library's Scribble docs give full details on the static checks.

dependent/format

• format
• printf

dependent/regexp

• regexp-match