scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

README: Update the strategy for conversion to Typed Racket.

Browse source
This commit is contained in:
Sergiu Ivanov 2022-01-16 21:33:15 +01:00
parent 505487d3b6
commit 906d339508
1 changed files with 6 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
README.org
View file

@ -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: