If you’re going to post a code example, at least check that it works. Here’s your example, with no type hints, giving me errors both from the LSP, and when trying to run via mypy: https://imgur.com/a/Hq5Y5Gt.

You can use mypy and/or Pydantic.

Huh, that’s neat. From their docs it does seem like aside from some scaffolding, I shouldn’t need to write much Rust.

How much Rust do I need to know to use Tauri?

It do be the holiday season.

I’ve found it’s a bit overrated honestly. Usually, I also need the commands before and after something, so I use history | grep -B N cmd instead