placeholder

Pointers Gone Wild - LiquidHaskell

Pointers Gone WildClick to demoMay 28th, 2014A large part of the allure of Haskell is its elegant, high-level ADTs that ensure1 that programs won’t be plagued by problems like the infamous SSL heartbleed bug.However, another part of Haskell’s charm is that when you really really need to, you can dro…

Click to view the original at goto.ucsd.edu