Eiffel ha implicazione
In realtà ne ha ancora di più. Ha un numero di operatori semi-severi e severi.
Il motivo per cui i programmatori non usano queste cose è perché non sono mai addestrati a sapere esattamente cosa sono, come usarli e quando usarli - e come progettarli con loro. Poiché non sono mai addestrati, non lo chiedono mai agli scrittori del compilatore, motivo per cui i compilatori non si preoccupano di inserire tali meccanismi nel compilatore. Quando gli studenti di Informatica e i programmatori di Shade-tree iniziano a ricevere un'istruzione più completa, i compilatori inizieranno a recuperare.
Si scopre che una volta che hai una lingua con tali operatori booleani e sai come progettare con loro e usarli, li usi.
In Eiffel l'uso della parola chiave "implica" è piuttosto evidente a causa della progettazione per contratto a causa della natura booleana delle asserzioni del contratto. Ci sono alcuni contratti che possono essere scritti solo correttamente ed efficientemente con l'operatore "implica". Questo quindi chiede il commento che le lingue senza contratti sono ulteriormente senza motivo di guardare, addestrare e implementare l'uso delle implicazioni.
Aggiungete a ciò che molti programmatori sono "matematici e deboli di logica" ci dice il resto della storia. Anche se nella tua educazione sei pesante in matematica e logica, quando si sceglie un linguaggio che non implementa costrutti come l'implicazione, allora si tende a pensare che tali cose siano inutili o non utili. Raramente si interroga il linguaggio e si entra in un'eco-camera di: "Beh, i compilatori non vedono il bisogno" e "Beh, i programmatori non vedono il bisogno" - circolo infinito e vizioso.
Invece, le persone del compilatore devono eseguire il backup della teoria, scrivere una notazione linguistica suggerita o implicita dalla teoria (ad esempio la Teoria orientata agli oggetti) indipendentemente da ciò che le masse non lavate dei programmatori pensano o chiedono. Da lì, professori, insegnanti e altri professionisti hanno bisogno di addestrare sapientemente giovani menti di mente basate sulla teoria grezza e NON "teoria attraverso la lente del linguaggio". Quando ciò accade, le persone improvvisamente si svegliano e si rendono conto di ciò che sono scomparsi e di ciò che è stato loro imposto.
In questo momento - c'è tanta teoria là fuori che si maschera come Object Oriented, ma è semplicemente O-O-through-a-glass-darkly-of- [pick-your-language]. Non si possono leggere molti libri di "teoria" su O-O perché vogliono interpretare ciò che la teoria è attraverso l'obiettivo di un linguaggio. Totalmente falso e scorretto. Sarebbe come insegnare la matematica sulla mia calcolatrice o la mia regola di slide. Nessuno consente alla realtà di insegnare a se stessa e quindi usa una notazione per descrivere ciò che si osserva - si chiama "scienza". Questo altro mash chiamato O-O-based-on-language-X è così distorto da rappresentare a malapena la realtà.
Quindi, allontanati dal linguaggio, dai un'occhiata alla teoria grezza e ricomincia. Non lasciare che limiti, vincoli e lavori di verniciatura di una lingua ti dica quale sia la teoria. Semplicemente lascia che la realtà della teoria imponga la propria notazione e poi si trasferisca da lì nella formulazione di un linguaggio.
Da lì inizierai a capire come le implicazioni e le "implicazioni" non solo siano utili, ma eleganti e molto interessanti!
Ne hai uno fantastico!