It's been a while since anyone asked if Idris could be lazy by default... Github makes it easy to fork, and Idris makes it easy to write your own backend, so enjoy yourself :). (As with much of CS, it's a trade off. Laziness is lovely. It has its place. Idris isn't lazy. Sorry)
-
Show this thread
-
Replying to @edwinbrady
Is there a Scheme backend for Idris? Or only for blodwen?
1 reply 0 retweets 0 likes -
Replying to @fwoaroof
Idris 2 uses Scheme by default, at least for the moment. There is one for Idris 1 (I posted a link to the mailing list earlier) but I don't think it's actively maintained.
1 reply 0 retweets 0 likes -
-
-
Replying to @kryptiskt @edwinbrady
Thanks, I occasionally dream of writing a Common Lisp backend and an existing Scheme backend sounds like a good starting-point.
1 reply 0 retweets 0 likes
Replying to @fwoaroof @kryptiskt
Scheme is a very convenient target if you already know the types work out :). Lisp is probably no different!
2:12 PM - 9 Jul 2019
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.