Conversation

Notices

1. Embed this notice
   Paul Cantrell (inthehands@hachyderm.io)'s status on Sunday, 25-Feb-2024 10:06:06 JST Paul Cantrell

   What are programming language in widespread use today that:

   1. have declared types, but
   2. types are only checked at runtime, no static type checking?

   I believe you can make Racket do this, and it’s an idiom with old Scheme roots. I think? And don’t some dependently typed languages resort to runtime checks when static proofs aren’t possible?…but I’m looking for no static types, runtime checks only.

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Sunday, 25-Feb-2024 10:28:36 JST Paul Cantrell

     in reply to

     • [BUG] Lunya :3

     @lunacb Unless I’m much mistaken, Typescript’s type checking is •all• static; types are erased to JS-land at runtime

   • Embed this notice
     [BUG] Lunya :3 (lunacb@wetdry.world)'s status on Sunday, 25-Feb-2024 10:28:37 JST [BUG] Lunya :3

     in reply to

     @inthehands typescript probably counts

   • Embed this notice
     aburka 🫣 (aburka@hachyderm.io)'s status on Sunday, 25-Feb-2024 11:01:00 JST aburka 🫣

     in reply to

     @inthehands python, if you annotate the types?

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Sunday, 25-Feb-2024 12:14:48 JST Paul Cantrell

     in reply to

     • Josh Bruce
     • Gina Peter Banyard

     Aha! The answer to my question is “yes, a very widely used one.” And it’s…PHP:
     https://phpc.social/@Girgias/111989639358291491

     TIL! Thanks @Girgias and @itsjoshbruce.