diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-30 20:42:07 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-07-30 20:42:07 +0900 |
| commit | d0cd3d140252c55151cd30c4bfed2e35138a30fc (patch) | |
| tree | cea203ebb8e6aae387acedff2c3282f6effb130a /Changelog.md | |
| parent | d0dcc63979c04e5c0fac4e776b87298ca3d8678a (diff) | |
| download | inpla-d0cd3d140252c55151cd30c4bfed2e35138a30fc.tar.gz inpla-d0cd3d140252c55151cd30c4bfed2e35138a30fc.zip | |
v0.9.2
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..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: |
