From 906d339508afa80b9d55fcdb82edceaf1bf7c67d Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 16 Jan 2022 21:33:15 +0100 Subject: [PATCH] README: Update the strategy for conversion to Typed Racket. --- README.org | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/README.org b/README.org index 535e9ec..47b1eb3 100644 --- a/README.org +++ b/README.org @@ -62,14 +62,12 @@ interaction with Org-mode. 4. =networks= 5. =rs= - This is how I will convert a module =A=: - - 1. Create a copy =A-untyped.rkt=. - 2. Empty =A.rkt=. - 3. Transfer the definitions from =A-untyped.rkt= to =A.rkt= one by - one, adding the necessary types, signatures, and typed imports - as I go. - 4. When done, remove =A-untyped.rkt=. + I will convert the modules one by one by first creating a typed + section (a submodule) and re-exporting its functions together with + the untyped functions. I will then move the functions one by one + from the untyped section to the typed section. When the untyped + section is empty, I will convert the language of the entire module + to Typed Racket and remove the submodule. *** TODO Implement a shorter syntax for defining Boolean functions Right now, this is how one defines the Boolean function: