Vx – One Language, Every Chip

7 comments

• Cyan48838 minutes ago
  &gt; Heterogeneity belongs in the type system, not in the runtime.<p>Is the intent that applications developed with this are compiled for target hardware on a machine-specific basis?<p>e.g. I define a machine file for my i5 and GTX3080, and another machine file for my gnarly datacenter rack, and the compiler compiles specifically for each?<p>That way the same source file is &quot;provable&quot; for different hardware configurations without relying on a runtime to be identicallu implemented?
• png73242 minutes ago
  Is there a backstory for this being named Vx? Seems a bit too close for comfort to the VxWorks OS, though there seems to be no connection.
  • Skwid14 minutes ago
    Better than I was thinking: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;VX_(nerve_agent)" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;VX_(nerve_agent)</a>
• amelius45 minutes ago
  &gt; Vx is the right language for the thing that must be correct and fast across ten kinds of silicon. It is not the right language for the thing you are still figuring out.<p>Sounds like a great language for an AI to use then :)
• yewenjie22 minutes ago
  Why is it giving me Vlang vibe
• BatchJob11 minutes ago
  Here we go again, why dont we try this again?<p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Transmeta" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Transmeta</a>
• api53 minutes ago
  Why does this need a new language? Aren&#x27;t there existing languages where these concepts can be expressed?
  • classified33 minutes ago
    [dead]
• AnimalMuppet2 hours ago
  I haven&#x27;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.
  • dnautics39 minutes ago
    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)
    • treyd31 minutes ago
      &gt; you should design it so that your language is easily and correctly statically checked.<p>You do that <i>by making the type system more sophisticated</i>.<p>If you have a <i>really important</i> invariant that you really don&#x27;t want to be violated due to run-time behavior&#x2F;input, it&#x27;s a huge benefit to have a compiler that can statically check that it actually can&#x27;t be. That&#x27;s one of the main benefits of having type systems, not just describing the shape of data structures in memory.
      • dnautics23 minutes ago
        You can perform static analysis outside of the compiler without putting things in the type system?<p>C is a bad language to do this with for various reasons, but as a simple example:<p><pre><code> char* buf = malloc(SIZE); free(buf); free(buf); </code></pre> There is absolutely no reason why static analysis should not be able to see what the problem is here.
    • classified30 minutes ago
      So you prefer runtime crashes to compiler diagnostics, just so the type system can be &quot;simpler&quot;? I find these priorities backwards.
      • dnautics26 minutes ago
        &gt; So you prefer runtime crashes<p>Do you not understand what static analysis is?