Gabriel Pettier on Nostr: nprofile1q…4cuvj nprofile1q…cf48x would you want a compiler or interpreter that, ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqe7vndtpf0s9pcg6yxkmvwvfq2g56rg5694nlgthwg7j2hkjgeuwqx4cuvj (nprofile…cuvj) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqsys4gja5v6r2pmsyan8ntwye9txrhzfe6yq4rnjt8jf6vguujuasgcf48x (nprofile…f48x) would you want a compiler or interpreter that, when encountering an invalid or ambiguous predicate, generate unambiguous or alternative variants and check if any of them is consistent with the rest of the program, and if some are found, the one with the least hypothesis required be considered the intent, and used to build?