dnrops
/
rfcs
mirror of https://github.com/rust-lang/rfcs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add E language as prior art

This commit is contained in:
Max Niederman 2024-05-24 22:13:52 -07:00
parent 2080f874e2
commit 452d9d0cc8
No known key found for this signature in database
GPG Key ID: C2EB24390E0AC0FF
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
text/3637-guard-patterns.md
View File

@ -239,9 +239,9 @@ This can also be seen as a special case of the previous argument, as pattern mac
# Prior art
[prior-art]: #prior-art
As far as I am aware, this feature has not been implemented in any other programming languages.
This feature has been implemented in the [E programming language](https://en.wikipedia.org/wiki/E_(programming_language)) under the name ["such-that patterns"](http://erights.org/elang/grammar/patterns.html#suchThat).
Guard patterns are, however, very similar to Haskell's [view patterns](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/view_patterns.html), which are more powerful and closer to a hypothetical "`if let` pattern" than a guard pattern as this RFC proposes it.
Guard patterns are also very similar to Haskell's [view patterns](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/view_patterns.html), which are more powerful and closer to a hypothetical "`if let` pattern" than a guard pattern as this RFC proposes it.
# Unresolved questions
[unresolved-questions]: #unresolved-questions