D言語のStreamについての議論

/dev/null @satoru_h

@Rayerd あった方が便利だと思います．と言ってもinterface InOutStream : InStream, OutStream{}だけですが．僕の方の実装も明日，明後日くらいにはあげたいと思います．（SHOOさんより優れている！と言うわけでは無いですが，参考として）

/dev/null @satoru_h

StreamWrapperは静的ダックタイピングで不可能な事があった場合の為．程度じゃないかにゃぁ．SHOOさんがdusersにかかれているのもそういうことだと思う．

/dev/null @satoru_h

InOutStream[]はInOutStreamの集合．ConduitはInStreamとOutStreamの異なる二本のStreamを一本に見せる．使われる場所が違う．

/dev/null @satoru_h

その上で，Conduitはわかりにく（いから，なくてもよ）くね？と言うのが僕の意見．

/dev/null @satoru_h

struct Cond(I, O) {}として，auto cond = Cond!(FileStream, SocketStream)(f, s);もアリだし，そこで，静的ダックタイピングで不可な状況になれば，Cond!(InStream, OutStream)[] conds;

/dev/null @satoru_h

みたいにして，conds ~= Cond(wrap(fs), wrap(ss));もアリだと思う．

はるえす＠イカのフレンズ @Rayerd

@satoru_h ただ，実行時にFileStreamやSocketStream，MemoryStreamを切り換えることってまずないじゃない．だからduck typingなんでしょ．だったら（続く

はるえす＠イカのフレンズ @Rayerd

@satoru_h InOutStream[] ss; ss~=fileStream; ss~=memoryStream;とか現れない．stream collectionは静的なTypeTuple!(MemoryStream, FileStream, ...)などで書けるよね

/dev/null @satoru_h

@Rayerd こちらは同意．想定されているwrapの使われ方は別なところにあると思うけれど，それがほんとに必要かは僕は分かっていない．ただ，wrapはconduitと違って他のstreamを使用する関数などには影響しないのであっても邪魔じゃない．

/dev/null @satoru_h

@Rayerd 宣言時に保持する型と_順番_が決まっている．と？

はるえす＠イカのフレンズ @Rayerd

@satoru_h ぬーぬー．InputStream/OutputStream InterfaceとStreamTupleがあればそれでいいような気がしている

/dev/null @satoru_h

wrapは絶対いるよね！って僕言ったかな？wrapは存在しても邪魔じゃない．程度のスタンスであることをあらかじめ（どこがだよ）断っておく．

/dev/null @satoru_h

TypeTupleについて，ちょっと考えている．．．それは型と順番が静的に決まってるのよねぇ．

はるえす＠イカのフレンズ @Rayerd

@satoru_h 話しながら考えましょうｗ 僕も自信ないｗ 俺が考えてたのはIOStream Interfaceは異型のstream(ex; FileStreamとMemoryStream)までもまとめることができるけど，この機能はオーバースペックじゃないの？ってことかな．

はるえす＠イカのフレンズ @Rayerd

ごめんね(´･ω･`) RT @satoru_h: wrapは絶対いるよね！って僕言ったかな？wrapは存在しても邪魔じゃない．程度のスタンスであることをあらかじめ（どこがだよ）断っておく．

/dev/null @satoru_h

いや，wrapが無いならinterface InputStream/OutputStreamもいらない．利用上は．あった方がStreamを実装する人にわかりやすいけど．

/dev/null @satoru_h

@Rayerd いえいえ．僕も考えがまとまって無かったのでいい刺激になります．

/dev/null @satoru_h

（ついにIOStreamになったw）

はるえす＠イカのフレンズ @Rayerd

@satoru_h でもこれを言い出すとInputStreat/OutputStream Interfaceもいらない・・・あ，同じこと言ってるｗ

/dev/null @satoru_h

@Rayerd なるなる．静的に型が決まる場合には，isInputStream(etc.)があれば他はいらないと思います．（理論的には）TypeTupleでさえも．# TypeTupleって動的に長さ変えられないですよね？

/dev/null @satoru_h

@Rayerd なので，静的に型が決まらない場合，集合のサイズが決まらない場合，が_あるとすれば_wrapは必要ですよね？（確認：あんま分かってない）

はるえす＠イカのフレンズ @Rayerd

@satoru_h そう長さは変えられないんだ．「長さを変えられる」「異なるstreamを受け取れる」の2つは別の特性だと思うんだよね

/dev/null @satoru_h

@Rayerd なるほど．長さを変えられる -> FileStream[]．いろいろ＋長さを変える -> StreamWrapper[]ですね．

/dev/null @satoru_h

@Rayerd 追加．異なるstreamを受け取れる -> StreamWrapperですね．

はるえす＠イカのフレンズ @Rayerd

@satoru_h そういう意味でStreamWrapperは現実問題に対してオーバースペック（Andreiが嫌いな動的多態性の性質？）なんだよなあと