Demonstrates the use of Racket's custodians and namespaces to create enough isolation to "reboot" programs without restarting the whole of Racket, including possibly recompiling and reloading code.
To experiment with this:
$ racket ~/src/racket-experiments$ racket
Welcome to Racket v5.3.1.4.
-> (require "reloader.rkt")
-> (load-and-foo)
Starting worker...
test-mod: "foo"
| I know when milk does flies contain; | |
| I know men by their bravery; | |
| I know fair days from storm and rain; | |
| And what fruit apple-trees supply; | |
| And from their gums the trees descry; | |
| I know when all things smoothly flow; | |
| I know who toil or idly lie; | |
| All things except myself I know. | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE StandaloneDeriving #-} | |
| {-# LANGUAGE DataKinds#-} | |
| {-# LANGUAGE KindSignatures#-} | |
| module RedBlackTree where | |
| data Nat = Zero | Succ Nat deriving (Eq, Ord, Show) | |
| type One = Succ Zero |