looking at some of the the bugs that have been worked on over the past: https://www.nethack.org/v330/spoiler.html https://www.nethack.org/v330/spoiler.html I'

looking at some of the the bugs that have been worked on over the past: https://www.nethack.org/v330/spoiler.html https://www.nethack.org/v330/spoiler.html I'm wondering if these types of categorical errors like 'BUGFIX: kicking cockatrice meat while barefoot now stones you' can be eliminated by writing in a language with a more advanced type system that'll check for these things at compile time instead of relying on years of hard labor and the stone knives and bearskins of C. I'm looking at the logic around eating and it's craaaaazy https://github.com/NetHack/NetHack/blob/NetHack-3.6.0/src/eat.c https://github.com/NetHack/NetHack/blob/NetHack-3.6.0/src/ea... Ultimately I'm asking if even though "The Dev Team Thinks of Everything" to not have to rely on that when designing a game.