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 …
-
-
Replying to @ulfnorell
.
@ulfnorell I suppose it's time we wrote a proper run time system… the C calling convention isn't really up to this sort of program.2 replies 2 retweets 10 likes -
Replying to @edwinbrady
@edwinbrady@ulfnorell Please don't give idris a super complicated runtime system - the very basic nature of it is (imo) a bonus!1 reply 0 retweets 0 likes
Replying to @harriesadam
@harriesadam @ulfnorell Absolutely! But the real problem is that the C calling convention hurts. C compilers think they're compiling C :).
3:40 PM - 3 May 2016
0 replies
0 retweets
0 likes
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.