Can Refined Types be emulated with Prusti?

fan-tom / liquid-rust

Liquid Types implementation for Rust

26 stars 0 forks source link

Can Refined Types be emulated with Prusti? #2

Open CKingX opened 2 years ago

CKingX commented 2 years ago

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.

fan-tom commented 2 years ago

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?

CKingX commented 2 years ago

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

fan-tom commented 1 year ago

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