Schema for Clojure(Script) Data Shape Declaration and Validation

#1

Post by sorenmacbeth » Thu, Sep 05, 2013, 3:47 PM UTC

Schema for Clojure(Script) Data Shape Declaration and Validation
blog.getprismatic.com

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#2

Post by aria » Thu, Sep 05, 2013, 3:59 PM UTC

Author here. Happy to answer any questions or comments.

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#3

Post by filipncs » Thu, Sep 05, 2013, 4:44 PM UTC

aria wrote: post #2

Author here. Happy to answer any questions or comments.

You mention generating core.typed annotations from schemas, to allow for some compile-time checking.

I would have thought that this would be extremly hard to automate for non-trivial schemas, or at least that core.typed would have a hard time proving that return values match a schema. Is this only for a subset?

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#4

Post by dsabanin » Thu, Sep 05, 2013, 4:46 PM UTC

Great stuff, thanks for releasing this. Definitely going to use it soon.

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#5

Post by olenhad » Thu, Sep 05, 2013, 4:46 PM UTC

This is really brilliant, and damned useful. Reminds me of how type declarations provide self documenting code in Haskell. Thanks alot!

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#6

Post by aria » Thu, Sep 05, 2013, 4:49 PM UTC

dsabanin wrote: post #4

Great stuff, thanks for releasing this. Definitely going to use it soon.

Thanks so much. We spent a long time thinking about how to have the benefits of types in a Clojure-y data-oriented way. The advantage of having Schemas as data is that we can use Clojure code to process them and generate things like Objective-C classes (https://github.com/Prismatic/schema/blob/d82bf0b049fc1205a81...) and Avro specifications. It will be our glue to declarations in other languages.

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#7

Post by drcode » Thu, Sep 05, 2013, 4:49 PM UTC

aria wrote: post #2

Author here. Happy to answer any questions or comments.

Hey, I like what you're doing here, I think I'll use this... it gives you a lot of the benefits of a deep type system while being completely orthogonal to the design of the program and without the cognitive overhead of a complex type system.

Also, functional programming is heavily focused on data transformations, which in practice means lots of deeply nested heterogenous data structures... these types of structure are usually tedious to put into a static type system, but your system appears to make it easy.

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#8

Post by aria » Thu, Sep 05, 2013, 4:50 PM UTC

olenhad wrote: post #5

This is really brilliant, and damned useful. Reminds me of how type declarations provide self documenting code in Haskell. Thanks alot!

Definitely an inspiration. The core utility of Schema is that the declarations are still data and can be utilized in code. I think we'll have some interesting applications of this idea soon...

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#9

Post by mrcactu5 » Thu, Sep 05, 2013, 4:54 PM UTC

Newbie here, mostly familiar with OOP.

What is the difference between how Clojure and other functional programming languages declare types.

Re: Schema for Clojure(Script) Data Shape Declaration and Validation

#10

Post by RichMorin » Thu, Sep 05, 2013, 4:55 PM UTC

Interesting work. BTW, there's a typo: "shee here" should be "see here".