> you can ship refinement type specifications within plain Haskell packages
That's pretty great. I've heard comments that using LH for performance
foo bar = frobnicate (head bar) -- LH has checked that bar is nonempty, save a cycle or two
would become unsafe if it's put in a library depended on by a client that doesn't check it with LH. It seems like this is issue pretty much solved now :-)
1 comment
[ 6.6 ms ] story [ 13.7 ms ] threadThat's pretty great. I've heard comments that using LH for performance
would become unsafe if it's put in a library depended on by a client that doesn't check it with LH. It seems like this is issue pretty much solved now :-)