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