Il linguaggio EVE

EVE è il motore di pattern matching dietro il filtro chat di Verité. Viene distribuito con il suo piccolo linguaggio per la scrittura dei file di filtro. Questa pagina è la guida di livello superiore: cos'è EVE, come è strutturato un file di filtro e le direttive che compongono un documento. I due dialetti hanno ciascuno la propria pagina:

• ExpandaEVE è la forma esplicita che scrivi a mano. Usa parole come HEAR, SUFFIX, NEVER e PLURAL.
• CompactaEVE è la forma compilata concisa e la semantica del matcher sottostante. Ogni costrutto ExpandaEVE viene ridotto a un simbolo CompactaEVE prima di essere eseguito.

Cos'è EVE

EVE legge un documento di filtro e produce un insieme di regole compilate. Ogni regola è un pattern che decide se una parola candidata (o, per alcuni tipi di regola, un intero messaggio) è una corrispondenza. Il motore è deliberatamente tollerante verso l'evasione: una regola fuzzy corrisponde attraverso scambi di vocali, spazi inseriti, lettere allungate e trucchi simili, così che una singola radice scritta catturi molte grafie senza che l'autore le elenchi una per una.

Un file di filtro è testo semplice UTF-8. Le righe vuote o che iniziano con # vengono ignorate, quindi # avvia un commento su tutta la riga.

Le due forme e come si relazionano

Scrivi in ExpandaEVE. Quando un documento viene caricato, ogni istruzione viene tradotta in CompactaEVE, e il CompactaEVE viene compilato nel matcher eseguibile. Il flusso è:

ExpandaEVE source  ->  CompactaEVE source  ->  compiled rules
     (authoring)          (terse form)          (the matcher)

La traduzione è puramente una riscrittura. Tutto ciò che puoi esprimere in ExpandaEVE diventa vero CompactaEVE, e ogni decisione di corrispondenza è presa dalla forma compilata. Un documento può anche essere scritto direttamente in CompactaEVE: i verbi delle istruzioni sono le stesse parole in minuscolo (hear, match, let, define, realm e così via), e un'istruzione che non usa alcun costrutto esclusivo di ExpandaEVE passa attraverso il traduttore quasi letteralmente.

Struttura del documento

Un documento è una sequenza di istruzioni, una per riga logica. Le parole chiave di istruzione riconosciute sono DEFINE, LET, REALM, HEAR, FIND, MATCH, ANYWHERE e SEQUENCE, più la riga di intestazione eve:. Qualsiasi riga che non sia vuota, non sia un commento e non inizi con una parola chiave riconosciuta genera un errore anziché essere saltata.

L'intestazione eve:

Una prima riga opzionale dichiara la versione e la lingua:

eve: 1.0 English

Il testo dopo eve: fino al primo spazio è la versione. Il resto è il nome della lingua. Entrambi sono registrati sul programma compilato. Un'intestazione con solo una versione e nessuna lingua è accettata.

DEFINE: dichiarare gli id dei flag

DEFINE registra un nome di flag e l'id a cui si mappa. Ogni flag che una regola imposta con FLAG(...) deve essere dichiarato, altrimenti il documento non riesce a caricarsi.

DEFINE sh AS selfharm
DEFINE ea AS abuse
DEFINE pf AS profanity

Il nome a sinistra è ciò a cui le regole fanno riferimento. L'id a destra è la categoria che il filtro riporta. Vedi Flag per come le regole li usano.

LET: definire una funzione (classe con nome)

LET function(name) BE ... dichiara una classe con nome: un elenco di parole o frammenti intercambiabili che una regola può richiamare per nome. In CompactaEVE la stessa classe si scrive let &name be ....

LET function(genderword) BE female OR girl OR woman OR male OR guy OR guys OR men OR man

I membri sono separati da OR. Una volta dichiarata, una classe viene referenziata altrove con function(name) in ExpandaEVE o &name in CompactaEVE. Un riferimento a una classe si espande in tutti i suoi membri. Le classi possono portare un marcatore predefinito (WHOLE) o (ROOT) sul nome, che viene ereditato dai riferimenti a meno che il riferimento non lo sovrascriva:

LET function(frenchstuff) (WHOLE) BE franger OR frenchie OR jizzbag

Vedi Funzioni e classi per il riferimento completo, incluso come una classe viene usata come radice, come gruppo, come alias e all'interno di uno skeleton.

REALM: raggruppare le regole

REALM imposta il realm a cui appartiene ogni regola seguente, fino al successivo REALM. Un realm è un'etichetta usata per organizzare e delimitare le regole. Non cambia il modo in cui una regola corrisponde.

REALM racial_and_ethnic_slurs

Ogni regola HEAR, FIND, MATCH, ANYWHERE e SEQUENCE che segue porta con sé quel nome di realm finché non dichiari un realm diverso.

Le istruzioni di regola

Cinque istruzioni dichiarano regole. Ciascuna è scritta come il verbo, un nome, la parola chiave AS e un corpo. Il nome e il corpo possono estendersi su più righe: il corpo prosegue fino alla successiva parola chiave di istruzione all'inizio di una riga.

HEAR e FIND sono lo stesso tipo di regola, quindi questa guida usa HEAR ovunque. Il corpo di una regola fuzzy è un pattern ExpandaEVE completo: una radice più uno qualsiasi dei costrutti nella pagina ExpandaEVE.

Un file minimo completo

eve: 1.0 English

DEFINE pf AS profanity

REALM profanity

HEAR rule
AS
  shit(WHOLE)
  suffix(NONE OR s OR ty OR head OR heads)
  NEVER(shitake OR shiitake OR mishit)
  FLAG(pf YES)

Questo dichiara un flag, apre un realm e aggiunge una regola fuzzy. La regola corrisponde all'intera parola shit con una qualsiasi delle terminazioni elencate, rifiuta le parole innocenti elencate e riporta la categoria profanity. Leggi il riferimento ExpandaEVE per ogni costrutto usato qui.