Post AWS16xOazyMMghRnPM by ldbeth@mastodon.sdf.org
 (DIR) More posts by ldbeth@mastodon.sdf.org
 (DIR) Post #AWS16wPydLs1eh5NvE by rml@functional.cafe
       2023-04-21T07:31:55Z
       
       0 likes, 0 repeats
       
       @screwtape @ldbeth @galdor @svetlyak40wtI think that #java's massive infrastructure overhaul to include continuations will pay off for them and prove the continuation hypothesis true ;)
       
 (DIR) Post #AWS16xOazyMMghRnPM by ldbeth@mastodon.sdf.org
       2023-04-21T15:16:10Z
       
       0 likes, 0 repeats
       
       @rml @screwtape @galdor @svetlyak40wt Well, Okmij said https://okmij.org/ftp/continuations/against-callcc.html
       
 (DIR) Post #AWS16yG7mxB5MiUXqK by screwtape@mastodon.sdf.org
       2023-04-21T16:07:57Z
       
       0 likes, 0 repeats
       
       @ldbeth @rml I like that article and hamfistedly express those ideas sometimes. But I have a few comments about continuations as a non-schemer.I think the reason continuations were mandated like this is that there are a few constructs (which never happen and at great cost) that are only possible beautifully and in the correct complexity with continuations exactly like this; that we simply must do something else for in common lisp.@Sandra continuations?
       
 (DIR) Post #AWS16zWp4M83InJOVc by screwtape@mastodon.sdf.org
       2023-04-21T16:09:50Z
       
       0 likes, 0 repeats
       
       @ldbeth @rml @Sandra also something being slow is a hardware problem: So when someone finds continuations beautiful, I say go for it and let the hardware people (or whatever) speed it up. I know that article addresses this by calling it an unreasonable burden.
       
 (DIR) Post #AWS16zXB32PdJtTg3s by Sandra@idiomdrottning.org
       2023-04-21T19:56:06.185547Z
       
       1 likes, 0 repeats
       
       @screwtape "I'm not really sold on the things continuation passing allows (easily) that common lisp's evaluation model doesn't though."Continuation passing, emphasis on the passing (CPS) is the easiest way for CL to implement continuations (as demonstrated in PAIP and On Lisp) but Scheme doesn't have to use continuation passing because we can always access the current contiunation as a value (and that can be, but doesn't have to be, inplemented through CPS).Continuations are great, I use 'em all the time and depend on them.https://idiomdrottning.org/call-with-current-continuation My value predicate contract / dependent type generics are implemented using continuations:https://idiomdrottning.org/match-generics#require@ldbeth @rml