3 ms·

> a garbage collected rust like language with fast compilation I don't know what languages you might have in mind. "Rust-like" in what sense?

• pjmlp 8mo ago
  Probably OCaml, Standard ML, Haskell, MLton, F#, Scala,.... If going to complain about some of those being slow, remeber that they have various options between interpreter, bytecode, REPL, JIT and AOT.
  • zahlman 8mo ago
    You know, I really should try out F# some time. I always preferred C# over Java, and I have some Scala experience (that wasn't overall very pleasant, but it was fun to use an FP language).
• adsharma 8mo ago
  It's not a popular thing to say on social media. V-lang is the one I'm tinkering with. It's like rust in terms of pattern matching as an expression, sum types, ?T instead of exceptions. Like golang, it has shorter compile times. I try to keep my argument abstract (that you need to lower python to something intermediate before rust) for that reason.
  • adsharma 8mo ago
    Here is a python AST parser written in V. It's targeting a dialect that's mostly compatible with a static subset of python3, but will break compatibility where necessary. In this case pattern matching, possibly elsewhere. https://github.com/py2many/v-ast https://github.com/py2many/v-ast
    • zahlman 8mo ago
      Never heard of this language, but it looks interesting. Very modern, certainly. One thing that stood out to me is that there's apparently the ability to write a bare `for` loop...? Is that just equivalent to while (true) in other languages?
      • adsharma 8mo ago
        It can be used in many forms, while true is one of them. I don't have a whole lot of experience hand writing v-lang. Mostly machine generated from static python. But I find it convenient for what it does. Golang that is less verbose, single binary for distribution and fewer tokens if you're using an agent. GitHub.com/LadybugDB/ladybug-vlang has a CLI I recently wrote with an agent for a database I maintain. Static python with design by contract can be a stronger specification than natural language. @antirez was discussing this on his social media today.
      • gf000 8mo ago
        It does have a "shady" past, but AFAIK it mostly managed to leave that vaporware behind. Nonetheless, I would not bet anything too serious on such a small language.
        • adsharma 8mo ago
          I will not be commenting on the topic here because of a consistent pattern of downvoting: https://x.com/arundsharma/status/2033635906532638776 https://x.com/arundsharma/status/2033635906532638776 You should judge the language based on its license and what it does, not on the morality of people who wrote it and sponsored it. Either produce an alternative language which does the same thing written by more "unshady" people and supported by a large corporation (talking about the "small language" comment here). These human emotions won't matter in 6 months as code will be increasingly written by machines which have no such considerations.
          • gf000 8mo ago
            Shady people is one thing, marketing a language with impossible claims is another. People got interested in the language over wildl claims that are simply CS-wise impossible. Later, these were removed from the site and you are left with a.. not too interesting language. I'm judging it on this late phase, with a bad taste in my mouth from the former shenanigans. > in 6 months as code will be increasingly written by machines Come on..
          • 8mo ago
    • baranul 8mo ago
      Py2many is a great project. There are actually a couple of Python to Vlang (Py2V) projects.
• gf000 8mo ago
  Not parent, but basically every ML? OCaml, but also Scala/Kotlin to a certain degree Java, C# are all good choices.