With a chez scheme @ git tag v9.5.1 compiled with `./configure --threads`, and after doing `ulimit -v 2000000` I got "217/217 tests successful"! Real nice. Not sure why chez scheme compilations were so eager to chew up all my ram and cpu if I didn't them :/
-
-
-
Hmm, I've been getting pretty low memory usage, at least relative to previous attempts at implementing Idris - generally hovering around 300Mb.
- 2 more replies
New conversation -
-
-
@edwinbrady it looks like Idris2 has bootstrap for Chez Scheme, Racket and Gambit. Does that meant that Idris2 can run on top of either? If so would it make sense to make a foreign function interface to some of these?@racketlang has a thriving ecosystem and good package manager -
Code generators can have an FFI to whatever language they want. The existing ones support Scheme and C. https://idris2.readthedocs.io/en/latest/ffi/ffi.html …
- 2 more replies
New conversation -
-
-
That's so cool!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Impressive, I want to, will try it...
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
This Tweet is unavailable.
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.