SML-Option Monad (Bind-Operator funktioniert nicht)

Question

Ich möchte Option Monad in SML implementieren, damit ich sie genauso verwenden kann, wie sie in Haskell verwendet werden können. Was ich getan habe, funktioniert nicht.

infix 1 >>= 
signature MONAD = 
sig 
    type 'a m 
    val return : 'a -> 'a m 
    val >>= : 'a m * ('a -> 'b m) -> 'b m 
end; 

structure OptionM : MONAD = 
struct 
    type 'a m = 'a option 
    val return = SOME 
    fun x >>= k = Option.mapPartial k x 
end; 

val x = OptionM.return 3; 
x (OptionM.>>=) (fn y => NONE); 

Ergebnis:

stdIn:141.1-141.31 Error: operator is not a function [tycon mismatch] 
operator: int OptionM.m 
in expression: 
x OptionM.>>= 

Was kann ich tun, um die letzte Zeile der Arbeit zu machen?

Answer 1

Im Gegensatz zu Haskell sind qualifizierte Infix-Operatoren (wie A.+ oder Option.>>=) in SML nicht infix. Sie müssen sie uneingeschränkt verwenden, z. indem Sie das Modul entweder öffnen oder lokal neu binden.

Btw, wahrscheinlich möchten Sie >>= als rechtsassoziativ definieren, d. H. infixr verwenden.

Außerdem hat SML strengere Vorrangregeln als Haskell. Das macht es etwas langweilig Kette mehrere Verwendungen von >>= mit Lambda-Ausdrücke, weil Sie jedes fn auf dem rechten Flügel parenthesise haben:

foo >>= (fn x => bar >>= (fn y => baz >>= (fn z => boo)))