Commit 1c7644d2085c7b94b47a371c552e4db7a58bb38f - Argyle

We keep getting closer. Chris Pressey 3 months ago

2 changed file(s) with 18 addition(s) and 4 deletion(s). Raw diff Collapse all Expand all

+12

-2

Tests.md less more

214	214	Function application is represented naturally:
215	215
216	216	(quote (add 1 2))
217		===> <ABT: Operator "apply" [Var "add",Operator "literal" [Operator "1" []],Operator "literal" [Operator "2" []]]>
	217	===> <ABT: Operator "let" [Binder "add" (Operator "apply" [Var "add",Operator "literal" [Operator "1" []],Operator "literal" [Operator "2" []]]),Operator "values" [Var "add"]]>
218	218
219	219	And can be evaluated:
220	220

236	236	(eval foo))
237	237	===> 10
238	238
	239	This applies to functions that have closed over values in outer scopes too:
	240
	241	(let (
	242	(factor 2)
	243	(foo (let ((double (lambda (x) (mul x factor))))
	244	(quote (double 5))))
	245	)
	246	(eval foo))
	247	===> 10
	248
239	249	Lambda expressions in quotes create binders:
240	250
241	251	(quote (lambda (x) x))

252	262
253	263	(quote (let ((double (lambda (x) (mul x 2))))
254	264	(double 5)))
255		===> <ABT: Operator "let" [Binder "double" (Operator "apply" [Var "double",Operator "literal" [Operator "5" []]]),Operator "values" [Binder "x" (Operator "apply" [Var "mul",Var "x",Operator "literal" [Operator "2" []]])]]>
	265	===> <ABT: Operator "let" [Binder "mul" (Operator "let" [Binder "double" (Operator "apply" [Var "double",Operator "literal" [Operator "5" []]]),Operator "values" [Binder "x" (Operator "apply" [Var "mul",Var "x",Operator "literal" [Operator "2" []]])]]),Operator "values" [Var "mul"]]>
256	266
257	267	Evaluation of complex quoted expressions works as expected:
258	268

-2

src/Language/Argyle/Interpreter.hs less more

105	105	Just val -> case val of
106	106	VNum n -> return $ Just $ Operator "literal" [Operator (show n) []]
107	107	VABT abt -> return $ Just abt
108		VClosure {} -> return Nothing -- Skip closures
109		VBuiltin {} -> return Nothing -- Skip builtins
	108	VClosure param body _ ->
	109	-- Convert closure to a lambda ABT
	110	return $ Just $ Binder param body
	111	VBuiltin name _ ->
	112	-- For builtins, just use their name as a var
	113	return $ Just $ Var name
110	114	Nothing -> return Nothing
111	115
112	116	-- \| Function application