Principled Code Generation with Guardrail

Design principles are important. Documentation is important.

As companies grow, as teams become distributed, it becomes difficult to coordinate expectations between teams. You can coordinate via tools like swagger, a specification language for HTTP services. However, specifications can become incorrect as features change, or they can be incorrectly constructed from the beginning, leaving the consumer to discover the mistake. By generating principled code from the specification, we can leverage the typesystem to write better software. If your documentation is wrong, your code doesn’t compile.

Session length

40 minutes

Language of the presentation

English

Target audience

Intermediate: Requires a basic knowledge of the area

Who is your session intended to

HTTP developers

Speaker

blast-hardchese (Twilio, Sr. SWE)

• ScalaMatsuri: https://youtu.be/ONlBglP8H3Y
• Haskell Meetup: https://youtu.be/d36y3NYmxH8
• Lambdaconf: https://youtu.be/qBU7u1Qa1fo

Contributes

• guardrail
• dhall-terraform