Standard ML(SML)文件读取代码类型构造不匹配错误排查与修复

问题背景 #

我正在编写一个Standard ML(SML)程序，用于读取用户指定文件并打印文件首行，编写的代码如下：

fun readAndPrintLine instream =
    case TextIO.inputLine instream of
        NONE => (TextIO.closeIn instream; print "End of file.\n")
      | SOME text => (TextIO.closeIn instream; print ("Read line: " ^ text ^ "\n"))

 (* -->I believe the tycon mismatch is in the openAndHandleFile function here: *)

fun openAndHandleFile fileName =  (*I believe the problem lies in this block of code*)
    case TextIO.openIn fileName of
        NONE => print ("Error: Failed to open the file " ^ fileName ^ ".\n")
      | SOME instream => readAndPrintLine instream

fun read_file () = let
    val _ = print "Please enter a filename to be parsed: \n"
    val fileNameOpt = TextIO.inputLine TextIO.stdIn
in
    case fileNameOpt of
        NONE => print "No filename provided.\n"
      | SOME fileName => openAndHandleFile fileName
end

(* Call the read_file function to start the program *)
val _ = read_file ();

运行代码时出现如下错误：

testing4.sml:7.5-9.51 Error: case object and rules do not agree [tycon mismatch]
  rule domain: TextIO.instream option
  object: TextIO.instream
  in expression:
    (case (TextIO.openIn fileName)
    of NONE => print ("Error: Failed to open the file " ^ fileName ^ ".\n")
     | SOME instream => readAndPrintLine instream)
val it = () : unit

我是SML新手，了解其对数据类型要求严格，但不确定问题所在，推测问题出在openAndHandleFile函数中。请问我的代码存在什么问题？该如何修复这个类型构造不匹配错误？

问题原因 #

错误核心是对TextIO.openIn的返回逻辑理解错误：

• 你写的case分支是用来处理option类型（NONE/SOME）的，但TextIO.openIn并不会返回option——如果文件打开失败，它会直接抛出异常，而非返回NONE。这就导致case语句的处理对象是TextIO.instream类型，却用了对应option类型的分支，直接触发类型不匹配。

修复方案 #

要处理文件打开失败的情况，需要用SML的异常处理机制（handle关键字）捕获TextIO.openIn可能抛出的Io异常。

修复后的完整代码：

fun readAndPrintLine instream =
    case TextIO.inputLine instream of
        NONE => (TextIO.closeIn instream; print "End of file.\n")
      | SOME text => (TextIO.closeIn instream; print ("Read line: " ^ text ^ "\n"))

fun openAndHandleFile fileName =
    let
        val instream = TextIO.openIn fileName
    in
        readAndPrintLine instream
    end handle Io {name, function, cause} =>
        print ("Error: Failed to open the file " ^ name ^ ".\n")

fun read_file () = let
    val _ = print "Please enter a filename to be parsed: \n"
    val fileNameOpt = TextIO.inputLine TextIO.stdIn
in
    case fileNameOpt of
        NONE => print "No filename provided.\n"
      | SOME fileName => openAndHandleFile (String.substring(fileName, 0, String.size fileName - 1))
end

val _ = read_file ();

额外说明 #

• 修复后的read_file函数里，对输入的文件名做了String.substring处理——因为TextIO.inputLine会把用户输入的换行符一并读入，直接传给openIn会导致找不到文件，所以需要去掉末尾的换行符。
• Io异常包含文件名、操作、错误原因等详细信息，可根据需求调整错误提示内容。

内容的提问来源于stack exchange，提问作者Subtle_Overtones