blob: 7047de361c259e644be6dc290afcf8dfde16e78b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
|
# Syntax
---
Code is encoded as UTF-8, allowed glyphs are:
```text
abcdefghijklmnopqrstuvwxyz
ABCDEFGHIJKLMNOPQRSTUVWXYZ
0123456789
`~!@#$%^&*()-_=+{}[]\|;:'"<>,.?/
\s\t\n
```
# Comments
```text
// This is a comment until the end of the line
/* Comment block */
```
# Atoms
## Number Literals
##### Integer
```text
12 // Decimal
0x12 // Hex
0b10 // Binary
0o75 // Octal
```
##### Float
```text
1.2
1e6
```
Underscores `_` can separate digits in a number
```text
100_000
1.100_000
```
## String Literals
```text
"Asdf\n"
```
Any UTF-8 glyph is allowed between `""`
```text
Ω // Invalid code
"Ω" // Valid code
```
## Variable Names
Start with a lowercase letter
Variables starting with `_` are treated as unused
## Type Names
Start with an uppercase letter
# Operators
Represented as an symbol or a keyword starting with \`
```text
1 + 2
1 `add 2
```
# Symbols
Start with a `.`
```test
.symbol
```
# Lists
A list of statements between `()` separated by `;` or `\n`
# Definitions
A list of type definitions between `[]` separated by `;` or `\n`
# Actions
A list of statements between `{}` separated by `;` or `\n` that can be associated with a conditional
## Conditionals
#### Loop `@`
```text
@ condition { statements }
@ condition { statements }[args]
@ condition { statements }[.name]
@ condition { statements }[.name; args]
```
#### If `?`
```text
? condition { statements }
? {
condition { statements }
{ default statements }
}
```
#### Match `#`
```text
# match {
target { statements }
target { statements }[args]
{ default statements }
}
```
|
