Arc Forumnew | comments | leaders | submitlogin
1 point by Pauan 4720 days ago | link | parent

By the way, I finally got around to reading the entire article, and I have a few comments.

---

Firstly, that JavaScript amb link is very cool: http://mihai.bazon.net/blog/amb-in-javascript

---

Secondly, the macro caching idea is very cool: you're memoizing macros based on their input. I'm actually surprised that I haven't heard of that technique before... it seems like a really obvious thing to do.

Maybe it's because Kernel ditches macros and just uses raw vaus, in which case you'd have to memoize based on both the environment and the input... hm... that's actually a really interesting idea...

---

Thirdly, you mentioned your strategy for first-class continuations... I had actually been trying to figure out how to implement continuations in Nulan, but your explanation is simple enough that it should work, so much thanks for that!



1 point by rocketnia 4718 days ago | link

"Firstly, that JavaScript amb link is very cool"

I'm glad to see there's a follow-up which uses continuation-passing style:

http://mihai.bazon.net/blog/amb-in-javascript/take-two

This seems more in the spirit of 'amb.

-----

2 points by Patient0 4719 days ago | link

Thanks so much for all of your feedback Pauan!

-----