Sometimes you notice the same traversals over data structures in your code base and turns out you’ve forgotten about the common interfaces I.e. traversable. dependent types makes use of these interfaces that little bit harder.
-
-
Exactly! There is a balance to be struck and sometimes you have to get your hands dirty.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
here is a good use of dependent types: decEq a a = Refl decEq a b = believe_me
-
What could possibly go wrong?
End of conversation
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.