4 ms·

Nice work! Looks super interesting and rewarding to work on. Is the namesake "tao" meaning "the way"? Or perchance a nod to Terry Tao?

• zesterer 4y ago
  > Tao or Dao is the natural order of the universe whose character one's intuition must discern to realize the potential for individual wisdom 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!