![](https://s.togetter.com/static/web/img/placeholder.gif)
RT @Lost_dog_: 山本さんのモナドのチュートリアルとか、最高のコンテンツなのに、思ったより人が集まってないなぁ。みんなライブ中継参加なのかな? #start_haskell http://t.co/2qDncXwT
2011-12-03 13:48:27![](https://s.togetter.com/static/web/img/placeholder.gif)
haskellの型クラスのクラスは、集合論のクラスのことだと思ってます。同じ性質を持った型の集合。 #start_haskell http://t.co/40txEsSx
2011-12-03 13:58:36![](https://s.togetter.com/static/web/img/placeholder.gif)
このevalとexecの所で腑に落ちないのが、EVALとしてスタックに積んだものをexecすると次の瞬間にADDとして積まれるというところなのですが、これは演習問題で乗算も使えるように実装するとわかる感じでしょうか? #start_haskell
2011-12-03 13:59:57![](https://s.togetter.com/static/web/img/placeholder.gif)
名前が一緒なだけでooのクラスとは別と RT @dekosuke: haskellの型クラスのクラスは、集合論のクラスのことだと思ってます。同じ性質を持った型の集合。 #start_haskell http://t.co/qEVSwitn
2011-12-03 14:01:27![](https://s.togetter.com/static/web/img/placeholder.gif)
その"型クラスのインスタンスを生成する方法"が、Scalaの場合implicitを使うから、ほかの多重継承ができるオブジェクト指向と型クラスは色々違うような RT @qtamaki え。型クラスってデフォルト実装出きるの?じゃtraitであってるか。 #start_haskell
2011-12-03 14:03:04![](https://s.togetter.com/static/web/img/placeholder.gif)
eqクラスで定義されているメソッド(=),(/=)を含む群に、class Eq a where(略)の宣言の"a"型も含みますよっていうことだろうか #start_haskell
2011-12-03 14:06:10![](https://s.togetter.com/static/web/img/placeholder.gif)
OOと比較せずに、先に集合論を学ぶべき? RT @ffu_: 集合論分かる人はOOでいうクラスは無視するのがいいと思う。 #start_haskell
2011-12-03 14:06:31![](https://s.togetter.com/static/web/img/placeholder.gif)
前提知識があることにより、必要以上に既存の自分の知識に当てはめて比較しようとして、理解が妨げられるよくあるあれ #start_haskell
2011-12-03 14:07:18![](https://s.togetter.com/static/web/img/placeholder.gif)
#start_haskell パラダイムが違うから対応しない概念が同じ名前になっているだけで、深追いしない方がいいかも。
2011-12-03 14:09:22![](https://s.togetter.com/static/web/img/placeholder.gif)
RT @r_fujimoto: #start_haskell オブジェクト指向との比較はあまりやらないほうがいい?..
2011-12-03 14:09:57![](https://s.togetter.com/static/web/img/placeholder.gif)
集合論わからなくても、classという単語に共通の集合という意味があるよ、ぐらいでいいかとRT @r_fujimoto OOと比較せずに、先に集合論を学ぶべき? #start_haskell
2011-12-03 14:11:07![](https://s.togetter.com/static/web/img/placeholder.gif)
確かに,既存のクラスに新しいメソッドや,自分で作ったクラスの実装を追加することができるという点においては,HaskellとRubyは似ているなぁ. #start_haskell
2011-12-03 14:11:53