From d0cd3d140252c55151cd30c4bfed2e35138a30fc Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 30 Jul 2022 20:42:07 +0900 Subject: v0.9.2 --- Changelog.md | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index f6cc0dc..834f565 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,5 +1,35 @@ # Change log +### v0.9.2 (released on 30 July 2022) +#### New Features +* **A built-in agent** `Map`: Map function operation is realised by the following definition: +e + ``` + Map(result, f) >< [] => result~[], Eraser~f; + Map(result, f) >< x:xs => Dup(f1,f2)~f, + result~w:ws, + f1 ~ (w, x), Map(ws, f2)~xs; + ``` + Now, the Map has been implemented as built-in. + ``` + >>> inc(r)><(int i)=>r~i+1; + >>> Map(r1, (r, inc(r))) ~ [1,2,3]; + (22 interactions, 0.00 sec) + >>> r1; + [2,3,4] + >>> Map(r2, (r, Add(r,10))) ~ [1,2,3]; + (26 interactions, 0.00 sec) + >>> r2; + [11,12,13] + >>> Map(r3, %inc) ~ [1,2,3]; + (12 interactions, 0.00 sec) + >>> r3; + [2,3,4] + >>> + ``` + + + ### v0.9.1 (released on 28 July 2022) #### New Features * **A built-in agent** `Zip`: It takes two lists and returns a list whose elements are pairs of the given two lists elements such that: -- cgit v1.2.3 From a863c9a66eff6949f883da8e8bf927237b6e71ee Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 30 Jul 2022 20:43:45 +0900 Subject: v0.9.2 --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 834f565..9985118 100644 --- a/Changelog.md +++ b/Changelog.md @@ -3,7 +3,7 @@ ### v0.9.2 (released on 30 July 2022) #### New Features * **A built-in agent** `Map`: Map function operation is realised by the following definition: -e + ``` Map(result, f) >< [] => result~[], Eraser~f; Map(result, f) >< x:xs => Dup(f1,f2)~f, -- cgit v1.2.3