aboutsummaryrefslogtreecommitdiff
path: root/docs/SUMMARY.md
blob: 8a4a530ea39063280c25bd95feeefe11cc5ee8b9 (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
# Summary

[The Puck Programming Language](../README.md)

- [Basic Usage](OVERVIEW.md)
  - [Variables and Comments]()
  - [Basic Types]()
  - [Functions and Calls]()
  - [Boolean and Integer Operations]()
  - [Conditionals and Control Flow]()
  - [Error Handling]()
  - [Loops and Iterators]()
  - [Modules]()
  - [Compile-time Programming]()
  - [Async and Threading]()
  - [Advanced Types]()
- [Syntax](SYNTAX.md)
  - [Indentation Rules [todo]]()
  - [Reserved Keywords]()
  - [A Formal Grammar]()
- [Type System](TYPES.md)
  - [Basic Types]()
  - [Parameter Types]()
  - [Reference Types]()
  - [Abstract Types]()
  - [Advanced Types]()
- [Module System](MODULES.md)
  - [Using Modules]()
  - [Implicit Modules]()
  - [Defining Module Interfaces [todo]]()
  - [Defining an External API [todo]]()
- [Error Handling](ERRORS.md)
  - [Errors as Monads]()
  - [Errors as Catchable Exceptions]()
  - [Errors and Void Functions [todo]]()
  - [Unrecoverable Exceptions]()
- [Async System](ASYNC.md)
  - [Threading [todo]]()
- [Metaprogramming](METAPROGRAMMING.md)
- [Memory Management [todo]]()
  - [Reference Counting Optimizations]()
  - [Annotations and Ownership]()
- [Language Interop [draft]](INTEROP.md)
  - [Rust, Swift, Nim]()
  - [Java, Kotlin]()
  - [Python, Racket, C]()
- [Refinement Types [draft]]()
- [Dependent Types [draft]]()
- [Effects System [draft]]()