Matthew Martin ☑ ✅📛 on Nostr: npub1jrmul…2kpuv mypyc lets you crosscompile type annotated code to native compiled ...

npub1jrmulpecjgank5mfrzg74l4je9sgw24djymt2fl5ya2pz879fgqsq2kpuv (npub1jrm…kpuv) mypyc lets you crosscompile type annotated code to native compiled c. In a large code base where you can't trust everyone to not make type errors, mypy does find code paths that will never work because it is impossible as per the types.