2 ms·
i was thinking about a good language to be AI generation target, something that would be strongly typed, and have a variety of inner checks to make sure that th
by valyagolev 3y ago
i was thinking about a good language to be AI generation target, something that would be strongly typed, and have a variety of inner checks to make sure that the execution doesn't end up in an infinite loop or whatever
- lawlessone 3y ago>a variety of inner checks to make sure that the execution doesn't end up in an infinite loop or whatever. I am pretty sure that is one of the biggest unsolvable problems in computer science. Halting problem.
- mmarx 3y agoEven though halting is generally undecidable, there are still large classes of programs for which you _can_ show termination. If you reject every program for which you cannot show termination, you will also reject some programs that terminate, but you never need to worry about halting again. Indeed, languages such as Idris do exactly that. [0] [0] https://en.wikipedia.org/wiki/Total_functional_programming https://en.wikipedia.org/wiki/Total_functional_programming
- valyagolev 3y agoyeah ofc, but you can have, for example: - runtime checks for all loops - specify required upper bounds for all loops should be enough for a massive class of useful AI-generated subroutines. the goal is not to allow all-code, but to have predictable resource limits and btw, unlike people, AI won't be too lazy to specify those