aboutsummaryrefslogtreecommitdiff
path: root/Changelog.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2022-07-30 20:45:01 +0900
committerShinya Sato <shinnya.sato@gmail.com>2022-07-30 20:45:01 +0900
commit553a2511ae4309645190a2902100f0226d949fec (patch)
tree2c9ebbcbdd227d615c089157b5aa19450c1de3c0 /Changelog.md
parentcb5035ee44fc9c242dcac4704fcf543a31681140 (diff)
parenta863c9a66eff6949f883da8e8bf927237b6e71ee (diff)
downloadinpla-553a2511ae4309645190a2902100f0226d949fec.tar.gz
inpla-553a2511ae4309645190a2902100f0226d949fec.zip
Merge branch 'develop'
Diffstat (limited to 'Changelog.md')
-rw-r--r--Changelog.md30
1 files changed, 30 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md
index f6cc0dc..9985118 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:
+
+ ```
+ 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: