如何在Haskell中定义代表单位类型的类型？

Question

假设我有一个功能fail'

fail' :: ()
fail' = error "Ka-boom!"

我想定义一个函数failOrNum ，它是一个惰性函数。

failOrNum :: () a => (a -> a) -> Num -> Num
failOrNum f n = n + 1

例：

failOrNum fail' 5

我应该指定哪种类型的failOrNum函数来满足条件？

我想实现类似于Scala方法的东西：

object LazyComputation extends App {
  def failOrInt(execution: => Unit, n: Int): Int = n + 1

  println {
    failOrInt({throw new RuntimeException("Ka-boom!")}, 5)
  }
}

Answer 1

我不清楚您想做什么。 但是，解决语法和类型错误的一种方法是：

fail' :: () -> ()
fail' _ = error "kaboom"
-- OR, to cause errors before this is even applied to an argument,
-- fail' = error "kaboom"
-- these two are distinguishable *only* by the seq function

failOrNum :: Num a => (() -> ()) -> a -> a
failOrNum _ n = n+1

但是，我发现这是一件很奇怪的事情： () -> ()确实只有几个语义上不同的居民，而从Haskell的纯粹方面来说，它们中的大多数并没有真正有用的区分。 居民更容易区分的类型可能更适合您。