0:00 / 0:00
#liquidhaskell#refinementtypes#haskell
Ranjit Jhala - Liquid Haskell
Boston Haskell
1.1K subscribers • 18 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Ranjit Jhala
Advanced. Deep dive for people who know the field.
5.2K views11 years ago1 recommendation
Programming languagesComputer scienceHaskellFormal methods and verificationComputation and complexity
Ranjit Jhala introduces Liquid Haskell, explaining how refinement types can be used to verify program properties at compile time.
Ranjit's talk on Liquid Haskell, for the Boston Haskell meetup group, November 19 2014Why it's here
1 person recommends thisu/joehillenin r/haskell • Mentions
On “Boston Haskell: Chris Casinghino - Making Dependent Types Practical”
I highly recommend this video to answer that question link to this video
u/Pseudoradiusin r/haskell • Mentions
On “[proof-of-concept] boa: static guarantees for module imports”
What you speak of sounds a lot like Liquid Haskell. Maybe you want to go and check that out. I did a quick search and found this talk about it which also seems to have some live-coded examples: link to this video
> It seems CPP support (understandably) is not provided (yet); but it might be useful, e.g. "make sure module X is only imported when necessary, i.e. when base<4.8" or something in that direction.
I hadn't thought of that before, I will put it on the list of possible future things to do. (In other words it is currently buried under a pile of stuff I have to do to get boa past the proof-of-concept stage.)