haskell - haskellのある暮らし
■ dataとnewtypeのちがいのわかりやすい例 19:16 Haskell には、新しい型をつくる宣言が2つあり、 data 宣言と newtype 宣言というのがある(type宣言は型の別名をつけるものであり、新しい型はできない)。 data 宣言を知っていると、 newtype 宣言は 内部の型は1つだけ 型構成子は1つだけ という制約を持ったdata宣言と解釈できる。たとえば、 newtype T a b = T a b とはできない。一方、 newtype T a b = T { unT :: a } という書き方はできる。宣言の左辺には2つの型があるが、bは右辺には登場しないから問題ない。ちなみに、このように実体として登場しない型は無意味に思えるかもしれないがそれは誤りである。bの型の一致不一致は型全体の一致不一致に対応するから、うまい構成にすると、bを使って「適用してはい
朝日新聞デジタル：さようなら原発１０万人集会に１７万人 都心をデモ - 社会
関連トピックス原子力発電所東京電力ノーベル賞【動画】さようなら原発集会、全国から「１７万人」「さようなら原発１０万人集会」の会場からデモ行進に出発する参加者たち＝１６日午後１時４０分、東京都渋谷区の代々木公園、上田潤撮影 ノーベル賞作家の大江健三郎さんらが呼びかけた「さようなら原発１０万人集会」が１６日、開かれた。 会場の東京・代々木公園には、全国から約１７万人（主催者発表）が集まり、東京電力福島第一原発事故に関連した集会では最大規模となった。 集会後、参加者は３コースに分かれて「原発いらない」など声を上げながら、都心部をデモ行進した。 関連リンク動画ページ脱原発集会、大江さんら呼びかけ １６日に東京で(7/12)原発抗議行動、人数どっち？ 主催者と警視庁調べに大差(7/7)官邸前「再稼働反対」の波 雨の中、坂本龍一さんも参加(7/6)首相の地元・船橋で再稼働反対デモ 約２千人参加と
カリー化談義 - あどけない話
最近、スタートHaskellで「カリー化された関数のメリットは何か？」という質問が出た。そのすぐ後に、kmizuさんがカリー化の誤用に対して警鐘を鳴らしてしていた。僕からするとkmizuさんの「カリー化の定義」も誤用に思えたので、調べるとともに考えたことのまとめ。 いろんな定義 「カリー化する」という用語は、すくなくとも以下の3つの意味で使われているようだ。 部分適用という意味 これは明らかに間違い 「複数の引数を取る関数」を「一引数を取る関数のチェインに直す」こと これはkmizuさんの定義。世間でもよく使われる。 「構造体を一つ取る関数」を「構造体のメンバーを複数の引数にばらし、一引数を取る関数のチェインに直す」こと これは僕の定義。というか、Haskellコミュニティの定義。 「部分適用」の意味で使うのは明らかに間違いのなで排除。定義2と3について議論する。あとで、部分適用とは何かに
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
BLOGOS サービス終了のお知らせ
2011年03月の記事 | 焼き菓子すうすのブログ
