Scala 在 Haskell 中的部分函数

Question

Scala 对偏函数有很好的支持，主要是因为在 Scala 中，当您定义偏函数时，它还定义了 isDefinedAt为它发挥作用。 Scala 也有 orElse和 andThen与偏函数一起工作的函数。

Haskell 确实通过简单地非详尽地定义一个函数来支持部分函数(尽管在 Haskell 社区中强烈反对它们)。但是要定义isDefinedAt一般来说，你必须使用某种异常处理，我无法弄清楚。一次isDefinedAt函数被定义然后它可以用来定义orElse和 andThen函数已经作为 (.) 存在.

总之，我想定义一个函数，

isDefinedAt :: (a -> b) -> a -> Bool
isDefinedAt f x = -- returns True if f is defined at x else False

谁能告诉我如何编写这样的函数。

注意，我可以定义一个带有签名的函数

isDefinedAt :: (a -> b) -> a -> IO Bool

通用 b .但我想要一个没有 IO 在共同域中的功能。

一篇关于 Scala 的偏函数的好文章是 - How to create and use partial functions in Scala By Alvin Alexander

Answer 1

我建议像在 Scala 中一样，为偏函数使用单独的类型。

import Control.Arrow
import Data.Maybe

type Partial = Kleisli Maybe

isDefinedAt :: Partial a b -> a -> Bool
isDefinedAt f x = isJust $ runKleisli f x
-- laziness should save some of the work, if possible

orElse :: Partial a b -> Partial a b -> Partial a b
orElse = (<+>)

andThen :: Partial a b -> Partial b c -> Partial a c
andThen = (>>>)