Repository navigation
Code Equality / Normal Form #92
Description
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?
Activity
stevekrouse commentedon Dec 3, 2018
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 commentedon Dec 3, 2018
Complete language (less Turing complete but always terminate)
stevekrouse commentedon Dec 3, 2018
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)