エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
カタ - 標高+1m
今日Object-Oriented Programming Versus Abstract Data Typesってけっこう昔の論文読んで、最近もやも... 今日Object-Oriented Programming Versus Abstract Data Typesってけっこう昔の論文読んで、最近もやもやしてたことが解決した。 クラスを型みたいに使う言語が多いから、そんなもんなんだろうと思ってたけど、クラスは型じゃなくて型のコンストラクタなんだ。 data List a = Cons a (List a) | Nil map f Nil = ... map f x:xs = ... ていうのはクラスを使うと class Cons def map ... end class Nil def map ... end こんなかんじになるはずで、Listクラスにはならない。 OOPだと型はoperationally defined(手続きによって定義される)なのでList型に相当するのはfirstとrestとnil?を要求するインターフェースとかに
2014/01/28 リンク