Talk details

In schedule:
Green stage
May 19, 13:40 - 15:30 CET
CUE — A Type System for the Cloud
Topics:
Software Delivery Craft Matters
testing
practices
scale
cue
type systems
dsls
cloud computing
configuration engineering
correctness
yaml
json
Level: General

CUE is an open source language with a rich set of APIs and tooling for defining, generating, and validating all kinds of data, such as configuration, APIs, database schemas, code... you name it.

CUE has an uncanny ability to act as an ad-hoc type checker that keeps things in check between loosely-coupled arbitrary systems that independently produce and consume data without knowing of each other.

In this session we'll do a full tour of CUE, its syntax, semantics, and features, and I'll show you how you can use CUE to increase your confidence in your systems while simultaneously increasing development velocity.

Speaker
Craft 2023 - Aram Hăvărneanu
Aram Hăvărneanu
Language Designer at cuelang.org

I am a generalist.The common theme across my career has been applying mathematical methods to develop correct, reliable, and understandable systems.I've helped develop hardware, operating systems, security products, cloud infrastructure, compilers, formal specifications and proofs of their implementation.I currently focus on using novel computer languages to facilitate the process of designing sof...