Re: More info on Rich Hickeys ideas on Map types from "Maybe Not"

2019-04-25 Thread Henning Sato von Rosen
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

Re: More info on Rich Hickeys ideas on Map types from "Maybe Not"

2019-04-25 Thread Henning Sato von Rosen
Thanks again for your comments! They are absolutely very helpful! I feel I'm trying to free-my-mind here; still working on losing the idea that type-checking is magic done by the system/language, and instead something the programmer can use at will, and creatively, and in unexpected ways. Not only

Re: More info on Rich Hickeys ideas on Map types from "Maybe Not"

2019-04-25 Thread Henning Sato von Rosen
... > >>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 >

Re: More info on Rich Hickeys ideas on Map types from "Maybe Not"

2019-04-25 Thread Rick Moynihan
Having used both Clojure and RDF extensively I can say that there are many similarities between these two worlds, and the influence of RDF on Clojure isn't just something Rich say's, it's very apparant. I may be mistaken in some of the details here, but as I understand it in the world of GOFAI (Go