米克斯菲克斯

请参见官方用户手册获取此页面上信息的最新版本。

<<这需要完成>>

如果名称为函数包含一个或多个下划线（_），它可以与下划线处的参数。因此，函数_+_可以用作中缀运算符，为_+_n m写入n+m（几乎）对允许哪些符号作为操作员名称没有限制，例如，我们可以定义

_and_：布尔->布尔->布尔true且x=xfalse和_=falseif_then_else_:{A:Set}->Bool->A->A如果为true，则x else y=x如果为false，则x else y=y

可以使用mixfix位置中的参数或使用前缀表示法调用这样的函数，因此

（if_then_else）c x y

等于

如果x，那么x，否则y