blob: 2fb8f626099f3d92ed2230062f32c8185d58e969 (
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
|
* Improve front-end language
- Tuple syntax in expressions, types and patterns. Implemented with records.
- List syntax in expressions, types and patterns. Implemented with List.
- operators for primitive string operations:
- list operators: ++, :
- overloaded operators?
- implicit arguments?
- layout syntax?
- composOp generation
- show generation
- eq generation
- better module system
- Disjunctive patterns
- Negated patterns?
- Fix BNFC layout resolver to not insert double ; (instead of removing them)
* Improve interpreter
- More efficient handling of constructor application
* Improve interpreter API
- Allow passing terms as some structured type.
* Improve the core language
* Improve compilation
- Eta-expand constructor applications and use the core feature for them.
* Add primitive operations to core
- primitive operations on strings:
- add floating-point numbers with primitive oeprations?
* Implement module system in interpreter
* Add type checker for core
* Add friendly type checker for front-end language
* Add termination checker
|
