katzen-cafe/iowo
2
4
Fork 1
Code Issues 4 Pull requests 2 Projects Releases Packages Wiki Activity

write initial type signature notation proposal #5

Merged
schrottkatze merged 3 commits from :type-notation into main 2024-01-11 14:55:57 +00:00
Conversation 1 Commits 3 Files changed 1 +5
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit b91e697449 - Show all commits

5
docs/design/type-notation.typ
View file

@ -9,6 +9,11 @@ Operator signature that takes two unnamed arbitrary numbers of the same type and
Op<T: Num> [ T T ] -> T Op<T: Num> [ T T ] -> T
``` ```
Operator signature that takes any color and any number type, and returns a color again:
```iowo
Op<C: Color, M: Num> [ C M ] -> C
```
Operator that takes a 32 bit signed integer and returns another: Operator that takes a 32 bit signed integer and returns another:
```iowo ```iowo