関数型プログラミング言語の疑似コードの書き方は？

Question

SchemeやHaskellのような関数型プログラミング言語の擬似コードを書くには？ 私が検索したのは、CスタイルまたはPythonスタイルの擬似コードでした。

Answer 1

私は機能的なスタイルで擬似コードでアルゴリズムを書いているなら、私はミックスと一致する言語が、一貫して使用するかもしれませんが：

• せバインド変数
• 関数適用
• マップとたとえば、

テイクを折る、ハッシュ関数：

hash data = 
    let blocks = chunksOf blockSize (preprocess data) 
    foldr updateContext initialContext blocks 

Answer 2

SICPやその他のチュートリアルでは、楽観的なプログラミングがあります。擬似コードの代わりに、物事に名前をつけ、彼らが取るかもしれない議論を提供するだけです。ですから、最低から最高周波数にソートされたノードのリストのうち、ハフマンツリーを作りたいと想像：

(define (huffman nodes) 
    (if (single-node? nodes) 
     (first nodes) 
     (let ([new-node 
      (make-node (first nodes) 
         (second nodes))]) 
     (huffman (insert-sorted new-node   
           (cddr nodes)))))) 

これは完全なアルゴリズムであり、それはそうであっても、結果として、実際のコードの一部となりますそれは実際の擬似コードでもありません。 single-node?、make-node、insert-sortedは定義されていません。Schemeではエラーが発生しますが、CLでは実際にこれを使用することができ、デバッガにジャンプして基本的にすべての作業が終了するまで実行を続行しながら欠落部分を実装します。

私は、Haskellや他のプログラミング言語では、機能的なものだけでなく、このような楽観的なプログラミングを行うことができます。最終的な結果には小さな変化があるかもしれませんが、他のリファクタリングではそれ以上の変化はありません。