3 ms·

You don't need anything like HoTT to start using multi-letter variable names. E.g. https://mitpress.mit.edu/books/functional-differential-geometry https://mitp

• foxes 6y ago
  I just had a flip through this book, yes all the differential geometry is there, but I think its a bit of a let down. If I think "functional" I want to think more abstractly in terms of categories, functors, functions. The Lisp code in this book is truly not doing anything for me. Seems like a kind of direct numerical computation/translation. I actually think it would be better to do it in Haskell which seems like it would at least let you identify some more generic structures (oh we can actually implement this idea x as a functor/monad blah blah).