ビールとポップコーンと映画 ラストマイルを見た。良い映画だった。 映画館でべそべそ泣いて、鼻を啜りながら車で帰った。感想はこのブログでは書かない。みんな映画館に行って感じてみてほしい。 帰ってからツイッターで感想を漁り、うんうん、わかるわかる、そうだよね、とまた映画を思い出して…
![はてなブログ | 無料ブログを作成しよう](https://cdn-ak-scissors.b.st-hatena.com/image/square/06a15c64ba0ceec233d86d71001ebb29a9dcbf5d/height=288;version=1;width=512/https%3A%2F%2Fcdn.blog.st-hatena.com%2Fimages%2Ftheme%2Fog-image-1500.png)
情報隠蔽とパターンマッチを巡って考えたことなど。 OCaml にはシグニチャという仕組みがあってオブジェクト指向言語でいうところのインターフェイスのようなものとして使われる。 例として次のようなスタックの実装を考えてみる。 module StackImpl = struct type 'a t = 'a list let empty = [] let push x s = x::s let pop (x::xs) = (x, xs) end モジュール StackImpl は単純にリストとしてスタックを定義している。 # let s = StackImpl.empty;; val s : 'a list = [] # let s = StackImpl.push 'a' s;; val s : char list = ['a'] # let s = StackImpl.push 'b' s
パターンマッチ話の続き. パターンマッチと単一化 複合代入 (多重代入) という見方もあれば,一方向単一化という見方もあって,つまりは Prolog ぐらい知っておけということっすか. この辺には値モデルと名札モデル,実装と理論,ボトムアップとトップダウンの対比な趣も感じたり. Erlang, Oz/Mozart, Prolog, 単一化 Erlangのこと、あれこれやってたから、弾さんのコメントがあった。 http://blog.livedoor.jp/dankogai/archives/50832431.html そろそろerlangについて一言いっとくか で、 変数束縛が Variable = Value.なのに、関数定義が function(Aargument) -> blah, blah, blah.てのはどうよ? と書いているが、弾さん、こんなのさ、どうよ?と挑発されたら、「お
NTTデータと真昼の対決 - ひがやすを blog NTTデータの人とひがさんの話がかみ合わないのは、想定している低スキルプログラマーのレベルがまるで違っているのだと思う。ひがさんは(地頭は良くて)経験が少ない人をイメージしているように見える。まあ分かっててわざと主張してる気もするけど。 あらためて言うまでもないけど、プログラミングって素質がすごく重要な世界なわけで。どうにもかわいそうで、なんとかしてあげたいのに、やっぱりどうしようもないくらいプログラミングに向いてない人っている。学校や新入社員研修で何ヶ月もプログラミングを教わってFizzBuzzが書けないレベルの人をこれまで何人も見てきた。 そんな人でも、プログラムの1行ずつを日本語で説明したような仕様書と、本来の言語機能の一部しか使わせないコーディング規約と、能力に合わせたスケジュールがあれば、最低限の品質つまり保守可能なレベルのソー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く