Strange Loop

Put A Type On It: Idris Type Providers for AWS Resources

Enforcing the myriad of policies surrounding security, availability, cost, and other business requirements of new services in a distributed operating environment is not for the faint of heart.

In this talk, Susan will demonstrate how to write a type provider in Idris which will read in VPC and subnet resource metadata from AWS and build a small library of functions that can enforce security, and availability policies for distributed systems deployments.

Susan Potter

Referential Labs

Susan is a distributed systems engineer straddling technical operations and engineering helping make data and service infrastructure operationally manageable at scale. Over the last seventeen years she has worked on algorithmic trading systems, market data software, multi-tenant service oriented architecture, and continuous delivery.