Eiffel tem implicação
Na verdade, tem ainda mais. Tem vários operadores semi-rigorosos, bem como rigorosos.
A razão pela qual os programadores não usam essas coisas é porque nunca são treinados para saber exatamente o que são, como usá-los e quando usá-los - e também como projetar com eles. Porque eles nunca são treinados, eles nunca pedem pelos escritores do compilador, e é por isso que o pessoal do compilador não se incomoda em colocar tais mecanismos no compilador. Quando os estudantes de Ciência da Computação e os programadores do Shade-tree começarem a ter uma educação mais completa, os compiladores começarão a recuperar o atraso.
Acontece que, uma vez que você tenha uma linguagem com esses operadores booleanos e saiba como projetar com eles e usá-los, use-os.
Em Eiffel, o uso da palavra-chave "implica" é bastante proeminente por causa do Projeto por Contrato, devido à natureza booleana das asserções contratuais. Existem alguns contratos que só podem ser escritos de forma adequada e eficiente com o operador "implica". Isto então implora o comentário de que as línguas sem contratos estão mais longe, sem causa, para olhar, treinar e implementar o uso da implicação.
Acrescente a isso que a maioria dos programadores são "math-and-logic-weak" nos conta o restante da história. Mesmo que você seja de matemática e lógica em sua educação, quando se escolhe uma linguagem que não implemente construtos, como implicação, então tende-se a pensar que tais coisas são desnecessárias ou inúteis. Um raramente questiona a linguagem e entra em uma câmara de eco de: "Bem, os caras do compilador não vêem a necessidade" e "Bem, os programadores não vêem a necessidade" - círculo infinito e vicioso.
Em vez disso, as pessoas que compilarão precisam voltar à teoria, escrever uma notação de linguagem que seja sugerida ou implícita pela teoria (por exemplo, Teoria Orientada a Objetos), independentemente do que as massas não lavadas de programadores pensam ou solicitam. A partir daí, professores, professores e outros profissionais precisam habilmente treinar mentes jovens com base na teoria bruta e NÃO na "teoria através da lente da linguagem". Quando isso acontece, as pessoas acordam de repente e percebem o que estão perdendo e o que foi impingido a elas.
Neste momento - existe tanta teoria por aí que se disfarça como Orientada a Objetos, mas é apenas O-O-através de um vidro-escuro-de- [escolha sua língua]. Não se pode ler a maioria dos livros de "teoria" sobre O-O porque eles querem interpretar o que a teoria é através das lentes de alguma linguagem. Totalmente falso e incorreto. Seria como ensinar matemática com base na minha calculadora ou minha régua de cálculo. Ninguém permite que a realidade ensine sobre si mesma e então usa uma notação para descrever o que se observa - isso é chamado de "ciência". Este outro mash chamado O-O-based-on-language-X é tão distorcido que mal representa a realidade.
Então, afaste-se da linguagem, dê uma olhada na teoria bruta e comece novamente. Não permita que limitações, restrições e trabalhos de pintura de uma linguagem lhe digam qual é a teoria. Simplesmente deixe que a realidade da teoria dite sua própria notação e então passe de lá para a formulação de uma linguagem.
A partir daí, você começará a entender como implicação e "implicação" não são apenas úteis, mas também elegantes e muito legais!
Tenha um ótimo!