‹ BackHN Continuity

Thread

Vx – One Language, Every Chip

75 points · 54 comments · elffjs

  1. AnimalMuppet · · focus · HN ↗
    I haven't played with it at all, but the writeup looks promising. Moving a bunch of things into the type system and out of runtime crashes is one of the ways we make progress.
    1. dnautics · · focus · HN ↗
      I think this is wrong. Type systems should be simpler, and you should design it so that your language is easily and correctly statically checked. Not all invariants necessarily have to be verified at the same cadence (compile time)
      1. classified · · focus · HN ↗
        So you prefer runtime crashes to compiler diagnostics, just so the type system can be "simpler"? I find these priorities backwards.
        1. dnautics · · focus · HN ↗
          > So you prefer runtime crashes

          Do you not understand what static analysis is?

          1. [deleted] · · focus · HN ↗

            [deleted]

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.