SML/NJ：提取了许多的数字为一个int列表

Question

输入：只包含1与它

输出整行的文本文件：用数字的位数

这里INT名单是我的代码：

fun parse file = 
    let 
    val input = TextIO.openIn file 

    fun read_digits (NONE,acc) = rev acc 
     | read_digits (SOME e,acc) = 
     let 
      val c = Option.valOf (e) 
      val str = Char.toString c 
      val digit = Option.valOf (Int.fromString str) 
     in 
      read_digits (TextIO.input1 input,digit::acc) 
     end 
    in 
    read_digits (TextIO.input1 input,nil: int list) 
    end 

这里是我得到的错误信息：

test.sml:14.11-14.55 Error: operator and operand don't agree [tycon mismatch] 
    operator domain: char option option * int list 
    operand:   TextIO.elem option * int list 
    in expression: 
    read_digits (TextIO.input1 input,digit :: acc) 
test.sml:17.5-17.52 Error: operator and operand don't agree [tycon mismatch] 
    operator domain: char option option * int list 
    operand:   TextIO.elem option * int list 
    in expression: 
    read_digits (TextIO.input1 input,nil: int list) 

uncaught exception Error 
    raised at: ../compiler/TopLevel/interact/evalloop.sml:66.19-66.27 
      ../compiler/TopLevel/interact/evalloop.sml:44.55 
      ../compiler/TopLevel/interact/evalloop.sml:292.17-292.20 

任何建议关于如何处理这个问题？

否则，没有人有更好的想法从一个文本文件中提取一个数字的数字，到一个int列表？

Answer 1

先到这里的问题是，在e是SOME e已经是char，你不必“解压”它valOf。

的第二个问题是，即使你删除valOf（和你的程序将进行类型检查），从文件中读取数字的企图将导致运行时错误是这样的：

$ cat digits.txt 
12345 
$ smlnj read_digits_from_file.sml 
... 
- parse "digits.txt"; 

uncaught exception Option 
    raised at: Basis/Implementation/option.sml:17.25-17.31 

那是由于行字符的结尾。为了解决这个问题，你可以做这样的事情：

fun parse file = 
    let 
    val input = TextIO.openIn file 

    fun read_digits (NONE, acc) = acc (* end of stream *) 
     | read_digits (SOME ch, acc) = 
     let 
      val str = Char.toString ch 
     in 
      case (Int.fromString str) of 
       SOME digit => read_digits (TextIO.input1 input, digit::acc) 
      | NONE => acc (* return on first non-digit *) 
     end 
    in 
    rev (read_digits (TextIO.input1 input, [])) (* rev moved here *) 

一个简单的测试：

- parse "digits.txt"; 
val it = [1,2,3,4,5] : int list