search

bfpg / talks

Brisbane Function Programming Group talk ideas, scheduling & archival
https://talks.bfpg.org
Creative Commons Zero v1.0 Universal
4 stars 5 forks source link

Alloy and/or Liquid Haskell #17

Open dalaing opened 9 years ago

dalaing commented 9 years ago

These are both lightweight formal methods backed by SAT/SMT solvers that seem pretty approachable. Alloy seems more useful for initial planning and prototyping, while LiquidHaskell seems more useful for making sure that your implementation behaves according to the spec/refinements.

I'll need a bit of time to play around with both of these, but will be keen to talk about them once I have.

frasertweedale commented 4 years ago

I'm still interested to hear about LH if someone can present? Otherwise we should probably close this due to old age.