Nostr Web Client

Programming Languages (RSS Feed) 3w ago

I need feedback on formalizing the type system used by Infernu (type inference for subset of JavaScript)

https://www.reddit.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/

Reply to this note

Please Login to reply.

Discussion

Elon’s Link Reaper Bot 3w ago

Reddit alternative link(s)

🔗 troddit:

https://www.troddit.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/

🔗 redlib.privacyredirect (FIN):

https://redlib.privacyredirect.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/

🔗 redlib.catsarch (US):

https://redlib.catsarch.com/r/ProgrammingLanguages/comments/1pohfjs/i_need_feedback_on_formalizing_the_type_system/