|
|
|
|
|
|
by daivd
4651 days ago
|
|
|
I plan to sneak in something similar with a capable type system and contracts for stuff that you can't express in the types. That way you could "one day" use a solver like Z3 and start proving or disproving some of the tractable contracts, without having to even change the programs. A bit like LiquidHaskell. Not exactly dependent types, but practical, I think. |
|
|