blob: d26c2aa4289b52a08113a3ad2fc75efb7a34d931 (
plain) (
blame)
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
|
# Summary
[The Puck Programming Language](../README.md)
- [Basic Usage](OVERVIEW.md)
- [Variables and Comments]()
- [Functions and Indentation]()
- [Uniform Function Call Syntax]()
- [Basic Types]()
- [Conditionals and Pattern Matching]()
- [Error Handling]()
- [Blocks and Loops]()
- [Module System]()
- [Compile-time Programming]()
- [Async System and Threading]()
- [Memory Management]()
- [Types System]()
- [Structs and Tuples]()
- [Unions and Enums]()
- [Classes]()
- [Syntax](SYNTAX.md)
- [Call Syntax]()
- [Indentation Rules]()
- [Expression Rules]()
- [Reserved Keywords]()
- [A Formal Grammar]()
- [Type System](TYPES.md)
- [Basic Types]()
- [Parameter Types]()
- [Reference Types]()
- [Abstract Types]()
- [Advanced Types]()
- [Module System](MODULES.md)
- [What are modules?]()
- [Using modules]()
- [Implicit modules]()
- [Defining interfaces [todo]]()
- [Defining an external API [todo]]()
- [Memory Management [todo]](MEMORY_MANAGEMENT.md)
- [Metaprogramming](METAPROGRAMMING.md)
- [Scope]()
- [Usage]()
- [Quoting [todo]]()
- [Error Handling](ERRORS.md)
- [Errors as monads]()
- [Errors as checked exceptions]()
- [Errors as effects [todo]]()
- [Unrecoverable Exceptions]()
- [Async System](ASYNC.md)
- [Effects System [todo]]()
- [Threading [todo]]()
- [Language Interop [draft]](INTEROP.md)
- [Rust]()
- [Swift, Nim]()
- [Java, Kotlin]()
- [Python, Racket, C]()
- [Effects System [draft]]()
- [Refinement Types [draft]]()
- [Dependent Types [draft]]()
- [Examples](EXAMPLES.md)
|
