[T-A]

I think parent meant big wins in physics, where the search started well over a decade ago. See e.g. the dates of the references here:

https://en.wikipedia.org/wiki/Categorical_quantum_mechanics#...

[GoblinSlayer]

QM is just linear algebra, no need to turn it into Haskell.