[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [xdi] A quick link contract riddle
I thought I'd share this with the list:Let's say we have this graph:=a*b<+c>&/&/"hello"=a/+friend/=xAnd this link contract in the same graph:$do/$get/=a*bNow let's look at the following two messages:Message 1:=sender[$msg]!1$do/$get/(=a/+friend/=x)=sender[$msg]!1/$do/$doMessage 2:=sender[$msg]!1$do/$get/(=a/()/*b)=sender[$msg]!1/$do/$doMessage 1 will obviously fail, because the link contract doesn't cover the requested statement.Now my question is, will Message 2 fail or succeed? Anyone?
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]