Hacker GitHub

← All repos

ucsd-progsys/liquidhaskell

View on GitHub ↗ ★ 1,341 Haskell

Liquid Types For Haskell

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2016-12-08 · latest 2025-04-07

Mentions per year 3 mentions · busiest year 2016 (1)
20082026
AllStoriesComments NewestTopOldest
  1. I am not sure, but as a Typescripter, I think I'd find refinement types easier - https://github.com/ucsd-progsys/liquidhaskell I am not sure if they serve the same purpose or how the venn diagrams overlap on this, but in 2000 I loved the…
    comment by clusterfook · 2025-04-07 · in Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)
  2. Here's some sort specifications for LiquidHaskell (refinement types) https://github.com/ucsd-progsys/liquidhaskell/blob/master/te... I have a bit of trouble reading it, but the specs are very terse.
    comment by mbo · 2018-07-03 · in The Machine That Builds Itself: The Strengths of the Lisp Languages (2016)
  3. …and writing this. Added in my todo list to play with. I understand this one is the official repo: https://github.com/ucsd-progsys/liquidhaskell ?
    comment by xvilka · 2016-12-08 · in Liquid Haskell: Haskell as a Theorem Prover [pdf]