I type checked some ClojureScript … it's amazing http://gist.github.com/swannodette/6640127 … thanks @ambrosebs and @samth!
-
@jonsterling@swannodette pointed everything weakens Haskell's parametricity too, though. Simple syntactic check for unsafe* isn't enough
-
-
@dibblego@jonsterling@swannodette all types are pointed in safe Haskell too, no? My point is it's ok to compromise a bit on parametricityThanks. 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.