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 +38
1 changed files with 38 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
docs/design/type-notation.typ Normal file
View file

@ -0,0 +1,38 @@
#import "../template.typ": conf
#show: conf
= Type/signature notation
multisamplednight marked this conversation as resolved
multisamplednight commented 2024-01-10 21:05:06 +00:00
Review
Copy link

Can be simplified.

-#show doc => conf(
-    doc
-)
+#show: conf
Can be simplified. ```diff -#show doc => conf( - doc -) +#show: conf ```
multisamplednight commented 2024-01-10 21:06:33 +00:00
Review
Copy link

Also I suggest adding a title and subtitle once #2 is merged.

Also I suggest adding a title and subtitle once https://forge.katzen.cafe/katzen-cafe/iowo/pulls/2 is merged.
Operator signature that takes two unnamed arbitrary numbers of the same type and returns another:
```iowo
Op<T: Num> [ T T ] -> T
multisamplednight commented 2024-01-10 21:07:24 +00:00
Outdated
Review
Copy link

Should be full codeblocks.

-`Op<T: Num> [ T T ] -> T`
+```iowo
+Op<T: Num> [ T T ] -> T
+```
Should be full codeblocks. ```diff -`Op<T: Num> [ T T ] -> T` +```iowo +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:
```iowo
Op i32 -> i32
```
Operator that does the same with a generic arbitrary number type:
```iowo
Op<T: Num> T -> T
```
One dimensional list of 32 bit signed integers:
```iowo
[i32]
```
Due to inference, you'll also be able to use that in some mathematical operations with integers:
`[i32] + i32` is a valid operation, for example (of course, you can't add types.) But that wouldn't add the second one to the list, but rather add the single i32 to all values in the left hand side list). That would also work with more dimensional arrays and dynamic streams like videos.