$ git clone https://github.com/idris-lang/Idris2.git … $ make bootstrap SCHEME=chez $ make install Go on, you know you want to :)https://twitter.com/smdiehl/status/1262731208716365826 …
-
-
Replying to @edwinbrady
@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 manager1 reply 0 retweets 0 likes -
Replying to @Sami_Badawi @racketlang
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 …
1 reply 0 retweets 0 likes -
Replying to @edwinbrady @racketlang
Thanks. I see that Idris2 support C FFI. But what about Typed Racket FFI?
1 reply 0 retweets 0 likes
Replying to @Sami_Badawi @racketlang
There's a Scheme FFI, so I imagine you can call Typed Racket.
2:22 AM - 21 May 2020
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.