ra’s Twitter Archive—№ 33,054

@cemerick right, and im not in a position to statically prove expressions pure/impure. flowing purity the way you can flow types would be interesting.