kuis-isle3sw / ioplmaterials Goto Github PK

このプロジェクトへの GitHub Sponsors, PayPal や 暗号通貨での寄付は受け付けていますか(or 受付予定はありますか)
Does/Will this project accept donation via GitHub Sponsors, Paypal or crypto currency?

https://github.com/kuis-isle3sw/IoPLMaterials#%E3%81%94%E5%AF%84%E4%BB%98%E3%81%AE%E3%81%8A%E9%A1%98%E3%81%84

「プログラミング言語処理系」教科書16ページ注釈3の

プログラムはこのリポジトリのminiMLInterp ディレクトリに格納されている．

は，正しくは

プログラムはこのリポジトリのsrc ディレクトリに格納されている．

ではないでしょうか．

*** censored ***

The directory src was renamed for interpreter in commit d275115.
However, directory name in .gitignore is still src.
So, these src should be changed to interpreter.

https://github.com/ksuenaga/IoPLMaterials/blob/master/textbook/camlNyumon.ml#L9
の円周率は、
3.141592653589793238642643383279 じゃなくて
3.141592653589793238462643383279 ではないでしょうか

Under which license is this repo published?

From the GitHub page on Licensing a repository:

Without a license, the default copyright laws apply, meaning that you retain all rights to your source code and no one may reproduce, distribute, or create derivative works from your work.

The fib function in p.39 uses a binary operator -, but it is not defined in the parser.
Every year, some students try this example in their interpreter and get confused with a strange error.
Please rewrite n - 1 to n + -1.

中間試験の勉強のために予習クイズの解答をいただきたいのですが、可能でしょうか？

Obsolete.

IoPLTextbook.pdfの5ページにあるExercise 1.0.1には

OCamlインタプリタに以下の入力を与えたところ，

# let rec f x = if x = 0 then x else false;;

という応答が返ってきた．この応答の意味するところを，下線部のが何を指すかを明らかにしつつ，説明せよ．

と書かれていますが、応答およびその下線部が抜けているように思います。おそらくpdfにする際に抜け落ちてしまったのではないでしょうか。

教科書P58 3行目の文字が右にはみ出てしまっています．

https://github.com/ocamllabs/vscode-ocaml-platform

As far as MySet usage follows the instruction text, this does not cause problem since elements of the set is tyvar and physical equality and structural equality are luckily consistent for integers.

However, It should be implemented List.mem to avoid trouble, and of course, from the viewpoint of correct implementation.

• Ex4.2.1のテストは、 string_of_ty の実装に依存しているが、変更例として示されている部分に string_of_ty の変更があげられていない。

syntax.ml への変更

(* MiniML の型を表す OCaml の値の型 *)
type ty =
TyInt
| TyBool

(* ty 型の値のための pretty printer *)
let pp_ty typ =
match typ with
TyInt -> print_srtring "int"
| TyBool -> print_string "bool"

• Ex4.3.1の課題は、 pp_ty を実装することになっているが、ソースコード上は string_of_ty を実装することになっている

pp_ty と freevar_ty を完成させよ．freevar_ty は，与えられた型中の型変数の集合を返す関数で，型は ty -> tyvar MySet.t とする．型 'a MySet.t は mySet.mli で定義されている型 'a の値を要素とする集合を表す値の型である．

let string_of_ty _ =
assert false (* Exercise 4.3.1 *)

したがって、教科書を順番に読んで、4.2.1を実装しただけではテストが通らない。
4.2.1の時点でML2のための string_of_tyと pp_ty を実装させ、4.3.1でそれらをML3向けに拡張しろ、とした方が良いと考えています。

This might not be the best place to file issues regarding the github education environment but the Travis CI build seems to be failing recently due to bash not being able to find dune in the docker environment.

Here is a link to the build, but you might need permissions to view it. (This is mainly directed to @ksuenaga since he is probably the only other person who can see the build).
https://travis-ci.com/github/kuis-isle3sw/isle3sw-2020-interpreter-sp4ghet/builds/172534948

IoPLTextbook.pdfの5ページにあるExercise 1.0.2 (3)にあるmapTreeの型ですが、bt -> int -> int -> btよりもbt -> (int -> int) -> btの方が正確ではないでしょうか。また、List.map : ('a -> 'b) -> 'a list -> 'b listのように(int -> int) -> bt -> bt型にしていないのには何か理由がございますか……？

IoPLTextbook.pdfのページ8にて「例えば，〜は文法的に正しいC言語のプログラムであるが，」という部分がありますが、波線部分に挿入されていたであろうプログラムが抜け落ちているのではないかと思います。

For example, Fig 4.1 in textbook/chap04-1.pdf shows the changes in main.ml but the actual needed changes is in cui.ml and main.ml.

https://github.com/ocaml/ocaml-lsp

It might be more useful if we can clarify the procedures expected by this README description, especially for the sake of those who are not too familiar with OCaml toolings:

落ちてきたソースコード中の textbook/interpreter/ ディレクトリの中にインタプリタのソースコードが入っているので，duneコマンドでビルドしましょう．

What the exact command is expected by this description?
I gave several commands a try, but didn't succeed in the build.

from IoPLMaterials/

~/IoPLMaterials master*
❯ dune build
Error: I cannot find the root of the current workspace/project.
If you would like to create a new dune project, you can type:

    dune init project NAME

Otherwise, please make sure to run dune inside an existing project or
workspace. For more information about how dune identifies the root of the
current workspace/project, please refer to
https://dune.readthedocs.io/en/stable/usage.html#finding-the-root

~/IoPLMaterials master*
❯ dune init project textbook/interpreter/
# generates some files that seem to be unexpected?

(manual clean up)

~/IoPLMaterials master*
❯ cd textbook/interpreter 

~/IoPLMaterials/textbook/interpreter master*
❯ dune build       
Entering directory '/Users/aviatesk/IoPLMaterials/textbook'
File "interpreter/miniml.opam", line 1, characters 0-0:
Error: This opam file doesn't have a corresponding (package ...) stanza in
the dune-project_file. Since you have at least one other (package ...) stanza
in your dune-project file, you must a (package ...) stanza for each opam
package in your project.