- From: Holger Knublauch <holger@topquadrant.com>
- Date: Tue, 16 Jun 2015 10:35:26 +1000
- To: public-data-shapes-wg@w3.org
On 6/15/2015 23:35, Peter F. Patel-Schneider wrote: > >> Wouldn't this problem be resolved by disallowing memoizing? sh:hasShape >> is our own function that we can define in whatever way we want. > Some form of memoizing is needed in procedural approaches to recursion so > that loops terminate. I don't see why. In my proposal sh:hasShape will terminate on the first truly recursive call (with exactly the same arguments). Do you have a counter example? BTW I have fixed the issue with walking the AND and OR operands from left to right, as discussed yesterday: https://github.com/w3c/data-shapes/commit/0b7a54857026b1ab1852912e60df99094b5482d0 Are there any other problems with the sh:hasShape approach? Thanks, Holger
Received on Tuesday, 16 June 2015 00:37:42 UTC