These are chat archives for got-lambda/expression

24th
May 2016
Marco Zocca
@ocramz
May 24 2016 08:31 UTC
re. uKanren, I feel it's of such general utility that it should be given a treatment as independent as possible from its implementation
for example, the trick with n-ary AND, the definition of binding sets ..
Marco Zocca
@ocramz
May 24 2016 08:51 UTC
in fact, we could even study another implementation of it, next time
Erik Svedäng
@eriksvedang
May 24 2016 11:36 UTC
i'd be up for that, but I also think it's good to vary the topics a bit maybe
jolod
@jolod
May 24 2016 18:39 UTC
@eriksvedang First impression: great! I have not used Schema partly for the reasons detailed in about/spec. And I really like that Rich is pushing for namespace qualified map keywords: "These are tragically underutilized and convey important benefits because they can always co-reside in dictionaries/dbs/maps/sets without conflict."
jolod
@jolod
May 24 2016 18:54 UTC
@eriksvedang Actually, I have written two libraries that aid working with "qualified maps". (@Jell, these are what we talked about at a meetup at Football Addicts.) I've found them to be too unidiomatic for the larger Clojure community (which almost never use qualified maps) to release them, but maybe now's the time.
Erik Svedäng
@eriksvedang
May 24 2016 21:47 UTC
cool, I want a demo ^^
Erik Svedäng
@eriksvedang
May 24 2016 21:58 UTC
they published a guide now: http://clojure.org/guides/spec
jolod
@jolod
May 24 2016 22:12 UTC
@eriksvedang I'll see if I can get it out this week. No promises though. :-)