> Zero is aiming for a language an agent can learn while working: regular syntax, few special cases, and compiler feedback that points toward the next edit.
Why? Why should an agent learn while working when there are already-familiar languages with most of the logics embedded in the model and with much better ecosystem?
I see the point you mention, in that case, I think a language like Haskell is the better choice, so it could be marketed as an "agents" language that hit the market three decades before today’s agents :)
The only language that needs to be designed is a Just-In-Time declarative DSL for the domain you're building for in a way that the users will understand it and be able to express precisely the degrees of freedom they need. Goodluck getting an llm to find that and you cant give up and give them a general purpose programming language to build it themselves.
Then build something that compiles that declarative spec to orthodox programming languages.
> Zero is aiming for a language an agent can learn while working: regular syntax, few special cases, and compiler feedback that points toward the next edit.
Why? Why should an agent learn while working when there are already-familiar languages with most of the logics embedded in the model and with much better ecosystem?
Why Zero when there are countless alternatives?
(Not specific to this language and I'm not vouching for this in any way, but:)
I think one argument would be that the language seems to be effect based.
This allows you to control what a program can do without auditing the code.
I see the point you mention, in that case, I think a language like Haskell is the better choice, so it could be marketed as an "agents" language that hit the market three decades before today’s agents :)
I vote F#
The only language that needs to be designed is a Just-In-Time declarative DSL for the domain you're building for in a way that the users will understand it and be able to express precisely the degrees of freedom they need. Goodluck getting an llm to find that and you cant give up and give them a general purpose programming language to build it themselves.
Then build something that compiles that declarative spec to orthodox programming languages.