blob: 0777812b76b4992d28030ffca45ea1ed774f60ac (
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
|
(ns lang
(:require (lang [lexer :as &lexer]
[parser :as &parser]
[type :as &type]
[analyser :as &analyser]
[compiler :as &compiler])
:reload))
(comment
;; TODO: Add macros.
;; TODO: Re-implement compiler in language.
;; TODO: Add signatures & structures OR type-classes.
;; TODO: Add type-level computations.
;; TODO: Add thunks.
;; TODO: Do tail-call optimization.
;; TODO: Adding metadata to global vars.
;; TODO: Add records.
;; TODO: throw, try, catch, finally
;; TODO: Tuple8 and Tuple8X (for arbitrary-size tuples).
;; TODO: Add extra arities (apply2, apply3, ..., apply16)
;; TODO: When doing partial application, skip "apply" and just call constructor appropiatedly.
;; TODO: Add "new". Allow setting fields.
;; TODO: Don't take into account newlines in strings unless they come from \n to allow better coding.
;; TODO:
;; TODO:
;; TODO:
;; TODO:
(let [source-code (slurp "test2.lang")
tokens (&lexer/lex source-code)
;; _ (prn 'tokens tokens)
syntax (&parser/parse tokens)
;; _ (prn 'syntax syntax)
;; ann-syntax (&analyser/analyse "test2" syntax)
;; _ (prn 'ann-syntax ann-syntax)
;; class-data (&compiler/compile "test2" ann-syntax)
class-data (&compiler/compile "test2" syntax)
;; _ (prn 'class-data class-data)
]
;; (with-open [stream (java.io.BufferedOutputStream. (java.io.FileOutputStream. "test2.class"))]
;; (.write stream class-data))
)
(Class/forName "test2.Variant")
;; jar cvf test2.jar *.class test2 && java -cp "test2.jar" test2
)
;; (def (workday? d)
;; (case d
;; (or [#Monday #Tuesday #Wednesday #Thursday #Friday]
;; true)
;; (or [#Saturday #Sunday]
;; false)))
|