diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-30 20:45:01 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-30 20:45:01 +0900 |
| commit | 553a2511ae4309645190a2902100f0226d949fec (patch) | |
| tree | 2c9ebbcbdd227d615c089157b5aa19450c1de3c0 /Changelog.md | |
| parent | cb5035ee44fc9c242dcac4704fcf543a31681140 (diff) | |
| parent | a863c9a66eff6949f883da8e8bf927237b6e71ee (diff) | |
| download | inpla-553a2511ae4309645190a2902100f0226d949fec.tar.gz inpla-553a2511ae4309645190a2902100f0226d949fec.zip | |
Merge branch 'develop'
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 30 |
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: |
