Tiny type tools

Featuring Brian McKenna

Tooling is one of the most important parts of choosing a programming language. The tooling available for functional programming type systems leaves a huge amount of untapped potential. We can perform algebra on types, so there should be a library for that. We can search by types, so there should...

Glean: Data about code

Featuring Simon Marlow

Unison: Simple and direct distributed programming

Featuring Rúnar Bjarnason

Lessons Learned from 15 Years of Scala in the Wild

Featuring Dean Wampler

Unboxing Haskell

Featuring Edward Kmett

Haskell is infamous for its ubiquitous support for laziness. But we do have some primitive unlifted types: Int#s, unboxed tuples, and now unlifted data declarations. It is kind of annoying that anything you go to do with them is a one-off hack. What would it take to lift the Prelude to support...

Cryptography in Elixir: Why, how and traps to avoid

Featuring Daniel Draper

Interview with Louis Pilfold on Elixir Gleam

Featuring Louis Pilfold

Interview with Louis Pilfold on Elixir Gleam

Type-Guided Music Composition

Featuring Youyou Cong

Waterpark: Distributed Actors vs the Pandemic

Featuring Bryan Hunter

At HCA Healthcare we own and operate 185 hospitals, and around 2,000 surgery centers, freestanding emergency rooms, and clinics. Our scale breaks many vendor products. In 2018 we began building “Waterpark”, which would become the company’s next-gen integration platform (one-part streaming system,...

Not Your Grandma’s Distributed Programming

Featuring Heather Miller