Isto é incrível - o Brandon acabou de fazer acontecer!! Eu realmente gostaria de ver mais abstrações limpas implementadas e os seus correspondentes de verificação formal - isso leva a uma melhor segurança e até mesmo a clareza Se você está curioso sobre isso ou está a trabalhar nisso, por favor entre em contato comigo :)