Algebraic Identities in Programming Languages

The languages that use this most are the a p l family languages. It's very terse, but also there might be somewhere along that spectrum that is perfect and has a very clear code with no unnecessary names. But some names give you clues about what the code is supposed to do. And in fact, that is where the a programming language, j was going. The idea was that you couldn't define functions with like, a, you know, defin or deaf function,. You had to do it with higher order combinators.