Programs Should Be Valid as They Are Typed
  • speq@lemmy.dbzer0.comEnglish
    1·
    17 days ago

    I think Nim is the frontrunner here. Close to Python to write because it is so expressive, close to C speed because it is compiled properly.