ストリームとモナド

Question

ストリーム（遅延リスト）とモナドの間に違いはありますか？ 技術的な実装からではなく、概念的および数学的な観点から。

それ以外の場合、biuniqueは1対1で対応していますか？

より正確には、ストリームとして、Scheme言語のSRFI-41からの「偶数ストリーム」を意味します。

モナド以外のカテゴリですか？もしそうなら、どのカテゴリですか？

「偶数ストリーム」は、モナドのような副作用の制御を保証することができますか？

Answer 1

サリルは、既に述べたように、2つの異なる概念がある：

は

ストリームのみいくつかの方法を記憶し、すなわち、典型的には、値の（潜在的に無限の）リストであり、必ずしも必要ではないが、遅延様式で計算します要求時に値を計算する。どのような方法でモナドを伴わないその周りの多くの例があります：

(define integers (cons-stream 1 (stream-map (lambda (x) (+ x 1)) integers)) 

あなたはどこにでも（潜在的または必然的に）有限それらを使用することができますので、また、ストリームとして、有限、事前に計算され、リストを検討することは非常に便利です遅延ストリームを使用できます。

したがって、ストリームは次の値と残りのストリームを取得する操作next: streamType -> (valueType streamType)を持つものです。

 

モナド、一方、個々のコマンドを組み合わせることによってソースコードを書くのデータ構造の少ない、より方法です。

おそらく最も簡単な便利な例は "Maybe monad"です - 私はSchemeでどのように見えるかわかりませんが、考え方は次のとおりです。(f g h)と入力xのリストが与えられたら、計算を順番に実行すると、ほぼ(f (g (h x)))のようになりますが、各関数が正常に失敗するようにしてください。gがnilを返す場合は、(f nil)を呼び出さず、ただちにnilを返してください。あなたは、もちろん、様々な便利な方法で両者を組み合わせて、モナドを使って、ストリーム値を計算するか、正確に関数型プログラミングの期待を次されていないI/Oストリームのようなストリームの使用をカプセル化することができます

 

（ストリームのある以前の状態への参照を格納するコードを避けるために）モナドであるが、それらはまったく異なる目的を果たす。モザイクを関数に適用すると、関数が与えられます。一方、ストリームは高次関数ではなく、値のリストです。

明らかに、モナドによって定義される（またはあなたの視点に応じて返される）関数は、ストリームのインプリメンテーションであり、ストリームから抽出された値はモナドになることができます。しかし、上記のように、ストリームとはまったく異なるものを実装するモナドがあります。モナドとして実装されていないストリームがあるかどうかは、おそらくあなたがその用語を正確に使用するかによって異なります。私は、無限の流れが適切にモナドとして適格であるかどうかわからないと告白しなければならない。有限リストは明らかにそうです。