Also entertainingly, it runs at roughly the same speed as the existing version
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@github Could you do it for Vectors instead of Lists? -
@ctford I assume so. The termination proof might even be a bit easier. I'll probably add these views to the library anyway.
End of conversation
New conversation -
-
-
@edwinbrady now do it for bitonic sort -
@harriesadam That's an exercise for… anyone but me.
End of conversation
New conversation -
-
-
@edwinbrady most interesting part is it doesn't look too far off from other functional implementations -
@rickasaurus I think it's important to be able to look at it and recognise that it really is merge sort. There's some fun to be had here.
End of conversation
New conversation -
-
-
@edwinbrady Is it easy to generalize for other collections? -
@edwinbrady I ask because I assume proving certain parts of the check on non lists is currently harder? - 2 more replies
New conversation -
-
-
@edwinbrady TOTALITIES FOR THE TOTALITY THRONEThanks. 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.