For more brain flipping try looking into hardware description languages (Verilog) or proof assistants (Coq).
For more brain flipping try looking into hardware description languages (Verilog) or proof assistants (Coq).
Then there’s Haskell that would remove (well, used to at some point) your source code file if you made any errors: https://gitlab.haskell.org/ghc/ghc/-/issues/163
You don’t need a car in Singapore. Very good public transport and affordable taxis.