Conversation
Notices
-
!scheme I have finally decided to begin writing a SRFI for optional type annotations. I am writing a type checker and it's going well.
-
I am thinking the best way is to introduce the new forms typed-define, typed-lambda, and typed-let. Let me know if you have better ideas.
-
Alternatively I could base it directly off of typed racket. That would also extend the syntax while keeping compatibility.
-
Note that these types are only for static analysis, and will be completely ignored during runtime.
-
Now that I am digging into it, I am not sure whether I am aiming for "Typed Racket" or "mypy" level of complexity... I am thinking mypy
-
It will result in a rather unexpressive type system but the implementation will be simpler that way.
-
