Type-safe SQL Queries in Scala

Abstract

This thesis introduces Tyqu, a type-safe and extensible Scala library for generating and executing SQL queries against relational databases. It is designed to facilitate a user-friendly syntax while mitigating common errors at compile time. Utilizing Scala’s advanced type system and language features, Tyqu offers a robust and flexible solution for constructing intricate queries concisely and legibly. The work delves into the architecture and design principles of Tyqu, explaining the essential components and their interplay. Through various examples, it demonstrates how Tyqu empowers developers to create, manipulate, and execute SQL queries in a type-safe manner, thereby reducing runtime errors and enhancing code quality. The thesis also addresses potential future enhancements, encompassing performance optimizations and feature expansions to further augment Tyqu’s capabilities.