Conversation

Notices

  1. Remote profile options...
    internetturtle internetturtle

    !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.

    Tuesday, 31-Oct-17 00:05:36 UTC from quitter.se
    1. Remote profile options...
      internetturtle internetturtle

      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.

      Tuesday, 31-Oct-17 00:06:46 UTC from quitter.se
      1. Remote profile options...
        internetturtle internetturtle

        Alternatively I could base it directly off of typed racket. That would also extend the syntax while keeping compatibility.

        Tuesday, 31-Oct-17 00:07:38 UTC from quitter.se
        1. Remote profile options...
          internetturtle internetturtle

          Note that these types are only for static analysis, and will be completely ignored during runtime.

          Tuesday, 31-Oct-17 00:08:29 UTC from quitter.se
          1. Remote profile options...
            internetturtle internetturtle

            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

            Tuesday, 31-Oct-17 01:47:07 UTC from quitter.se
            1. Remote profile options...
              internetturtle internetturtle

              It will result in a rather unexpressive type system but the implementation will be simpler that way.

              Tuesday, 31-Oct-17 01:47:47 UTC from quitter.se