QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Elaborate on guards

Browse Source
This commit is contained in:
Gaith Hallak 2021-09-18 18:33:07 +03:00
parent eadd00cc4d
commit 15ddec00bd
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/sophia_features.md
View File

@ -471,6 +471,8 @@ function
get_left(Both(x, _)) = Some(x)
```
*NOTE: Data types cannot currently be recursive.*
Sophia also supports the assignment of patterns to variables:
```sophia
function f(x) = switch(x)
@ -482,8 +484,10 @@ function g(p : int * option(int)) : int =
b
```
Guards are boolean functions that can be used on patterns in both switch
statements and functions definitions:
Guards are boolean expressions that can be used on patterns in both switch
statements and functions definitions, if a guard expression evalutaes to
`true`, then the corresponding body will be used, otherwise, the next pattern
will be checked:
```sophia
function get_left_if_positive(x : one_or_both('a, 'b)) : option('a) =
@ -501,7 +505,7 @@ function
get_left(_) = None
```
*NOTE: Data types cannot currently be recursive.*
Guards cannot be stateful even when used inside a stateful function.
## Lists