3 ms·

What about Rust and Idris make them go together? Or how would they go together?

• mlitchard 11y ago
  https://hackage.haskell.org/package/atom https://hackage.haskell.org/package/atom Imagine atom, written in idris, and compiling to rust. Things like that.
  • Tyr42 11y ago
    I can't really imagine rust being a better target than C-- or something at that point, as you've got an infallible machine managing your memory already. If you output code that is rejected by the rust lifetime checker, you've still got a problem.
    • metaguri 11y ago
      Rust as a target for projects like atom instead of C could lead to easier/safer/faster atom development.