有人声称无法理解的符号具有实际含义。 请参阅以获取说明。 包括什么? 导入符文引入了一些新的运算符和一个与通用Haskell类型类相对应的全局函数: 函子 <^> (发音为“地图”) 应用函子 <*> (发音为“ apply”) <* (发音为“左序列”) *> (发音为“正确的顺序”) pure (发音为“纯净”) 选择 <|> (发音为“备用”) empty (发音为“空”) 单子 >>- (发音为“ flatMap”)(左侧关联) -<< (发音为“ flatMap”)(右关联) >-> (发音为“ Monadic compose”)(左联想) <-< (发音为“ Monadic compose”)(右联想) 实作 我们还包括具有以下类型签名的Optional和Array的默认实现: // Optional+Functor: public func <^> < T