1. 12
    Implementation of TypeScript's type system written in TypeScript's own type system javascript plt github.com
    hauleth avatar via hauleth 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  1. 3
    amw-zero avatar amw-zero 10 months ago | link

    I head you like type systems…

    1. 2
      lachenmayer avatar lachenmayer 10 months ago | link

      Love seeing hacks like this. Writing any kind of type-level functions does make me feel like type-level TypeScript is just a clunky functional programming language, and that using a ‘normal’ language at compile time would be much nicer. Seeing Zig’s comptime opened my eyes to this, but I wonder if you could do this without any annotations at all.

      1. 1
        marcellerusu avatar marcellerusu 10 months ago | link

        Incredible

        Is there any examples of doing this (purely string based) in any other language?