Cosa significa ⫾
Separa alternative tra cui un programma può scegliere. Nella notazione di Dijkstra ogni comando con guardia unisce una condizione (la guardia) a un’azione. Può essere eseguito solo un comando con guardia vera e, se ce ne sono più d’uno, uno qualsiasi. Per esempio, if x y m : x ⫾ y x m : y fi mette in m il numero maggiore; se x e y sono uguali, ogni ramo dà il risultato giusto.
Dijkstra introdusse questa notazione negli anni Settanta ed è ancora insegnata nei corsi sulla correttezza dei programmi. Nelle note del 1973 racconta che una barra spessa sostituì le virgole tra i comandi, ispirata alla barra con cui Peter Naur separava le alternative nelle regole grammaticali. Nei testi stampati compare spesso come un quadratino; in testo semplice si scrive []. Unicode le ha dato la barra vuota ⫾ e una forma grande, , per intere liste.
Fa parte delle raccolte
Non confonderlo con
3
Caratteri correlati
1
Da sapere
- Dijkstra chiudeva i blocchi di scelta con parole scritte al contrario: if … fi e do … od.
Domande frequenti
2Posso usare ⫾ al posto di ?
No. Si somigliano ma sono caratteri diversi: programmi, motori di ricerca e correttori trattano ⫾ come un altro simbolo, e molti font non lo hanno.
⫾ è lo stesso di [] nei comandi con guardia?
Sì, nel significato. [] e un quadratino sono i modi abituali di scrivere la scelta di Dijkstra quando ⫾ non è disponibile.
Altro di simile
9
Come digitare o trovare ⫾
- Chiamato anche
- scelta di Dijkstra · barra spessa · barra verticale vuota
- Cercalo come
- barra vuota · comando con guardia · operatore di scelta · talloblong · U+2AFE
- Compare in
- Qualsiasi campo di testo · la forma dipende dal carattere
⫾\2AFECodici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.