can't cont!

[jjtolton]

The documentation on cont is a little... scarce 😅 right now! Does anyone have any good examples or resources for continuation usage in Scryer?

[triska]

At least the README links to the paper with several examples: https://biblio.ugent.be/publication/5646080/file/5646081

A notable use is in library(tabling):

scryer-prolog/src/lib/tabling.pl

Line 165 in 5c39e2a

delim(Wrapper,Worker,Table) :-

Note the distinction between none and cont(Goal), a clean representation as discussed in #136.

[jjtolton]

At least the README links to the paper with several examples: https://biblio.ugent.be/publication/5646080/file/5646081

A notable use is in library(tabling):

scryer-prolog/src/lib/tabling.pl

Line 165 in 5c39e2a

delim(Wrapper,Worker,Table) :-

Note the distinction between none and cont(Goal), a clean representation as discussed in #136.

🥳 that will give me enough to get into some trouble!

[hurufu]

Many libraries are fruits of long academic research and have an accompanying white papers (or even many of them). So if writing full documentation is time consuming then at least we could add bibliography.

[triska]

Yes, at the very least we can link to the paper that is also mentioned in the README!

In the specific case of delimited continuations, there is an interesting additional concern: I remember a discussion where it was stated that the names shift and reset are very hard to understand or even misnomers, I think the statement also came from people with a very deep understanding of delimited continuations. In such cases, it may be more interesting and fruitful to first discuss usage and naming issues before spreading the use of the library in its current form.