@puffnfresh omg I have another thing where I think dependent types might be the solution care to hear?
-
-
Replying to @bascule
@puffnfresh I need a language for expressing constraints where they can only go down, never up, across a wide variety of types2 replies 0 retweets 0 likes -
Replying to @bascule
@puffnfresh ideally it would be impossible to construct anything that didn't have this property1 reply 0 retweets 0 likes -
Replying to @bascule
@puffnfresh sort of like reverse-monotonicity, if you will (capabilityists might call it "attenuation" or "degradation")2 replies 0 retweets 0 likes
@puffnfresh this paper describes it more formally: https://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/41892.pdf …
8:13 PM - 25 Nov 2014
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.