タグ

2015年3月17日のブックマーク (2件)

  • Functor(関手)ってなんですか? - Nao Minami's Blog

    どうもこんばんは、south37です。今日も引き続きHaskellネタでいこうと思います。Functorって概念を知ったので、ちょろっとまとめてみたいと思います。 そもそも、Functorってなんですか? さて、Functorって聞いて、ピンと来ますか? 僕は、全然ピンと来ませんでした。Wikipedia先生の定義を見ても、 関手(かんしゅ、functor)とは、圏の間の対応付けのことである。関手は対象関数と射関数の組からなる。 などと、何だかよくわからない感じで書かれています。 じゃあ一体なんなんだって話ですが、ポイントはどうやら「対応付け」って点のようです。「圏(と呼ばれるよく分からないモノ)」から「圏」への対応付けをしてくれるのが、Functorです。そうすると、今度は「圏」がなんなんだって話になる訳ですが、これもWikipedia先生によれば 数学における圏(けん、category

    Functor(関手)ってなんですか? - Nao Minami's Blog
    igrep
    igrep 2015/03/17
    “Haskの部分圏であるLstと呼ばれる圏を考える事も出来ます。これは、Haskellにおける全ての型ではなく「リスト型」を「対象」とし、「リスト型」から「リスト型」への関数を「射」とするような「圏」”
  • GitHub - bitemyapp/learnhaskell: Learn Haskell

    You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

    GitHub - bitemyapp/learnhaskell: Learn Haskell
    igrep
    igrep 2015/03/17
    “This is my recommended path for learning Haskell.”超詳しい。