オレと型推論と 少年オッカムル 関数型言語 OCaml 再帰関数 リスト プログラミングの基礎 ダイクストラ法 Windows で文字化け F# モジュール ファンクタ 副作用 アキュームレータ
はじめに一言 言っておきたい
OCaml ≠ オッカムル OCaml ＝ オーキャムル これは見逃して欲しい！ 語感を優先させたんだお。ホントだお。
軽く自己紹介 呼び名： hamatz 生まれ： 197x 年 （山羊座） 生息地： ドイツのどこか 血液型： B 型 仕事： ケータイ関連の何か その他： 日本酒派
オレと OCaml と の 出会いは 1 冊の本か ら・・・
Amazon より
面白いし分かり易いし、 良い本、、、 なんだけど・・・
# " 横浜 " ^ " 駅 ";; - : string = "\137 ｡ \149l\137w"
Windows でサンプル コードを打ち込むと、 結果が全て文字化け するでござる！
で、なんか真面目に 解決するのが面倒だっ た ので、軽い気持ちから F# を使うことに。。
F# にかえたら 日本語は表示できる。 が、しかし、、、
( ) *. 8.0 /. 3.0 ;; ^^^ stdin(4,9): error FS0001: The type 'float' does not support any operators named '+.'
え？ もしかして 非互換？？
Yes! Yes! Yes! ( ) * 8.0 / 3.0 ;; > > val it : float =
こんな事も。。。
> let add (x : float) (y : float) = x + y;; val add : float -> float -> float コレ
え？型推論？ あれ？？
こまけぇこたぁいいんだよ！
そんな学びの記録を ” 数学ガール風 ” に まとめてみたの が・・・
少年オッカムル
登場人物 僕 ： 本編の主人公。プログラミング初心者。 塾にも通う普通の高校 2 年生。 お話の都合上、何故か美女にモテる？ リンダさん ： “ 僕 ” の通う塾のチューター。 プログラミングを学ぶ大学 2 年生。 美人というより可愛い系。天然 ミラっち ： “ 僕 ” の通う高校のクラスメート。 数学好き。成績優秀。美人系。 Miranda → ミランダ → ミラ & リンダ
「プログラミングの基礎」 の内容をそのまま ブログに写経したら マズいよなー？と思い･･･ むしろ教科書を読みたくなる 構成にしてみよう！ 書いた動機
現在の進捗 第１話： プログラミングを始めたよ！ 第２話： 関数とデザインレシピ？ 第３話： プログラミング仲間が増えちゃった！ 第４話： もっとプログラムっぽく！（前編） 第５話： もっとプログラムっぽく！（後編） 第５. ５話： Lightweight Syntax って何？ 第６話： レコードで悪戦苦闘 第７話： リストって簡単？ （準備中）
と、いうワケで･･･
現在、次のような方を 大募集中です
１．作中で、新たな登場人物と なり、主人公達に OCaml や F# の事を教えてくれる人 ２．ブログのエントリ中の間違 いをコメント欄等で指摘して くれる人
詳しくはコチラまで
おしまい！