I'd love to see the Idris RTS in Rust.
-
-
-
It'd be interesting to see it done. I wonder how much of it would need to be 'unsafe' in practice though.
- 6 more replies
New conversation -
-
-
You don't test with tools like ElectricFence?
-
The thing in question was on the boundary between a run time system and foreign function interface. The rts code was fine, the FFI call was bad, but not obviously so.
- 1 more reply
New conversation -
-
-
Whichever :). Although, really, this was at the boundary of Idris and C so I might need another way of finding my daft mistakes.
End of conversation
New conversation -
-
exactly the same a few months ago!https://twitter.com/pezi_pink/status/1005197259686993920 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
Definitely not the first, but the first for a while... It's easier when you have programs to write programs for you :). At least until they break. Like today.
End of 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.
