Gauche > Archives > 2020/06/20

2020/06/20 18:20:17 UTCleque
#
Adding Delimited and Composable Control to a Production Programming Environment (Flatt et al. 2007) https://www.cs.utah.edu/plt/publications/icfp07-fyff.pdf によると、2007年時点でGasbichler & Sperberは動的環境まわりがうまく動かないのでScheme48本体に入らない状態だったみたいです(今も入ってない?
#
ちなみに、Gasbichler & Sperberのmeta-continuation semanticsを見ると、call/ccは継続だけを操作して、メタ継続は触らないので、resetの外側の継続を触れないのはそういうものなのかと