Hacker News Reader

Comment by kbenson | Hacker News Reader

If I wasn't going to be on vacation during that conference, I would be strongly tempted to go, and I haven't written a line of rust. I get excited about every rust submission I see on HN though, and greedily gobble up as much information as I can. I can't help it, Rust just excites me.

So, whatever you guys are doing, WRT marketing, you are doing something right.

View on HN

What I like about rust is how I think it will go together really well with a language like idris. The idea is, whatever rust cannot guarantee an idris-to-rust transpiler can. People should have a much easier time making solid low-level code in the future.

Idris is already more safe than Rust. What would this give you?

Unfortunately safety is not the only concern. Idris' tooling is severely limited. There are very few executables written in Idris (and even fewer that aren't bit-rotted), the build tooling and package management are very simple, the runtime is heavily optimized, concurrent or parallel (like GHC's) and the single-threaded performance is far from Rust's.

I want to be clear that I'm not hating on Idris I love the goals of the project and am probably one of the few people outside the core contributors who has written a backend for the compiler, but you can't really compare a production quality compiler with a full time team of 10 or so to a research compiler worked on by researchers (who have different goals) and volunteers.

Edit: To clarify for this reason I could see why it would be cool to be able to write some critical code in Idris and extract to Rust where you could get performance and tooling for the rest of your application.

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

https://hackage.haskell.org/package/atom

Imagine atom, written in idris, and compiling to rust. Things like that.

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.

Rust as a target for projects like atom instead of C could lead to easier/safer/faster atom development.

Sorry, it took us a while to find a venue and pull together initial sponsorship funding (ultimately provided by Jane Street, Skylight, and Mozilla), which resulted in us only announcing the date of the conference about a month ago. Next year we should be able to announce much further in advance, so maybe you'll be able to schedule your vacation around it. :)

Reply on news.ycombinator.com