HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-09-11 11:56:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix grammar in dups-and-sups.md

Browse Source
This commit is contained in:
Naitik Mundra 2024-08-09 14:13:01 +02:00 committed by GitHub
parent 23e086c5da
commit 66e5da7d59
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/dups-and-sups.md
View File

@ -31,7 +31,7 @@ let {x1 x2} = {1 2}
```
Due to how duplications are compiled, when two dups interact, they destructively interfere with each other.
In this case the result doesn't follow the expected behavior (it's well defined at the HVM level, but doesn't is incorrect at a lambda-calculus level).
In this case the result doesn't follow the expected behavior (it's well defined at the HVM level, but is incorrect at a lambda-calculus level).
That imposes a strong restriction on correct Bend programs: a variable should not duplicate another variable that itself duplicates some variables.
@ -57,4 +57,4 @@ def main:
```
In this case, we can only have one source of duplication, or our results will be incorrect.
Either List/map is linear (doesn't duplicate `f`) or the passed function is linear (doesn't duplicate `x` or any other variable inside it).
Either List/map is linear (doesn't duplicate `f`) or the passed function is linear (doesn't duplicate `x` or any other variable inside it).