It looks very similar to rust, with some minor details like typed enums.

It would be nice to find a direct comparison between rust and cairo, and why writing contracts in cairo cannot be done with just a rust create.

You can actually write zkps in pure Rust, but there's not currently any blockchain integration: https://github.com/risc0/risc0