Skip to content
Hallway
0:00 / 0:00

#relationalalgebra#typesystems

2 03 Types for a Relational Algebra Library

ICFP Video

3.8K subscribers • 33 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • A classic. People kept recommending it from 2017 to 2025.
  • Presented by Lennart Augustsson

Advanced. Deep dive for people who know the field.

839 views10 years ago2 recommendations

Programming languagesDatabases and dataHaskellSQLFunctional programming

Lennart Augustsson presents a type-safe Haskell library for relational algebra used at Standard Chartered.

The uploader added no description.

Why it's here

2 people recommend this

What people say. Recommended as an elegant demonstration of using a type system to provide a typesafe API for relational algebra.

u/tikhonjelvisin r/haskell • Recommends

On “Want to see if I get it right: Data-data relationships”

Standard Chartered have an internal library for relational algebra, which sounds like a very elegant and direct solution to the problem. Lennart Augustsson and Marten Agren wrote a paper about it in Haskell 2016, but I couldn't find the paper online. The talk Lennart gave is up though: link to this video Typed relational algebra sounds pretty exciting to me!
3View on Reddit

u/gergoerdiin r/ProgrammingLanguages • Recommends

On “Is there any language with a built-in SQL like Table/View data structure?”

Not sure why you'd need a special language for it. With a sufficiently expressive type system, you can provide a typesafe API to relational algebra over simple runtime data structures, see e.g. link to this video (paper at https://dl.acm.org/doi/10.1145/2976002.2976016)
1View on Reddit

u/Faucelmein r/haskell • Mentions

On “ICFP 2016 videos are available!”

Types for a Relational Algebra Library
11View on Reddit