Type Safety Or Security Theater: Using Servant And Yesod As Case Studies

Type safety is the main industry-oriented selling point for languages like Haskell or Rust. It promises fearless refactoring, confident pushes to production, and nimbly pivoting to ever-changing business needs or market pressures. However, anyone who has taken a cursory glance at how many terrorist attacks the TSA has actually stopped has a deep appreciation of the high opportunity cost of security theater. At airports, it's long lines, wasted square footage, and spent tax dollars for no benefit. With programming, it's heavy-weight-yet-leaky-abstractions, overwrought CI processes filled with flaky, error-prone tests, or release approval ceremonies overburdened with theater and ritual.

Starting from: $500

Unchain your mind at LambdaConf 2024

Buy tickets