プログラミング言語SML#解説 3.7.1版
26 Standard ML標準ライブラリ

26.23 OS

OSとのインターフェイスを提供.

signature OS =
sig
  structure FileSys : OS_FILE_SYS
  structure IO : OS_IO
  structure Path : OS_PATH
  structure Process : OS_PROCESS
  eqtype syserror
  exception SysErr of string * syserror option
  val errorMsg : syserror -> string
  val errorName : syserror -> string
  val syserror : string -> syserror option
end

ネストしたシグネチャ

シグネチャを実装するストラクチャ

  • OS : OS

    eqtype syserror (= int)
    structure FileSys = struct
      type dirstream (= boxed)
    end
    structure Process = struct
      type status = int
    end
    structure IO = struct
      type iodesc (= int)
      eqtype iodesc_kind (= word)
    end