Lambda Calculus
Check-in [195efb4c2e]
Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:added a nested binding test
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:195efb4c2eacf5890038f10665630b6802b5e9f4
User & Date: bill 2011-12-05 01:04:14
Context
2011-12-05
01:06
added clarification in the doc check-in: dd2c65f83f user: bill tags: trunk
01:04
added a nested binding test check-in: 195efb4c2e user: bill tags: trunk
01:01
changed monad implementation to use difference lists check-in: 0686d2898d user: bill tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to evaluator.html.

178
179
180
181
182
183
184

185
186
187
188
189
190
testM3 = read nil
testM4 = bind (read nil) \x . print x
testM5 = bind (read nil) \x . bind (print x) \y . bind (read nil) \z . bind (print z) \q . return 50
testM6 = bind (print one) \x . bind (read nil) \y . print y
testM7 = bind (print one) \x . return 3
testM8 = bind (print one) \x . bind (print two) \y . bind (print three) \z . return z
testM9 = bind (print hello) \x . bind (read nil) \y . return y


#define puts i32 @puts(i8* nocapture) nounwind
#define putsl i32 @putsl(i8* nocapture) nounwind
	</pre>
</body>
</html>







>






178
179
180
181
182
183
184
185
186
187
188
189
190
191
testM3 = read nil
testM4 = bind (read nil) \x . print x
testM5 = bind (read nil) \x . bind (print x) \y . bind (read nil) \z . bind (print z) \q . return 50
testM6 = bind (print one) \x . bind (read nil) \y . print y
testM7 = bind (print one) \x . return 3
testM8 = bind (print one) \x . bind (print two) \y . bind (print three) \z . return z
testM9 = bind (print hello) \x . bind (read nil) \y . return y
testM10 = bind (read nil) \x . bind (bind (read nil) \y . return y) \z . return x

#define puts i32 @puts(i8* nocapture) nounwind
#define putsl i32 @putsl(i8* nocapture) nounwind
	</pre>
</body>
</html>