レキシカルスコープとダイナミックスコープ
1. レキシカルスコープとダイナミックスコープの違い 言語によって、変数のスコープに関する仕様が異なる。スコープには、レキシカルスコープとダイナミックスコープがある。採用しているスコープにより、変数の参照の仕方が違う。 レキシカルスコープでは、プログラムとして書かれた字句を解析すれば、変数のスコープを把握できる。実行時のことは考えなくて良い。これに対して、ダイナミックスコープでは、実行時における関数の呼び出され方により、参照できる変数が異なる。 用語の説明を見る前に、具体例を見た方が理解しやすい。 Scope (computer science) - Wikipedia の Lexical scoping and dynamic scoping によると、 … if function f invokes a separately-defined function g, then under
アイスコーヒーはティーポットと茶こしで入れる
コーヒーは、毎日の生活に欠かせない。 食後の一杯は格別。頭をすっきりさせるには最適。ただし、飲み過ぎると、コーヒーの味を想像するだけで、気持ち悪くなる。脳が拒否する。体が受け付けなくなる。ほどほどが良い。 コーヒープレスは濃厚な味 自宅でおいしいコーヒーを楽しむために (1) コーヒープレスの使い方を「スターバックス コーヒー」に教わる 前編 | マイコミジャーナル には、コーヒープレスを利用したコーヒーの入れ方が書かれている。 実際に、スタバのコーヒープレスを買って試した。確かに、濃厚で独特な風味となる。しかし、自分はこの味が苦手だったので、使うのをやめた。安物の粉を使っていたのがダメだったのだろうか。いつの間にか、コーヒープレスは行方知れずに。。 ちなみに、なぜ、味が違うかと言えば、 コーヒープレスはペーパーフィルターを使わない。つまりそれは、抽出された液体の中に、豆の味がそのまま閉じ
Haskell の フィールドラベル と デフォルト値をラップする関数
まいど、「名前」と「年齢」を持つ「人」型を例にとってフィールドラベルの使い方を覚える。 フィールドラベルを使わない場合の定義は、 data Person = Person String Int 1. 型を定義するとき フィールドラベルを使うと、フィールドの意味が明確になる。 data Person = Person { name :: String , age :: Int } deriving Show 2. 値を生成するとき 値を生成するときにフィールド名を指定できる jirou = Person { name = "Jirou", age = 20 } 3. 値を取り出すとき 例えば、以下のような「人」の名前を取得するための関数を定義する必要がなくなる。 getName (Person n _) = n 代りに、フィールドラベルでフィールドの値を取得できる。 フィールド名は選択子関数
アメブロのアクセス解析と Google Analytics の違い
知合いがアメブロを使っている。月に 1 回更新するくらいで、メンバー限定の記事が多いので、割と閑古鳥。「どれくらいのアクセスがあるの？」と聞いたところ、最近では一日に 30 ~ 40 だそうだ。しかし、それを聞いて思ったよりも多いなと感じた。なぜならアメンバーの数は一桁だし、記事の更新回数はほとんどやる気ないモードで、他の人のブログにコメントするほど活発ではなく、何よりもここ 1 ヶ月以上記事を全く更新していないからだ。 以前にそのブログに Google Analytics を設置したので、覗かせてもらった。(cf. アメブロで、Google Analytics を利用してアクセス解析をする) そうしたら、やはり思った通りで、ここ一ヶ月のページビューが 合計しても 23 しかない。 参考のために、アメブロで用意されているアクセス解析も見せてもらったら、Google Analytics と全
Haskell でランダムな値を生成する System.Random
1. System.Random のクラスと型 Haskell の標準ライブラリには、ランダムな値を生成するパッケージがある。 Haskell/Understanding monads – Wikibooks によると、 There is much research on constructing good pseudo-random number generators, but fortunately, the Haskell standard library module System.Random already implements a ready-to-use generator for us. System.Random には、二つのクラスと一つの型がある。 class RandomGen Random data StdGen RandomGen は、ランダムを生成するジェネレ
Haskell の Maybe 型に馴染む
モナドの説明を読みはじめると最初の方に必ず出てくる Maybe 型。モナド自体いつか理解したいと思いつつ、解説されているサイトを読んでも途中で挫折。(o_ _)ｏ~† ここは一つ外堀から埋めていこうと、 Monad クラスのインスタンスである Maybe 型から見ていくことに。 Prelude における位置付け Maybe 型は、Prelude の説明の最初、「Basic data types 」の中に含まれていることから考えて、相当重要な型のようだ。Basic data types に含まれている他の型を挙げると、 data Bool data Either a b data Ordering data Char Either a b 型って何だろうなと横目で見つつ、他の型を見ると基本的で重要なものばかり。(@_@) ちなみに、Haskell Hierarchical Libraries
Haskell の fmap
A Gentle Introduction to Haskell: Classes によると、 fmap 関数は以前につかった map 関数を一般化したものです。 map と言えば、リストの各要素に対して関数を適用するための関数。例えば、リストの要素を 2 倍したいときは、 print $ map (* 2) $ [1,2,3,4,5] -- [2,4,6,8,10] map がリストのためにあるのに対し、fmap は自分で作成した代数的データ型に対して、map のように各要素に関数を適用するためにあるようだ。今回、以前に定義したシンプルな Iremono 型 を少し変更し、これに適用できるようにしてみる。 Iremono a 型の定義を以下のように変更。 data Iremono a = Iremono [a] deriving (Show,Eq) 前回は Iremono 型のフィールド
Haskell で正規表現 (2) =~ , Python・Ruby と比較しながら
以前試したように Haskell において正規表現を使いたい場合は、Text.Regex モジュールを利用する。(cf. Haskell で正規表現) 流れとしては、 「正規表現型の値」を生成 : mkRegex (1) を利用して一致する部分があるか確かめる : matchRegex import Text.Regex main = do print $ matchRegex (mkRegex "(piyo)") "123hogepiyofuga" print $ matchRegexAll (mkRegex "(piyo)") "123hogepiyofuga" 結果は、 Just ["piyo"] Just ("123hoge","piyo","fuga",["piyo"]) ただし、matchRegex において Just で包んで返される値は、 mkRegex の正規表現で s
Haskell の畳み込み関数 - foldl, foldr
1. リストを畳み込む foldl と foldr Haskell のサンプルコードを見ていると、よく見かける foldl と foldr 。名前からして両者は対照的な関数のようだ。 Prelude の List Operation の分類において、 Reducing lists (folds) として、わざわざ分類されているところを見ると、重要な関数なのだろう。 (@_@) そういえば、Reduce と言えば、Python の関数 reduce を思い出した。 Python のリスト内包表記 これと似たものなのかな？ 2. どのように計算が行われるのか 「foldr と foldl の違い - 言語ゲーム」によると、foldr, foldl は、以下のように計算が行われる。 foldr (+) 4 [1, 2, 3] -- 1 + (2 + (3 + 4)) == 10 foldl (+
Haskell の代数的データ型と型クラス、instance 宣言の関係
1. クラスとメソッドが主役で、「関数」は脇役だと思っていた 関数型言語である Haskell で使用される用語には、Java, Ruby などのオブジェクト指向な言語で使われている用語と、類似しているものがある。しかし、似て非なるものがあるので、気をつけなくてはいけない。 (+_+) ところで、関数型言語に触る前は、 「関数」 というものを、一段低い存在として認識していた。 言語を学習した順序が C → Java → Ruby。途中で Smalltalk をちらっと横目で見た、という流れだったので、 「やっぱプログラムの中心はクラス、オブジェクトでしょ」 と思い込んでいた。 しかし、Ruby のブロック付きメソッドを見てから、 「ん？なんだこれ？」 と違和感と疑問を感じはじめ、 JavaScript の関数で 「関数もオブジェクトなの？」 と混乱し、そして Haskell で ファースト
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Haskell でリストに対する関数を考えるときの視点 - オブジェクト指向からの類推
炊飯器を変えたらご飯の味が変わった - 三洋電機 匠純銅 おどり炊き ECJ-XP1000
「湯たんぽ」は｀ひだまり’のような暖かさ o^^o - ペットボトルで代用。可愛さと実用性を求めるならドイツ製の fashy (ファシー)。