futureofcoding / futureofcoding.org

http://futureofcoding.org
The Unlicense
139 stars 56 forks source link

Code Equality / Normal Form #92

Open stevekrouse opened 5 years ago

stevekrouse commented 5 years ago

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 commented 5 years ago

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 commented 5 years ago

Complete language (less Turing complete but always terminate)

stevekrouse commented 5 years ago

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)