sdfsfdsdfs3d

9 ms·

1.
by sdfsfdsdfs3d 2mo ago
You are, of course, right about EvenInt being easy to express in a type system. In fact, I believe type systems are generally so expressive as to allow just about any constraint to be expressed (eventually..). I notice a lot of arguments on
2.
by sdfsfdsdfs3d 2mo ago
I agree. Restrictions are core to software development. In fact without them I don't think there is development in the first place. As you know I see software development as going from the general (the full bandwidth of the computation
3.
by sdfsfdsdfs3d 2mo ago
A mind is slightly different from a body in that it really does not understand the concept of "off". It is movement by its very nature. Even its relaxation is expressed through activity. Simple repetition and continuous low-level
4.
by sdfsfdsdfs3d 2mo ago
I have no horses in this race and I'm sorry if I misunderstand but I don't think he means to say Lisp is by nature superior to say Haskell. I take it as a statement on the generality inherent in its design. It is by its very natur
5.
by sdfsfdsdfs3d 2mo ago
> Do not allow a bug to be expressible That is a very powerful idea, but unfortunately it cannot be realized with a fixed set of language rules. Some invariants are universal, but some are bound to the domain. Some projects require, say,
6.
by sdfsfdsdfs3d 2mo ago
Yes, fully agreed. Also try practicing jeu de boules on pavements with cut curbs. The balls will constantly roll off the edge. It's infuriating. My most unpleasant experience so far has been during my daily public heavy deadlifting rou