Because I know how to have fun, I'm currently seeing if this can build itself on my Raspberry Pi (initialised with Racket)
-
-
Show this thread
-
Success, finally! $ make bootstrap-racket [...wait about 25 minutes...] $ make install CG=racket $ idris2sh --client ':exec putStrLn "Hello RPi!"' --codegen racket Hello RPi!
Show this thread
End of conversation
New conversation -
-
-
Very nice. Congrats on the progress! Have you given much thought to the "Reflections on Trusting Trust" problem posed by Ken Thompson? Self-hosted langs are more susceptible. It impacts policies versioning, supported bootstrapping sequences, and distribution by package managers.
-
I'd like to keep the path from Haskell->Idris 1->Idris 2->Idris 2 SH as long as possible. But also, you can look at the Scheme and see how it corresponds. There's a lot of it, but not as much as a binary, and the correspondence is clear. And I haven't patched Chez Scheme :).
End of conversation
New conversation -
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
So selfish. Tisk, tisk. :-)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.

