It was a nice talk by @reifyreflect, though, telling us about the tricks he did to get around the Haskell type system :) #nottrollinghonest
@geophf @reifyreflect Look at the definition of cast before mocking..! It's total and type safe. (Also, I've changed the type of 'take' now)
-
-
@edwinbrady@reifyreflect ;) I like your aside most of all. ;) What? Me? Mock? :t cast cast : a -> b :t believe_me believe_me : a -> b -
@geophf There is a type class "Cast" which defines safe conversions. It is total...
End of conversation
New conversation -
-
-
@edwinbrady Ooh! Is Prelude.List.last type corrected as well? Hope, hope! That's why I looked up take. I don't have to prove anything there! -
@geophf List.last has a weird type in order to be total. Not sure it's the right way to do it, really. Depends what you want it for. - 1 more reply
New conversation -
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.