"「型理論::継承」を否定的に捉える文化圏"の方々がUSBの代替規格をデザインするとしたらどんなものになるのか？＞＜
というのがオレンジの疑問＞＜
orange
さんがブースト
だから、そもそも現行の USB が「orange::継承」の考えを使っていることと、「型理論::継承」を否定的に捉える文化圏があることは全然別の話だという話をしているわけですが
「こういう考え方もある」じゃなくて、そういう考えを持った人がどういう風にデザインするか？＞＜ って聞いてる＞＜
この前のVSCodeって重くないの？＞＜ の時とあんまり変わらない＞＜
誰もズバリの事言ってくれない＞＜
＞＜
オブジェクト思考: is-a関係とhas-a関係: 継承と包含 https://think-on-object.blogspot.com/2011/11/is-ahas-is-ahas-top-is-a-is-b.html
オレンジは元々物事をツリー状に捉えてるので、実際のUSBの規格の基本的部分はオレンジ的には自然かも＞＜
ドライバをどう書くかとかに留めた話ではなく、USBというシステム、規格と同じ目的の物(つまりコンピューターハードウェアに周辺機器等を接続する規格)をデザインするとしたら、継承否定派の人はどうデザインするのか？＞＜
って聞いてる＞＜
それがわかれば、そういった方針の人がどういう風に物事を捉えどう考えているのか浮き出るサンプルになるでしょ？＞＜
orange
さんがブースト
型システムに継承があろうがなかろうが、関数型だろうがオブジェクト指向だろうが手続き型だろうが、なんならアセンブリ言語であっても、 USB の実装はできます
orange
さんがブースト
USB の話をするなら、あれは on line なプロトコルなんだから何かしらの概念のバイナリ表現の問題に過ぎないわけで、そんなもの型システムと独立して表現可能なので、プログラミング言語の型システムの文脈での継承が云々はあまり関係ないです
毎度の事ながらオレンジの本題的な疑問に具体的に答えてくれる人がいない＞＜
「無くてもどうとでもなる(だだしぐちゃぐちゃになる)」みたいな意味ならそれはそうだろうけど＞＜
サブタイピングも必ずしも・・・は納得いかないかも＞＜
継承ってつまり規約のようなものをなるべくバラバラにならないようにツリー状に管理する仕組みだと思うんだけど、それを要らないって人はどういう風に管理してるんだろ？＞＜
管理を諦めて完全に個別にして個別にチェックする？＞＜
バラバラにグループを作ってそのグループをバラバラに管理する？＞＜
継承要らないよ派の人がUSBの代替規格をデザインしたらどんなものになるのか謎＞＜
継承無いとキレイにツリー状にならないからヤダ＞＜
orange
さんがブースト
「インターフェースや継承なんか使わないから教えなくていいよ」って過激なことを言う先生もいる
orange
さんがブースト
継承 (inheritance) に肯定的であるか否定的であるかで文化的な分断があるように感じる
- ＠orange_in_space
2017年 4月に登録
