miniblog.
← Back to all posts
Wilfred Hughes
Apr 20, 2017 at 17:29
Type Tailoring
https://blog.racket-lang.org/2017/04/type-tailoring.html
An incredible post showing how to *extend* Typed Racket at the user macro level!
Type Tailoring
_posted by Ben Greenman_ Type tailoring is a technique for adding _domain-specific_ type checkers to a typed host language. Using the _Type Systems as Macros_ approach to building typed languages, implementing type tailoring in Typed Racket is straight...