ocaml

プログラミング言語の基礎概念

プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト)作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (11件) を見る『プログラミング言語の基礎概念』をamazonにて注…

『プログラミングの基礎』その7

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は4.4型推論と型チェックです。Ocaml インタプリタは裏で型推論と型チェックをしているらしいです。 型推論 型を一切、入力しなくても型を推論してくれる 型…

『プログラミングの基礎』その6

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は関数の型です。 問題4.5 (P.22) 前節の問題で作成した関数の型はそれぞれ何か。 関数の型はOcamlインタプリタで実行すれば、次の行に表示されます。4.1の…

『入門OCaml』を注文

入門OCaml ~プログラミング基礎と実践理解~作者: OCaml-Nagoya出版社/メーカー: 毎日コミュニケーションズ発売日: 2007/05/22メディア: 単行本(ソフトカバー) クリック: 59回この商品を含むブログ (31件) を見る先程、ネットショップで『入門OCaml』を注文…

『プログラミングの基礎』その5

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は変数定義の構文です。 問題4.1 (P.21) アルバイトを始めたときには時給850円だが1年経過するごとに時給が100円ずつあがることにしよう。アルバイトを始め…

OCaml Meeting 2011 は開催されるんでしょうか?

毎年恒例のイベントで気になるものがあります。 OCaml Meeting です。今年も開催されるなら、ぜひ行ってみたいと思います。 um2010 - OCaml.jp 昨年は名古屋で開催されたみたいでした。 行った人の話では、翌日のcoqのイベントも参加するために名古屋に泊ま…

『プログラミングの基礎』その4

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は変数定義の構文です。 問題3.1 (P.16) 次の変数を OCaml インタプリタで定義せよ。それぞれの変数の型は何か。 (1) 名前が e で値が 2.7182 であるような…

『プログラミングの基礎』その3

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。 今回は文字列と真偽値です。 問題2.3 (P.11) 次のそれぞれの文字列をOCamlインタプリタに入力せよ。次に、それらの文字列を結合してみよ。 (1) 「東京」、「特許…

『プログラミングの基礎』その2

『プログラミングの基礎』の練習問題を解く、の続きです。 本書で使っている言語はOCamlです。今回は実数なのですが、本文をよく読めば簡単な問題です。 OCamlの場合、整数と実数を厳格に区別するために実数専用の命令が別にあります。 加算 +. 減算 -. 乗算…

『プログラミングの基礎』その1

プログラミングの基礎 (Computer Science Library)作者: 浅井健一出版社/メーカー: サイエンス社発売日: 2007/03メディア: 単行本購入: 17人 クリック: 409回この商品を含むブログ (109件) を見る『プログラミングの基礎』は、以前にも読んだことあるのです…