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

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 > wrote: > >> >> I believe another non RDF influence for spec is this paper: >> >> http://matt.might.net/

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

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

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

On Sat, 27 Apr 2019 at 10:56, Henning Sato von Rosen < henning.von.ro...@gmail.com> wrote: > Thanks a lot for the background on RDF and links, very interesting indeed! > > About FOL, you equal the properties that we are talking about to > predicates in FOL. > Firstly it's important to say that I

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

Thanks a lot for the background on RDF and links, very interesting indeed! About FOL, you equal the properties that we are talking about to predicates in FOL. I might have gotten it backwards here, but isn't the natural thing to think of our *map* as the relation (predicate) and our *properties* a

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

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

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

... > >>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"

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"

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"

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 Maybe, but his > examples with records/maps, where some fields may or may not be present. Right, and in most other type systems, th

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

A lot of the attribute-centric thinking is inspired by RDF and linked-data -- 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

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

El vie., 19 abr. 2019 a las 13:25, Henning Sato von Rosen (< henning.von.ro...@gmail.com>) escribió: > ... > >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

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

Hi Ben, Thanks for answering! 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 Maybe, but his examples with records/maps, where some fields may or may not be present. Example: Multiple functions manipulate the same d

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

I guess I'll take a crack at this... I think generally, core.spec is an implementation of contracts, so you could look at the literature around contracts for some sources. Racket is (afaik) most integrated contract language, there are some references here to start with: https://docs.racket-lang.or

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

Hi all, (I have googled for information on the below, but come up empty) I am looking for *the most authoritative written sources*, usable as references in a bachelor thesis on an idea/principle/data type that Rich Hickeys talks about e.g. in the talk *Maybe Not*: https://github.com/matthiasn/t