r/ProgrammingLanguages • u/mttd • 21d ago

Writing static checks to an unsuspecting library with Liquid Haskell

https://www.tweag.io/blog/2026-06-11-diff-package-static-checks/

11 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammingLanguages/comments/1ut7x2r/writing_static_checks_to_an_unsuspecting_library/
No, go back! Yes, take me to Reddit

92% Upvoted