@puffnfresh I need a language for expressing constraints where they can only go down, never up, across a wide variety of types
@puffnfresh omg I have another thing where I think dependent types might be the solution care to hear?
-
-
-
@puffnfresh ideally it would be impossible to construct anything that didn't have this property -
@puffnfresh sort of like reverse-monotonicity, if you will (capabilityists might call it "attenuation" or "degradation") -
@puffnfresh this paper describes it more formally: https://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/41892.pdf …
End of conversation
New conversation -
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.