TAPL 的 OCaml 实现中的模块、异常、FI 和 UNKNOWN 是什么？ 第一季度第 2 季度Q3第 4 季度

编程问答 2022-06-02

问题描述

我正在阅读书籍类型和编程语言 (https://www.cis.upenn.edu/~bcpierce/tapl/)。

在第 4 章 算术表达式的 ML 实现中，它介绍了 info。我在此处下载了它的 ocaml 源代码 arith.tar.gz：https://www.cis.upenn.edu/~bcpierce/tapl/checkers/。

这里是 support.ml 的开始：

open Format

module Error = struct

exception Exit of int

type info = FI of string * int * int | UNKNowN

我有几个问题：

第一季度

我在 MacOS 上安装了带有最新自制软件的 utop（版本 2.6.0），安装了带有 opam install core base 的库。这是我的.ocamlinit：

#use "topfind";;
#thread;;
#require "core.top";;

open Base;;
open Core;;

它给我提醒：

utop # open Format;;
Line 1,characters 5-11:
Alert deprecated: module Base.Format
[2016-09] this element comes from the stdlib distributed with OCaml.
[Base] doesn't export a [Format] module,although the
[Caml.Format.formatter] type is available (as [Formatter.t])
for interaction with other libraries.

utop # open Base.Format;;
Line 1,characters 5-16:
Alert deprecated: module Base.Format
[2016-09] this element comes from the stdlib distributed with OCaml.
[Base] doesn't export a [Format] module,although the
[Caml.Format.formatter] type is available (as [Formatter.t])
for interaction with other libraries.

图书馆 Format 和 Base.Format 是什么？我现在还需要打开它们吗？

第 2 季度

module Error = struct 卡在 utop 解释器中。这条线是什么意思？为什么它一直卡在 utop 中？

Q3

exception Exit of int 是什么意思？

第 4 季度

FI 中的 UNKNowN 和 type info = FI of string * int * int | UNKNowN 是什么？

解决方法

Q1：您应该使用 Base.Caml.Format（或 Core.Caml.Format）而不是 Base.Format（或只是删除 base/core）。

Q2：我认为代码和缩进是错误的，这就是给你带来麻烦的原因，通常你定义一个这样的模块：

module M = struct
  type t = ...
  let f = ...
end

所以基本上，struct就是表示模块内容的开始。 utop 希望您输入接下来的内容。

Q3：声明一个名为 Exit 的异常，它带有一个 int，使用示例是：

exception Exit of int

let f () = raise (Exit 1)

let () =
  try
    f ()
  with
  | Exit n -> Format.printf "exit %d@." n

Q4：它是由两个“case”组成的 sum 类型，FI 和 UNKNOWN，第一个带有一个字符串和两个 ints 使用示例：

type info =
  | FI of string * int * int
  | UNKNOWN

let print x =
  match x with
  | FI (s,i1,i2) -> Format.printf "FI (%s,%d,%d)" s i1 i2
  | UNKNOWN -> Format.printf "UNKNOWN"

let () =
  print (FI ("hello",1,2));
  print UNKNOWN
ocamlocamlopamtypestypestypesutop