Comment by adsharma
3 hours 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.
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
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?
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.