Constraining Malli Schemas, by Ambrose Bonnaire-Sergeant
Details
>>>> STREAM <<<<
This event is not at our usual time in order for the stream to be accessible from a cross-section of time-zones.
A video will be posted after the event.
Food will be provided. Please RSVP so we can prepare.
For in-person attendees, please remember Eric's practice talk next month.
Agenda:
- 11:30am feel free to arrive, use the stairs in the lobby to get to the 2nd floor at our usual room.
- 12pm talk and stream starts
- 12:45pm talk ends, online questions.
- 1pm end stream, offline questions
- 2pm end meetup
Talk Title: Constraining Malli Schemas
Talk Abstract:
In this talk we look at some ways Malli schemas are not expressive enough and must resort to partial workarounds. For example, to specify a map with one key or another but not both, the dreaded addition of :and + :fn is needed to assert a postcondition on the map. This then negatively affects error messages and generating examples.
We then propose a clean solution to this problem, and many problems like it, by adding support for constraints on individual schemas.