It was a nice talk by @reifyreflect, though, telling us about the tricks he did to get around the Haskell type system :) #nottrollinghonest
@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.
-
-
@edwinbrady Please do put thought to this. last : List a -> Maybe a seems wrong to me. take doesn't return Maybe, even for the empty list.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Maybe the decidability stuff that@d_christiansen written about? last : (l : List a) -> { auto prf : isCons l = False } -> _|_ -
@edwinbrady@d_christiansen The above was pseudocode, as I don't know how to do 'branching' types ... but maybe something like that? idk - 2 more replies
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.