Costrutto condizionale per un tipo di dati kleenean

However, I have troubles seeing what a kleenean if construct would look like.

Sembra esattamente come un normale if . Tuttavia, la semantica è leggermente diversa. Invece di dire "se la condizione è vera, allora questo altrimenti", in realtà va qualcosa come "se la condizione è nota per essere vera, allora questo altrimenti" (o forse "provato" invece di "conosciuto", a seconda di quale modalità preferisci usare la tua logica keniana per rappresentare). Ciò significa che potresti volere un operatore per testare "è sconosciuto / non provato" in modo da poter controllare il terzo stato, sebbene ciò non sia strettamente necessario:

let boolvar = boolean condition
if (boolvar) then
    # The true case...
elseif (not boolvar) then
    # The false case...
else
    # The unproven case...
fi

(Supponendo che not unknown sia unknown , ovviamente.)

Da quello che hai detto, unknown rappresenta rappresenta true o false "allo stesso tempo". Non dovresti prenderlo come un altro valore, ma come qualcosa di speciale o eccezionale.

Se unknown è passato a if diventa non deterministico quale dei due percorsi di codice dovrebbe prendere. Penso che sia meglio assumere che passare unknown in if dovrebbe portare all'errore.

Ma dovresti avere modo di rilevare se il valore è definito correttamente. Qualcosa come

if defined (boolean condition) then
    condition is defined true or false, do something
else
    condition is unknown, do some other thing
end

e ci dovrebbe essere una versione negata di questo, perché non è possibile utilizzare la logica normale per invertire i percorsi del codice per rimuovere uno dei rami per la chiarezza del codice.

Ho implementato questo approccio nel linguaggio che ho sviluppato (quindi ho rimosso questa funzione e passato alla logica booleana, in quanto la logica a tre stati non è veramente utile).

Una logica a tre stati può essere convertita in booleana in modo trasparente con la seguente regola:

The boolean value of the logical is true only when the logical value is true.

I valori logici unknown e false corrispondono a false booleano.

Per poter lavorare con logiche a tre stati, è possibile utilizzare una serie di operatori unari:

• ++ ( è ) - converte un operando logico in valore booleano. Solo in un modo più dettagliato della conversione implicita.
• -- ( non ) - il risultato è true solo quando l'operando è false .
• +- ( noto ) - il risultato è true solo quando l'operando è o true o false .
• -+ ( sconosciuto ) - il risultato è true solo quando l'operando è unknown .

In questo modo i condizionali potrebbero essere implementati per funzionare con le condizioni booleane, come si usa. Una logica può essere utilizzata come condizione booleana in modo trasparente o esplicito. Diverse combinazioni di operatori logici potrebbero essere utilizzate per raggiungere lo stesso obiettivo, qualunque sia la soluzione migliore:

if (condition) {
  // condition is true
} else if (--condition) {
  // condition is false
} else {
  // condition is unknown
}

if (-+condition) {
  // condition is unknown
} else if (condition) {
  // condition is true
} else {
  // condition is false
}