在 ML(SMLNJ) 中打开文件

Question

我需要读取 ML (SLMNJ) 中的文件并将其保存在某些结构中。我需要读取一些指向图形声明的数据：（

[( 1 , 2 , 13 ),( 2 , 3 , 3 ),( 2 , 4 , 8 ),( 2 , 5 , 4 ),( 3 , 1 , 5 ),( 3 , 4 , 1 ),( 4 , 6 , 5 ),( 5 , 5 , 5 ),( 6 , 4 , 6 )]

第一个数字：节点名称，第二个数字：连接节点的名称，该鬃毛的第三个数字权重（每个（）显示一个鬃毛））

例如，这是测试输入如何读取文件以及保存它的结构

Answer 1

要从文件中读取，请遵循以下每行字符串列表：

val infile = "c:/input.txt" ;

fun readlist (infile : string) = let 

  val ins = TextIO.openIn infile 

  fun loop ins = 

   case TextIO.inputLine ins of 

      SOME line => line :: loop ins 

    | NONE      => [] 

in 

  loop ins before TextIO.closeIn ins 

end ;

val pureGraph =  readlist(infile);

使用此函数，您可以将其解析为元组 (x,y,z ) ：

fun creatGraph([],reList) = reList

|creatGraph(x::y::z::input,reList) =  creatGraph(input,reList@[(x,y,z)]);

Answer 2

这个问题非常适合解析组合器，你可以从我的朋友格雷格那里窃取哈佛大学的莫里塞特。

如果您想了解基本思想，请阅读 Graham Hutton 的论文 Higher - 用于解析的函数的顺序。如果您想了解如何在标准 ML 中实现 I/O，请参阅 标准基础库中的 TextIO 模块。如果您希望有人为您编写代码，您可能访问了错误的网站。