const をめぐるあれこれ - 2009-12-08 - HaHaHa!
Prelude には，const :: a -> b -> a という関数が定義されています．a -> b -> a という型は a -> (b -> a) のことなので，この関数を引数に適用すると，b -> a という型の関数になります．できあがった関数はどのような値 v :: b に適用しても，この関数を作るときに適用した引数を返します． ghci> :type const const :: a -> b -> a ghci> let k1 = const 1 ghci> k1 "Hoge" 1 ghci> k1 False 1 ghci> k1 undefined 1 ghci> let kHuga = const "Huga" ghci> kHuga "Hoge" "Huga" ghci> kHuga 2 "Huga" ghci> kHuga undefined "Huga"さて「
ネギま！「２７３時間目」
クルト「どうしたタカミチ、若いのと合流するのに２年もかかってるじゃないか」 タカミチ「黙れっ‥クルト」 ※タカミチがメガロメセンブリアに到着したのが１９５時間目（笑） クルトは、将来のネギの可能性の一つとして出したキャラクターなんでしょうね。 キャラ付けも、“生真面目さ”“何でもこなす器用さ”“メガネ男子”など共通点も多いですし。 クルト（の行こうとする道）を否定することによって、ネギの行く道が定められるという意味では、クルトはストーリー進行上を円滑にするために付け加えられたキャラと言えるのではないでしょうか。 クルトが反面教師となって、ネギが選択しうる道を、一つ先に潰しておいてくれているので、ウジウジ思い悩む手間が省けるという意味で。 クルトにとってのナギは、「ピンチになっても現れないヒーロー」だったのではないでしょうか。 それが「ならば なぜ今 カレはいないのです？」「なぜ君は一人残さ
iPhone + DocScanner + Evernoteで発見をうながすメモ管理 - [結] 2009年12月 - 結城浩の日記
目次 2009年12月31日 - 2009年の大晦日のお祈り / 2009年12月29日 - それは、誰のためのものか？ / 第1章を進めながら / 2009年12月28日 - 田崎さんのページから / 2009年12月27日 - 日曜日 / よかった探しリース終了 / 2009年12月25日 - クリスマス / くるるさんの書評 / 2009年12月24日 - 中学三年生の読者さんから『数学ガール』への感想をいただきました / イブ / 2009年12月22日 - 火曜日 / 2009年12月21日 - 第1章を書き始める / 2009年12月19日 - 数式を画像化するサイトやサービス / 2009年12月18日 - 各章の依存関係図を作成する / 2009年12月17日 - 木曜日 / 2009年12月12日 - 最近使っているiPhoneアプリ / 2009年12月11日 - Tw
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
