Viewing profile — sdfsfdsdfs3d

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…

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 …

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 act…

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 generali…

> 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 …

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 fa…