Hey HN! 👋
I've been looking around, but I'm not an expert in programming languages and my naive thinking suggested me that a language that uses AI and/or Evolutionary Algorithms (EA) to generate better solutions and could improve it's own code would be something that's really worth studying in depth for a few months. Cought me, I was thinking of the StarTrek Computer. Probably too far of a stretch.
Indeed, I've not found such a thing.
What ingenious next-gen languages do you know?
What about languages that don't use language as we know, but geometry and sampling instead?
The next best thing were languages using dependent types, like Idris [1]. Maybe there are more interesting languages that I don't know of. But I've heard that there are efforts on making use of the Homotopy Type Theory (HoTT)[2].
Thank you!
---
[1] http://www.idris-lang.org/
[2] http://homotopytypetheory.org/
