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 …
@cyocum LLVM is a good idea, though we'd need to think about garbage collection. There have been efforts in the past in this direction.
-
-
@cyocum also I reckon targeting the OCaml VM would be pretty effective… if only I knew anything about it. -
@edwinbrady hummm. Yeah I have never needed to care so I am not much help. But there is a paper in there I think. - 5 more replies
New conversation -
-
-
@edwinbrady I think both OCaml an haskell have tried it without much success. -
@cyocum@edwinbrady It seemed to give performance improvements. A problem is the rapid release cycle. Think GHC decided to just bundle it?
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.