ARarnon·Sep 3, 2018
The parser is open source - https://github.com/JakeWheat/hssqlppp
In Stop future-proofing softwareJakeWheat
hssqlppp
Haskell2013–2018
JakeWheat / hssqlppp
hssqlppp
SQL parser and type checker in Haskell
2Distinct people
5Mentions
0Explicit recommenders
111GitHub stars
What to know before exploring
What it is
SQL parser and type checker in Haskell
GitHub
Where it is used
No documented product use has been verified yet.
What people are saying
No recommendation phrase was found in the indexed comments.
No classified warning is attached to this page. Read the discussions before treating silence as approval.
Also in these discussions
No other repository is repeatedly linked in the same discussions.
This week on Hacker News
Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 3:56:07 PM UTC.
No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.
Mentions over time
HN mentions by year5 dated mentions
Observed mentions: 2013-09-30 20:08:23 UTC to 2018-09-03 08:21:21 UTC.
Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.
View mention counts and date ranges
| Period | Start (UTC) | End (exclusive, UTC) | Mentions | Submissions | Comments |
|---|---|---|---|---|---|
| 2013 | 2013-01-01 00:00:00 UTC | 2014-01-01 00:00:00 UTC | 1 | 0 | 1 |
| 2014 | 2014-01-01 00:00:00 UTC | 2015-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2015 | 2015-01-01 00:00:00 UTC | 2016-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2016 | 2016-01-01 00:00:00 UTC | 2017-01-01 00:00:00 UTC | 0 | 0 | 0 |
| 2017 | 2017-01-01 00:00:00 UTC | 2018-01-01 00:00:00 UTC | 2 | 0 | 2 |
| 2018 | 2018-01-01 00:00:00 UTC | 2019-01-01 00:00:00 UTC | 2 | 0 | 2 |
What Hacker News says
5 sourcesThere's also HSSQLPPP for Postgres, and it's written in Haskell
https://github.com/JakeWheat/hssqlppp
In Queryparser, an Open Source Tool for Parsing and Analyzing SQLGPU Database SQream DB's (http://www.sqream.com) main component is Haskell based, in two parts:
1. The open source SQL parser - HsSqlPpp https://github.com/jakewheat/hssqlppp, 35700 LOC + 3900 LOC of tests
2. The compiler and optimizer (proprietary) is roughly 55,000 Haskell LOC
Edit: And we use Pandoc and Quickcheck internally for a bunch of different things
In Making a GTK Video Player with HaskellI work for www.sqream.com, and our main product is SQream DB.
SQream DB is a GPU SQL database for analytics. Everything was written in-house - from the SQL parser all the way down to the storage layer.
We're designed to deal with sizes from a few terabytes to hundreds of terabytes, and we use the GPU to do most of the work.
It is the compiler (written in Haskell) however, that decides about specific optimizations and deals with generating the query plan.
Our SQL parser and typechecker is actually BSD3 licensed, if it's interesting: https://github.com/jakewheat/hssqlppp
In I tried Haskell for 5 yearsThat is really fascinating, I will have a good look at that, thanks!
I have a SQL parser in Haskell on github here (using Parsec):
https://github.com/JakeWheat/hssqlppp
The model in the article is roughly based on the version in Date and Darwen's work which is almost the same as what you mention: project, rename, extend, join, union and not matching. The summarize by is kind of syntax sugar in this system. I left out some of the operators which weren't used anywhere in the code in the article. Industrial grade conversion from SQL to relational algebra is a real challenge!
In Using Haskell at SQream Technologies