1/7 If there’s more than one way to encode an idea (in fully reduced form), you’re not being abstract/specific enough. Your encoding is lossy.
2/7 For example, filtering out the even values from a list must be something like: filter list even. While/for/each loop bullshit are all too low level
3/7 The core of what an idea *is* must be singular, definitional, unambiguous.
4/7 Yet “two more than x” encodes to either 2+x or x+2. It bothers me that there isn’t a single canonical reprentation for this idea like there is for “one third of x”, x/3
5/7 I don’t want to have to keep commutativity in my head. I want a representationthat makes it clear when order of operands matter
6/7 Yet you still have to position operands adjacent in *some* configuration, which will of course be interchangeable so I don’t see a way around it
7/7 We are stuck saying 2+x, and by the way addition is commutative so it’s really a single idea {2+x,x+2}
