(Discussion: is affine + phantom types a more or less practical -- legible, compositional -- encoding than monads + refinements?)
Replying to @graydon_pub
But I think that's partially because monads are just taught too generically/mathy instead of "You know how flat_map works"
11:06 AM - 26 Feb 2017
from Ottawa - Gatineau
0 replies
0 retweets
1 like
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.