From 747e4413770ee08d503ab11774eac73d29df300a Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Mon, 2 Jan 2023 22:13:34 +0900 Subject: Update Changelog.md --- Changelog.md | 18 ++++++++++++++---- 1 file changed, 14 insertions(+), 4 deletions(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 19e062c..e8b76a8 100644 --- a/Changelog.md +++ b/Changelog.md @@ -11,20 +11,30 @@ >>> ``` - So, even if we write the following rule having `r~(r1+r2) `, the system will not abort suddenly, although the compilation crushes: + So, even if we write the following rule having `r~(r1+r2) `, the system will not abort suddenly due to a compilation failure: ``` >>> fib(r) >< (int n) - ... | n == 0 => ret~0 - ... | n == 1 => ret~1 + ... | n == 0 => r~0 + ... | n == 1 => r~1 ... | _ => r~(r1+r2), fib(r1)~(n-1), fib(r2)~(n-2); ERROR: `r1' is referred to as a property variable in an expression, although it has not yet been declared (as so). ERROR: Compilation failure for fib >< Int. >>> ``` + Of course, the following is successfully compiled as well: -- **New sample programs**: Two programs of *higher-order operations* are joined in sample programs: + ``` + >>> fib(r) >< (int n) + ... | n == 0 => r~0 + ... | n == 1 => r~1 + ... | _ => Add(r,r2)~r1, fib(r1)~(n-1), fib(r2)~(n-2); + >>> + ``` + + +- **New sample programs**: Two programs of *higher-order operations* are joined in sample programs: - `map.in`: It explains how map operation can be performed with built-in and not built-in agent and `%` notation. - `reduce.in`: Here, Foldr and Foldl are realised. -- cgit v1.2.3