Can Refined Types be emulated with Prusti?

Open CKingX opened this issue 3 years ago • 3 comments

After learning about LiquidHaskell and finding this project, it appears to be abandoned. Can some of the refined types and their ease of use be emulated with Prusti? Prusti does use code from rust compiler as well.

May 16 '22 02:05 CKingX

Hi, as I understand it Prusti is more or less the same as LiquidTypes, however, I didn't compare them in details, feature by feature. Does LqT contain something that is impossible to specify using Prusti specification language?

May 16 '22 10:05 fan-tom

I will let you know by testing a new project. For now, Prusti does not support iterators and macros on my project so I could not immediately test it

May 18 '22 03:05 CKingX

Found this while browsing internet https://news.ycombinator.com/item?id=33194220

Jan 04 '23 13:01 fan-tom