Hacker News new | past | comments | ask | show | jobs | submit login

Not to besmirch Pony (I think it's a very interesting language), but isn't some of this a base sampling error? There are probably a few orders of magnitude more engineers writing Rust (and therefore running `rustc`), so we'd expect crashes in Rust to surface more frequently.



Not in memory safe languages, sorry.


I'm not sure I understand. Rust is memory safe, and the memory unsafety happening here isn't in Rust itself: an IR generation bug in Rust is causing memory unsafety in LLVM, which is written in C++.

(Besides: If GitHub's stats are correct, `ponyc` seems to be >60% C and C++?)


Compilers for memory-safe languages can't have bugs in them?


Compilers for memory safe languages written in the same memory safe languages should be expected to have to same guarantees as any other program written in that language


I think that’s the fifth Futamura projection — compiling a compiler with itself cancels out bugs.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: