@… enjoying metaphors by @…
Does it apply to caves as well? https://
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
New achievements on https://chinafake.wiki! See how many you can get!
@…