In most other languages this would fail code review as it is overly terse. I can see it does match the mathematical notation but if the language is supposed to provide any layer of abstraction then it doesn't do a very good job IMO. I guess the target market are mathematicians who already understand and write mathematical notation.
What is the name of the language where the whole game of life was literally one line of code? That was the example that convinced me that terseness can be too much.
also some physical theories which are summarised as
A=F(P)
Anterior=Factor(Posterior) ,
the future is a function of the past.
the difference to E=MCC is that the later one actually contains physical entities and that 'Factor' is often not well defined.
