Conversation
Notices
-
I have been thinking about how to design a statically typed language using the Scheme lexical structure and environment.
-
R7RS lets you define these kinds of thing in Scheme itself, which means I only have to work about design and not implementation.
-
It would be like Typescript basically, the static types are for tooling and static analysis but the runtime is dynamic "under the hood."
-
-
