彼は序文で、参照プログラムはHaskellにあると述べています。フォーマットはLaTeXなので、少し奇妙に見えます。
さらに掘り下げてみたところ、使用されている数学的表記は、ツェルメロフランケルセット理論表記の後に「Z表記」と呼ばれています。これはガイドです。PDFはリストの2番目のリンクです。この表記は、ピジンコードと呼ばれるより広いタイプの表記の一部です。
コンピュータプログラミングでは、ピジンコードは、同じプログラム内のいくつかのプログラミング言語の混合、またはプログラミング言語と自然言語の記述の混合である疑似コードです。したがって、名前:混合は、自然言語のピジンに類似したプログラミング言語です。
数値計算では、数学スタイルの疑似コードはpidginコードと呼ばれることもあります。たとえば、pidgin ALGOL(概念の起源)、pidgin Fortran、pidgin BASIC、pidgin Pascal、およびpidgin Cです。これは、コンパクトで、多くの場合、非公式な表記法でブレンドされています数学表記を使用した従来のプログラミング言語から、通常はセット理論と行列演算を使用し、おそらく自然言語の記述も使用します。
これは、数学的に訓練された幅広い人々が理解でき、制御構造がかなり高い詳細レベルで明示され、一部のデータ構造は依然として抽象的なレベルで独立しているアルゴリズムを説明する方法として使用されます特定のプログラミング言語の。
通常、ASCII以外の組版は、TeXやMathMLマークアップ、または独自の数式エディター形式などを使用して、数式に使用されます。