Re:Violating memory safety with Haskell's value restriction
by lmm on Monday May 26, 2025 @09:16AM
(#44097152)
Haskell has a definition of Safe/Unsafe/Trustworthy. I would think/hope you can't import that RealWorld type from safe code.
[ Parent
| on HN ]
Re:Violating memory safety with Haskell's value restriction
by jrvieira on Monday May 26, 2025 @10:21AM
(#44097680)
https://wiki.haskell.org/Safe_Haskell
unfortunately this is as far as that goes