Eiffel tiene implicaciones
En realidad tiene aún más. Tiene una serie de operadores semi-estrictos, así como estrictos.
La razón por la que los programadores no usan tales cosas es porque nunca están capacitados para saber exactamente qué son, cómo usarlos y cuándo usarlos, así como cómo diseñar con ellos. Debido a que nunca están capacitados, nunca lo solicitan a los escritores del compilador, por lo que la gente del compilador no se molesta en poner tales mecanismos en el compilador. Cuando los estudiantes de informática y los programadores de Shade-tree comienzan a obtener una educación más completa, los compiladores comenzarán a ponerse al día.
Resulta que una vez que tienes un lenguaje con tales operadores booleanos y sabes cómo diseñar con ellos y usarlos, entonces los usas.
En Eiffel, el uso de la palabra clave "implica" es bastante prominente debido al diseño por contrato debido a la naturaleza booleana de las afirmaciones contractuales. Hay algunos contratos que solo se pueden escribir de manera adecuada y eficiente con el operador "implica". Luego, esto plantea el comentario de que los idiomas sin contrato son más alentadores sin motivo para mirar, entrenar e implementar el uso de la implicación.
Agregue a esto que la mayoría de los programadores son "débiles en matemática y lógica", nos dice el resto de la historia. Incluso si usted es matemático y lógico en su educación, cuando uno elige un lenguaje que no implementa construcciones como la implicación, entonces uno tiende a pensar que tales cosas son innecesarias o no útiles. Uno rara vez cuestiona el lenguaje y se mete en una cámara de eco de: "Bueno, los compiladores no ven la necesidad" y "Bueno, los programadores no ven la necesidad": círculo infinito y vicioso.
En cambio, las personas compiladoras necesitan respaldar la teoría, escribir una notación de lenguaje sugerida o implícita por la teoría (por ejemplo, la Teoría Orientada a Objetos) independientemente de lo que piensen o pidan las masas de programadores. A partir de ahí, los profesores, los maestros y otros profesionales deben capacitar de manera experta a los jóvenes en mente basados en la teoría cruda y NO en la "teoría a través del lente del lenguaje". Cuando esto sucede, las personas se despiertan de repente y se dan cuenta de lo que se han perdido y de lo que se les ha impuesto.
En este momento, hay tanta teoría por ahí que se disfraza de Orientada a Objetos, pero es solo OO-a través de un vidrio-oscuro-de- [elige tu idioma]. No se pueden leer la mayoría de los libros de "teoría" sobre OO porque quieren interpretar cuál es la teoría a través de la lente de algún lenguaje. Totalmente falso e incorrecto. Sería como enseñar matemáticas basadas en mi calculadora o mi regla de cálculo. NO, uno permite que la realidad le enseñe a uno mismo y luego usa una notación para describir lo que uno observa, eso se llama "ciencia". Esta otra mezcla llamada OO-based-on-language-X está tan sesgada que apenas representa la realidad.
Entonces, aléjese del lenguaje, eche un vistazo a la teoría en bruto y comience nuevamente. No permita que las limitaciones, restricciones y trabajos de pintura de un idioma le digan cuál es la teoría. Simplemente deje que la realidad de la teoría dicte su propia notación y luego pase de allí a formular un lenguaje.
A partir de ahí, comenzará a comprender cómo la implicación e "implica" no solo es útil, ¡sino elegante y muy genial!
¡Que tenga uno genial!