ypes anyone? Or Component/Shape Map Types?
3) Is Rich the first one to combine these two principles or are there prior
art?
4) Is the second principle covered somewhere in the clojure/spec
documentation.
Thanks for any info on this!
Regards/Henning Sato von Rosen
(I study CS at CSE Chalmers
e of it back by
> introducing category theory operations, as Haskell does, but then you
> have to deal with category theory.
>
> I suppose that would be a great place to start, looking at the limits of
> set theory and category theory. Lots of literature there...
>
> Also, wh
On Thu, Apr 25, 2019 at 2:32 AM wrote:
> A lot of the attribute-centric thinking is inspired by RDF and linked-data
>
Yes! Rich mentions that as well. So I tried to look into RDF, but it is
huge! If anybody has a good link to material relevant to this discussion,
I'm thankful, but at the time be
page etc etc.
Regards /Henning
On Thu, Apr 25, 2019 at 2:55 AM Ben Sima wrote:
> Henning Sato von Rosen writes:
>
> > Sorry if I'm wrong here, but I'm not sure we are talking about the same
> > data-type; I'm not referring to the Rich's examples with Ma
...
>
>>1. *Non-existence expressed by omisson of keyword.* Non-existence of
>>a value in a key/value-pair must be expressed by omission of the whole
>>key/value pair, not by `null` as a value.
>>...
>>
>> Just to add that I understand null should be interpreted as "I don't know
>
tml
>
> RDF also has a lot in common with Datomic in that you describe data with
> triples EAV(T) in datomic and SPO(G) in RDF. Likewise SPARQL and Datomic
> have a common ancestor in Datalog.
>
> I believe another non RDF influence for spec is this paper:
>
> http://matt.mig
Thanks again for interesting background/links!
On Fri, Apr 26, 2019 at 12:58 AM Rick Moynihan
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 fa
