Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell

Ting-Yan Lai, Tyng-Ruey Chuang, Shin-Cheng Mu

Redis is an in-memory data structure store, often used as a database, with a Haskell interface Hedis. Redis is dynamically typed --- a key can be discarded and re-associated to a v…