Add TypeScript type gymnastics · Issue #722 · kanaka/mal · GitHub
Skip to content

Add TypeScript type gymnastics #722

Open
Open
Add TypeScript type gymnastics#722
Labels
new_implementationA ticket that is proposing or requesting an implementation for a new language/platform

Description

@ahaoboy
ahaoboy
opened on Aug 5, 2025

TS type is also Turing complete, and there are already many interpreters that implement simple lisp.

https://www.reddit.com/r/typescript/comments/17a79nv/pretty_sure_typescripts_type_system_is_a_lisp/

https://github.com/Sheyne/ts-type-bf/blob/main/type-lisp.ts

https://zhuanlan.zhihu.com/p/427309936

Activity

  1. kanaka
    added
    new_implementationA ticket that is proposing or requesting an implementation for a new language/platform
    on Aug 7, 2025

  2. kanaka commented on Aug 7, 2025

    @kanaka
    kanaka
    on Aug 7, 2025
    Owner

    I look forward to your PR! 😁

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    new_implementationA ticket that is proposing or requesting an implementation for a new language/platform

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions