mirror of
https://github.com/kanaka/mal.git
synced 2024-09-21 10:37:58 +03:00
999efc9f4b
I mistakenly assumed that the way to retrieve the current context is by calling a documented static method. Apparently thisContext is the missing sixth keyword in Smalltalk, so that's not needed.
116 lines
3.2 KiB
Smalltalk
116 lines
3.2 KiB
Smalltalk
String extend [
|
|
String >> loadRelative [
|
|
| scriptPath scriptDirectory |
|
|
scriptPath := thisContext currentFileName.
|
|
scriptDirectory := FilePath stripFileNameFor: scriptPath.
|
|
FileStream fileIn: (FilePath append: self to: scriptDirectory)
|
|
]
|
|
]
|
|
|
|
'readline.st' loadRelative.
|
|
'util.st' loadRelative.
|
|
'types.st' loadRelative.
|
|
'reader.st' loadRelative.
|
|
'printer.st' loadRelative.
|
|
'env.st' loadRelative.
|
|
|
|
Object subclass: MAL [
|
|
MAL class >> READ: input [
|
|
^Reader readStr: input
|
|
]
|
|
|
|
MAL class >> evalAst: sexp env: env [
|
|
sexp type = #symbol ifTrue: [
|
|
^env get: sexp value
|
|
].
|
|
|
|
sexp type = #list ifTrue: [
|
|
^self evalList: sexp env: env class: MALList
|
|
].
|
|
sexp type = #vector ifTrue: [
|
|
^self evalList: sexp env: env class: MALVector
|
|
].
|
|
sexp type = #map ifTrue: [
|
|
^self evalList: sexp env: env class: MALMap
|
|
].
|
|
|
|
^sexp
|
|
]
|
|
|
|
MAL class >> evalList: sexp env: env class: aClass [
|
|
| items |
|
|
items := sexp value collect:
|
|
[ :item | self EVAL: item env: env ].
|
|
^aClass new: items
|
|
]
|
|
|
|
MAL class >> EVAL: sexp env: env [
|
|
| ast a0_ a1_ a2 forms function args |
|
|
sexp type ~= #list ifTrue: [
|
|
^self evalAst: sexp env: env
|
|
].
|
|
sexp value isEmpty ifTrue: [
|
|
^sexp
|
|
].
|
|
|
|
ast := sexp value.
|
|
a0_ := ast first value.
|
|
a0_ = #'def!' ifTrue: [
|
|
| result |
|
|
a1_ := ast second value.
|
|
a2 := ast third.
|
|
result := self EVAL: a2 env: env.
|
|
env set: a1_ value: result.
|
|
^result
|
|
].
|
|
|
|
a0_ = #'let*' ifTrue: [
|
|
| env_ |
|
|
env_ := Env new: env.
|
|
a1_ := ast second value.
|
|
a2 := ast third.
|
|
1 to: a1_ size by: 2 do:
|
|
[ :i | env_ set: (a1_ at: i) value
|
|
value: (self EVAL: (a1_ at: i + 1) env: env_) ].
|
|
^self EVAL: a2 env: env_
|
|
].
|
|
|
|
forms := (self evalAst: sexp env: env) value.
|
|
function := forms first.
|
|
args := forms allButFirst asArray.
|
|
^function valueWithArguments: args
|
|
]
|
|
|
|
MAL class >> PRINT: sexp [
|
|
^Printer prStr: sexp printReadably: true
|
|
]
|
|
|
|
MAL class >> rep: input env: env [
|
|
^self PRINT: (self EVAL: (self READ: input) env: env)
|
|
]
|
|
]
|
|
|
|
| input historyFile replEnv |
|
|
|
|
historyFile := '.mal_history'.
|
|
ReadLine readHistory: historyFile.
|
|
replEnv := Env new: nil.
|
|
|
|
replEnv set: #+ value: [ :a :b | MALNumber new: a value + b value ].
|
|
replEnv set: #- value: [ :a :b | MALNumber new: a value - b value ].
|
|
replEnv set: #* value: [ :a :b | MALNumber new: a value * b value ].
|
|
replEnv set: #/ value: [ :a :b | MALNumber new: a value // b value ].
|
|
|
|
[ input := ReadLine readLine: 'user> '. input isNil ] whileFalse: [
|
|
input isEmpty ifFalse: [
|
|
ReadLine addHistory: input.
|
|
ReadLine writeHistory: historyFile.
|
|
[ (MAL rep: input env: replEnv) displayNl ]
|
|
on: MALEmptyInput do: [ #return ]
|
|
on: MALError do:
|
|
[ :err | ('error: ', err messageText) displayNl. #return ].
|
|
]
|
|
]
|
|
|
|
'' displayNl.
|