From 4a6ad25256f4512573a87fe6f1a54fbabc86c2f6 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sun, 12 Dec 2021 11:29:59 -0500 Subject: Some links to the section on mutability --- docs/doc/match.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/match.html') diff --git a/docs/doc/match.html b/docs/doc/match.html index 1e73afb8..1e752f6f 100644 --- a/docs/doc/match.html +++ b/docs/doc/match.html @@ -55,7 +55,7 @@

This approach can't tell you whether two functions are mathematically different—that is, whether they ever return different results given the same arguments (this is an undecidable problem, and also gets confusing since "different" is included in its own definition). However, if two functions compare equal, then they will always return the same results.

Block equality

-

The final point above about block instances is subtler. An instance of a block function or modifier is mutable, meaning that its behavior can change over the course of a program. Consider the following two functions:

+

The final point above about block instances is subtler. An instance of a block function or modifier is mutable, meaning that its behavior can change over the course of a program. Consider the following two functions:

↗️
    F‿G ← { a←10 ⋄ {a+𝕩}‿{a↩𝕩} }
 ⟨ (function block) (function block) ⟩
 
-- 
cgit v1.2.3