Ho letto un libro che utilizza infix, infixr e infixl nei programmi di esempio. Mi sto chiedendo quali sono le differenze. Immagino che infixr compia operazioni da destra a sinistra e viceversa.differenza tra infix, infixr, infixl
Sì, il r/l indica l'associatività. Senza test, suppongo che lo infix abbia un'associatività di sinistra normale.
infix definisce l'operatore da associare a sinistra, infixr definisce associare a destra. infixl non esiste.
Dipende dall'implementazione. Lo standard SML '97 è leggermente diverso da SML/NJ e Mlton. Si ottiene un comportamento leggermente diverso con ciascuno in termini di regole di associatività e il modo in cui le espressioni sono tra parentesi in base alla priorità (lo standard è un po 'più rigido rispetto alle implementazioni).