blob: 6ad3a3428f8573b1fb6edb7b03f5b86f9674b62e (
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
|
* Improve front-end language
- implicit arguments?
- show generation
- ord generation
- better module system
- Negated patterns?
- Simplify taking many arguments of the same type: f : (A,B : Type) -> ...
- add record extension operator?
* Improve interpreter
- More efficient handling of constructor application
- Implement tail recursion.
* Improve the core language
* Add primitive types operations to core
- add Char type, with primitive operations:
- Enum stuff
- add more primitive operations on strings:
- make list an isntance of the collection class for strings
* Add more libraries
- Enum class
- Bounded class
- list functions
- a map structure
- collections framework?
- state monad
* Improve compilation
* Implement module system in interpreter
* Add type checker for core
* Add friendly type checker for front-end language
* Add termination checker
|
