Senior Clojure Developer Wanted - Job based in Beijing/Tokyo

2019-04-24 Thread wuzhe
BaseFEX is a fast growing cryptocurrency futures exchange. The 95% of the system is programmed using Clojure. We are looking for new Clojure developers to join us. Website: https://www.basefex.com Location: Based in Tokyo or Beijing Send your Resume to wu [at] basefex.com to get in touch. - J

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

2019-04-24 Thread Ben Sima
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

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

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

2019-04-24 Thread Jesús Gómez
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"

2019-04-24 Thread dustin
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"

2019-04-24 Thread Ben Sima
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