"… Hindley-Milner type inference is really tremendously useful when putting together big projects in a short amount of time" - @substack
@psnively @rtfeldman @substack @puffnfresh It's actually the same argument that generalization implies "harder to read." Kill it all at once
-
-
@dibblego@psnively@rtfeldman@substack@puffnfresh Could flesh out this method for everything, write all "casts" - https://github.com/edwinb/Idris-dev/blob/master/lib/Prelude/Cast.idr#L4 …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.