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…
Hasnain says:
Pointers gone wild, indeed. Dependently typed languages are awesome.
Posted on 2014-05-31T08:39:12+0000