1
という表記で使用されているより小さい記号は何ですか? (function (x :< xs))=x
は、文字列を取り、文字列の先頭を出力として返す関数を意味することがわかります。そして、この関数のx:_
とx:xs
は交換可能ですが、この式の表記<に慣れていないと思います。(function(x:<_))= xと(function(x:_))= xの違いは何ですか?
という表記で使用されているより小さい記号は何ですか? (function (x :< xs))=x
は、文字列を取り、文字列の先頭を出力として返す関数を意味することがわかります。そして、この関数のx:_
とx:xs
は交換可能ですが、この式の表記<に慣れていないと思います。(function(x:<_))= xと(function(x:_))= xの違いは何ですか?
:<
は同じようにいくつかのタイプの単なるコンストラクタです:
はリスト用です。この場合
data Stream a = a :< (Stream a)
あなたは
streamHead :: Stream a -> a
streamHead (a :< _) = a
としてストリームをストリーム内の最初の項目を取得する機能を持っている可能性が右のタイプのちょうどサイクルのですか? 1、2、3のストリームのように。私は最大3と私はstreamHead(3 <:xs)= 1を呼び出します。 –
いいえ、ストリームは無限のシーケンスをモデル化します。空のストリームをモデル化するコンストラクタがないことに注意してください。ストリームが( 'let n = 1:<(2:
chepner
非周期ストリームの例は、 'fix $ \ nats - > 0:
Cactus