https://news.ycombinator.com/item?id=47222705

Edit: cool article, I have myself speculated that we will get a new language made for/by llms that will be torture writing by hand/ide but easy to read/follow/navigate/check for a human and super easy for Llms to develop and maintain.

But that's because it's tight, token efficient, and above all local. Pure functions don't require much context to reason about effectively.

However, you do miss the benefit of types, which are also good for LLMs.

The "ideal" LLM language would have the immutability and functional nature of Clojure combined with a solid type system.

Haskell or OCaml immediately come to mind, but I'm not sure how much the relative lack of training data hurts... curious if anyone has any experiences there.

Stack overflow tags:

  17,775 Clojure
  74,501 Go

- structurally edited, ensuring syntactic validity at all times

- annotated with metadata, so that agents can annotate the code as they go and refer back to accreted knoweledge (something Clojure can do structurally using nodepaths or annotations directly in code)

- put into any environment you might like, e.g. using ClojureScript

I haven't proven to myself this is more useful/results in better code than just writing code "the normal way" with an agent, but it sure seems interesting.