There’s a small learning curve I wish some bothered to understand first. Does this app help? The part of this I don’t like is vacationers leaving useless names like ‘Mango lady’, ‘many street vendors’ for a block, or ‘local restaurant’ since they can’t read the sign as opposed marking up the cuisine type, maybe adding an English description, & leaving the name blank. Nobody expects uploads to be perfect but Bangkok is littered with this noise that makes it hard to follow or find things.
If you believe in ADTs, limiting mutation, & a type system that goes beyond Rust’s affine types + lack of refinements (including a interleaved proof system), you could be writing kernel code in ATS which compiles to C.