shen continuations

123 views

Skip to first unread message

Joel McCracken

unread,

Sep 4, 2024, 6:23:45 PM9/4/24

to qil...@googlegroups.com

I was looking at the TOC of TBOS, and noticed it mentioned continuations; that surprised me, and when I looked at it, I saw it was talking about thunks/freeze.

I wonder if anyone has experimented with compiling with continuations, KL, and Shen, in order to achieve a call/cc function.

Mark

unread,

Sep 5, 2024, 1:41:09 PM9/5/24

to Shen

I've always been curious to know. I'll try to add call/cc to Scryer Shen eventually. SML already has the type theory worked out.

Reply all

Reply to author

Forward

0 new messages