Ported @edwinbrady's Idris merge sort to Agda. Agda code runs 4x faster and doesn't segfault on long lists.https://gist.github.com/UlfNorell/4325f091c4f4fbcbad2581577a4f2903 …
-
-
Oh, I should add, "Challenge accepted". I'm not going to let this state of affairs last too long :). /cc
@ulfnorell -
.
@edwinbrady Yes, the challenge was implicit on account of not enough characters.#dependentlytypedlanguageshootout
End of conversation
New conversation -
-
-
@edwinbrady@ulfnorell Please don't give idris a super complicated runtime system - the very basic nature of it is (imo) a bonus! -
@harriesadam@ulfnorell Absolutely! But the real problem is that the C calling convention hurts. C compilers think they're compiling C :).
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.