Haskellの値/参照セマンティクスのテストの考案

命令型言語では、言語の「値のセマンティクス」または「参照のセマンティクス」の使用に関するプログラミングテストを考案することは簡単です。次のようにしてa（where Vertex {one, two, three :: Integer}）の値を確認できます。

a := Vertex 3 4 5
b := a
one b   :=  6
two b   :=  8
three b := 10

ただし、関数型言語では変数は不変であるため、このテストはそのような言語では機能しません。

私はHaskell（および関数型プログラミング全般）についてほとんど知りませんが、私の理解では、値のセマンティクスを使用しています。Haskellで「refレコード」と「valレコード」を区別するプログラミング実験を考案することは可能ですか？

このようなテストはありません。なぜなら、可変性がないと、区別は意味がないためです（説明したとおり）。

Haskellには参照がありません（参照は変更可能なオブジェクトであり、Haskellには（直接アクセス可能な）変更可能なオブジェクトがありません）。したがって、関数呼び出しは、デフォルトのような値のセマンティクスを使用します。これは実際、純粋な関数型言語の重要な特性です。関数は引数を変更できません。

値のセマンティクスは、コピーが内部で行われることを意味しません。関数が変更する値の一部のみをコピーする必要があります。つまり、純粋な言語では、何もコピーする必要はありません。

ただし、これだけではありません。ある意味で、Haskellには参照セマンティクスがあります。

関数が引数を変更するかどうかをテストすることは意味がありません（変更しないかどうか）が、関数がその引数（の一部）を使用するかどうかをテストできます。終了しない引数を指定してください。関数呼び出しが終了すると、関数が引数を使用しなかったことがわかります。

let bottom = bottom
let ignore x = 1
ignore bottom

あなたが評価した場合bottom、それは終了しません：bottomそれ自体に展開し、悪心。用語にbottom値を含めることはできません。しかし、あなたが評価ignore bottomした場合、その値は1です。これは、関数を呼び出すときにignore引数の値を計算する必要がないことを示しています。この意味で、Haskellには参照セマンティクスがあります。関数が受け取るのは値ではなく、この値を見つけることができるものです。技術用語は、名前による呼び出しです（値による呼び出しではありません）。

（より正確には、Haskell実装はcall by needを使用します。callby valueでは、関数の引数は関数を呼び出す直前に1回だけ評価されます。callby nameでは、引数は使用されるたびに評価されます。関数の必要な回数だけ実行されます。必要に応じた呼び出しでは、引数は最大で1回評価されます。最初に使用されたときに評価されます。使用されていない場合は評価されません。）

それらを区別することは不可能です。これが意味することは、コンパイラーは、最適なパフォーマンスに適合すると思われるセマンティクスを使用することを自由に選択できるということです。

特に、関数型言語は、それらの概念モデルと一致するため、通常は値のセマンティクスを持つものとして記述されますが、より効率的であるため、参照セマンティクスを使用して実装されることがよくあります。（変更できないものをコピーする必要はありません！）