[NotableAlamode]

I'm curious: why and how do you think Exterior Algebra will have such an impact on programming in general? What programming constructs that EA capture that are currently not well-abstracted (apart from graphics/linear algebra)? And can EA not be expressed anyway in modern languages with expressive typing systems such at Haskell/Scala which even have higher-kinded types?

[pizza]

Maybe some admixture of machine learning meets compressive sensing meets logic meets complexity theory, and maybe some new software development tools/paradigms too