News for hackers. Stuff that matters.

A comment on Dbcritic: Constructively criticizing your Postgres schema (using Idris).

Re:Dbcritic: Constructively criticizing your Postgres schema... by m_j_g on Wednesday July 07, 2021 @11:49AM (#27762445)
It is nice to see practical application of dependently typed language!
[ Parent | on HN ]
Re:Dbcritic: Constructively criticizing your Postgres schema... by dwohnitmok on Wednesday July 07, 2021 @05:18PM (#27765835)
Looking through the GitHub repo it doesn't look to actually use any of the dependently typed features of Idris.

(And I see now at the end of the article that they mention this).

If this grows in the future, I'd be curious to see if the team starts to integrate any dependent types.

[ Parent | on HN ]