Fixpoint aside, show me an example of a non-pathological program where types "get in the way" … I'm seriously curious.
-
@puffnfresh@mwotton a proper shed in Scala would be kind of nice actually. I often turn expr into { expr; ??? } while I'm working it out.
@tpolecat @puffnfresh @mwotton #scala IRC; the use-case for ??? is Iterator#remove and per usual, it is unreasonable to believe otherwise.