I realize the project is no longer being developed by the original group, but is there a recent fork by others or version of cyclone for 64-bit computers?
I've given up on Rust for me personally, but I think it is a great PL and effort. I am still playing with Zig, but I would love to just leverage my C background, and see if Cyclone eases me away from always coding in C.
If you had issues with Rust, with Cyclone it would be even more complex, given the way its type system works, in fact Rust is must more ergonomic from what I can gather from the surviving Cyclone papers.
I am also learning SPARK 2014, a subset of Ada, that is complex, but for me not too complicated. I find Rust complex and complicated, maybe others don't. I will probably stick with SPARK 2014 for my high integrity experiments with hardware and controls. I use C to do a lot of other prototyping and quick apps. My thought is that I will wait for Rust to mature more, but I think it is always going to be complicated and suit the applications it was created for, and I may never have a need for it, or to learn it sufficiently to be able to switch to it.
I've given up on Rust for me personally, but I think it is a great PL and effort. I am still playing with Zig, but I would love to just leverage my C background, and see if Cyclone eases me away from always coding in C.