fn 类型的 ml 函数：'a -> 'b

功能：

fn : 'a -> 'b

现在，有没有可以定义并具有这种类型的函数？

标准机器学习中该函数签名有两种可能的实现。一种使用异常，另一种使用递归：

val raises : 'a -> 'b =
  fn a => raise Fail "some error";

(* Infinite looping; satisfies the type signature, *)
(* but won't ever produce anything.                *)
val rec loops : 'a -> 'b =
  fn a => loops a;

第一个解决方案对于定义辅助函数可能有用，例如bug，这可以节省一些按键操作：

fun bug msg = raise Fail ("BUG: " ^ msg);

另一种解决方案对于定义服务器循环或 REPL 可能很有用。

在基础库中，OS.Process.exit就是这样一个返回未知泛型类型的函数'a:

- OS.Process.exit;
val it = fn : OS.Process.status -> 'a

带有类型的小 echo REPLval repl = fn : unit -> 'a:

fun repl () =
  let
    val line = TextIO.inputLine TextIO.stdIn
  in
    case line of
      NONE        => OS.Process.exit OS.Process.failure
    | SOME ":q\n" => OS.Process.exit OS.Process.success
    | SOME line   => (TextIO.print line ; repl ())
  end

您可能还会发现这个很有用关于 Haskell 的类型签名的问题forever功能 https://stackoverflow.com/questions/30170279/haskell-forever-type-signature.