HaskellでDB

https://williamyaoh.com/posts/2019-12-14-typesafe-db-libraries.html

いろいろ紹介

2019の記事

Selda

メンテされているmrsekut.icon

A type-safe, non-TH Haskell SQL library and ORM

Template Haskellを使用しない

メンテされてるmrsekut.icon

https://github.com/haskell-beam/beam

https://jappieklooster.nl/pragmatic-haskell-iii-beam-postgres-db.html

haskelldb

This library allows you to build SQL SELECT, INSERT, UPDATE, and DELETE statements using operations based on the relational algebra.

http://hackage.haskell.org/package/haskelldb

SQLを使わず、Haskellの文法で書く. SELECT, INSERT, UPDATE, DELETE に対応。

Opaleye

PostgreSQL向けのDSL

https://github.com/tomjaguarpaw/haskell-opaleye

https://github.com/byteally/dbrecord-opaleye

https://ren.zone/articles/opaleye-sot

ribbit

Type-level Relational DB combinators.

https://github.com/owensmurray/ribbit

starが3しかない

esqueleto

Yesodで使われている

Type-safe EDSL for SQL queries on persistent backends.

HDBC

文字列でSQLを与える。DBIに似た感じ。

hsql

http://hackage.haskell.org/package/hsql

Simple library for database access from Haskell.

文字列でSQLを与える

hssqlppp

https://github.com/JakeWheat/hssqlppp

sql parser and type checker in haskell

2019

acid-state

https://hackage.haskell.org/package/acid-state

https://ocharles.org.uk/blog/posts/2013-12-14-24-days-of-hackage-acid-state.html

https://gist.github.com/parsonsmatt/6b747d3020c4a4ac43b6580b65392a23

queryparser

https://eng.uber.com/queryparser/

https://github.com/uber/queryparser

Groundhog's

https://begriffs.com/posts/2013-08-31-creating-sqlite-tables-with-groundhogs.html

http://hackage.haskell.org/package/groundhog

Type-safe datatype-database mapping library.

ORM

project-m36

https://github.com/agentm/project-m36

Project: M36 Relational Algebra Engine

メンテされてるmrsekut.icon

AWSでつかう

https://blog.rcook.org/blog/2017/aws-via-haskell/

for SQLite

https://qiita.com/satosystems/items/32bf104a041c8cc13809

persistent-sqlite

direct-sqlite

sqlite-simple

PostgreSQL系の面白そうなやつ

https://github.com/mwotton/squealgen

https://github.com/morphismtech/squeal

http://lotz84.github.io/haskell/database.html

https://www4.di.uminho.pt/~joost/publications/StrongTypesForRDBs.pdf

https://www.parsonsmatt.org/2017/09/13/debugging_types_a_stream_of_thought.html

https://dfithian.github.io/2021/02/15/database-implementation-part-1.html

https://arxiv.org/abs/1602.03501

https://blog.typeable.io/posts/2019-11-21-sql-sum-types.html

http://okmij.org/ftp/meta-programming/quel.pdf