サイズ: 880
コメント:
|
サイズ: 1381
コメント:
|
削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
行 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の中に出てくる束縛の導入に用いる=と、比較演算子としての=はセマンティクスの上で全く違うし、パーサーも別個に処理しているんだと思う。 - !すごい!たしかにそうですね -- [[やぎた]] <<DateTime(2013-05-03T17:57:21+0900)>> |
|
行 21: | 行 29: |
<!--末尾の[[HogeClassCategory]]を、関係する講義ページの末尾に表示されているカテゴリ名で置き換える。--> [[FLProgClassCategory] [ClassPageCategory]] |
[[FLProgClassCategory]] |
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の中に出てくる束縛の導入に用いる=と、比較演算子としての=はセマンティクスの上で全く違うし、パーサーも別個に処理しているんだと思う。
- !すごい!たしかにそうですね -- やぎた 2013-05-03 17:57:21