Nice work! Looks super interesting and rewarding to work on.
Is the namesake "tao" meaning "the way"? Or perchance a nod to Terry Tao?
Is the namesake "tao" meaning "the way"? Or perchance a nod to Terry Tao?
It echoes how I feel when I write programs in languages with strong static type systems: that of the compiler almost fatalistically leading me towards a solution that naturally fits the problem space. A metaphor I like to use is that of an artist knocking away pieces of marble to reveal the statue that was always there beneath.
And, yes, it's great fun to work on! Everybody should give writing a compiler and designing a language a try!