|
サイズ: 860
コメント:
|
サイズ: 1277
コメント:
|
| 削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
| 行 2: | 行 2: |
| ##acl +All:read | #acl +All:read |
| 行 6: | 行 6: |
| # OCaml第四回 | # OCaml第四回メモ |
| 行 20: | 行 20: |
- MLでは`==`ではなく`=`を使うだけでいいような。Schemeでの`eq?`が`==`に、`equal?`が`=`に相当するはず。-- [[grafi]] <<DateTime(2013-05-03T15:37:06+0900)>> - <http://www.i.kyushu-u.ac.jp/~bannai/ocaml-intro/traps.html> - <http://caml.inria.fr/pub/docs/manual-ocaml-4.00/libref/Pervasives.html> - letの中に出てくる束縛の導入に用いる=と、比較演算子としての=はセマンティクスの上で全く違うし、パーサーも別個に処理しているんだと思う。 |
|
| 行 21: | 行 28: |
| <!--末尾の[[HogeClassCategory]]を、関係する講義ページの末尾に表示されているカテゴリ名で置き換える。--> |
OCaml第四回メモ
環境から何かを探してくるときのことです。
# let x = "test" ;; val x : string = "test" # let y = "test" ;; val y : string = "test" # x == y ;; - : bool = false
僕はこれでハマりました（適当にstring==stringをやっても型エラーでなかったので、==でちゃんと文字列比較してくれるものだと思っていた） ちゃんとString.compareを使いましょう ちなみにmatch文でもうまく出来ませんでした（やり方があるのかもしれません）
-
MLでは
==ではなく=を使うだけでいいような。Schemeでのeq?が==に、equal?が=に相当するはず。-- grafi 2013-05-03 15:37:06- http://www.i.kyushu-u.ac.jp/~bannai/ocaml-intro/traps.html
- http://caml.inria.fr/pub/docs/manual-ocaml-4.00/libref/Pervasives.html
- letの中に出てくる束縛の導入に用いる=と、比較演算子としての=はセマンティクスの上で全く違うし、パーサーも別個に処理しているんだと思う。