Name: HYBRID: Leveling Up Clojure Runtime Specs
Start: 2024-03-06T18:30:00-06:00
End: 2024-03-06T20:30:00-06:00
Location: StartingBlock Madison

Clojure has a powerful selection of dynamic verification tools, including Schema, Spec, and Malli. In this talk, we will motivate the need for even more expressive runtime specifications. Repurposing familiar ideas from static types and interpreters, we will explore higher-level abstractions over runtime specs that bump up their expressivity without compromising their dynamism.

The talk will also be [streamed live](https://www.youtube.com/watch?v=2vAyJPwogSI) with a VOD later.

Agenda:

* 6:30pm arrive and eat (was thinking pizza), please record any dietary restrictions [here](https://forms.gle/AbzGfXPDT9AXkqAs9).
* start stream, 7pm talk
* 7:45pm all questions
* 8pm end stream, offline questions
* 8:30pm end meetup, people who want to hang out can choose from nearby bars and restaurants

James Elliott

Peter Schuck

Madison Clojure Meetup

Technology

Software Development

Functional Programming

Clojure

Ambrose has been an active member of the Clojure community since 2011. He has participated in the development of many dynamic verification tools for Clojure, including trammel, core.contracts, dynalint, Schema, Spec, test.chuck, typed.clj.spec and Malli. He is the creator of Typed Clojure, the subject of his PhD thesis, and a maintainer of Plumatic Schema.

Madison Clojure Meetup

HYBRID: Leveling Up Clojure Runtime Specs

Madison Clojure Meetup

Details

Members are also interested in