Code Equality / Normal Form

[stevekrouse]

data path independence, sql, format, http://alasql.org/, dicts vs other, etc / most essential way to express things - when stripped down must there be only one way to express an idea? for example, two more than y is x+2 (but also 2+x) but they represent the same idea. is it the same in programming or are must there be many paths?

[stevekrouse]

https://futureofcoding.org/log#equality-of-code

I asked Paul Chiusano about hashing code that’s equivalent but syntactically different, such as 1+x and x+1, and apparently Unison “doesn’t normalize commutative operations.” Some relevant links he sent me are Normalizing and Rice’s Theorem.

[stevekrouse]

Complete language (less Turing complete but always terminate)

[stevekrouse]

Ability for the compiler to magically knows when I want lazy and when I want strict (and other language features a la carte, like Haskell language extensions)