PolyConf 15: Contracts as Types / Jessica Kerr

Moving from Scala to Clojure, I was horrified and crippled by the lack of declared types. In desperation I cling to Prismatic Schema, which lets me describe parameters and return values, which are optionally enforced: contracts that look like types. In some ways this is even better than static types. Can I convolute these contracts into parameterized types? Let's explore these surprises.

[FunkyELF]

Audio out of sync with slides, completely unwatchable because of this

[ft]

This video needs be re-done or taken down.

As has already been said, the slides are totally out of sync with the video.

Even if you use the slides on Slideshare, there are so many, and they change so fast it quickly becomes too confusing to continue.