On Wed, 1 May 2019 at 06:09, Henning Sato von Rosen <
henning.von.ro...@gmail.com> wrote:

>
> Thanks again for interesting background/links!
>
> On Fri, Apr 26, 2019 at 12:58 AM Rick Moynihan <rick.moyni...@gmail.com>
> wrote:
>
>>
>> I believe another non RDF influence for spec is this paper:
>>
>> http://matt.might.net/papers/might2011derivatives.pdf
>>
>>
> The paper on derivatives is both beautiful and mind-bending, but I fail to
> see how it might have inspired spec. Could you please ellborate?
>

The regex operators in spec are inspired by the implementations in that
paper, which I believe lead to guarantees of termination, by handling any
left recursion in the grammar...  The spec code also references these links:

http://matt.might.net/articles/implementation-of-regular-expression-matching-in-scheme-with-derivatives/
http://www.ccs.neu.edu/home/turon/re-deriv.pdf

https://github.com/clojure/spec.alpha/blob/master/src/main/clojure/clojure/spec/alpha.clj#L1369-L1372

Similarly SheX the RDF validator I mentioned also appears to be influenced
by this area; which finally clarifies a suspicion I'd had for a while...

Section 9 of this paper also cites some other derivate implementations,
e.g. Relax NG for validating XML:

https://pdfs.semanticscholar.org/7b7f/770d2243247688befe98b3aed0ea70b15e15.pdf

R.


> Regards /Henning
>
>
>
> --
> You received this message because you are subscribed to the Google
> Groups "Clojure" group.
> To post to this group, send email to clojure@googlegroups.com
> Note that posts from new members are moderated - please be patient with
> your first post.
> To unsubscribe from this group, send email to
> clojure+unsubscr...@googlegroups.com
> For more options, visit this group at
> http://groups.google.com/group/clojure?hl=en
> ---
> You received this message because you are subscribed to the Google Groups
> "Clojure" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to clojure+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
--- 
You received this message because you are subscribed to the Google Groups 
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to