
15 Jul
2012
15 Jul
'12
11:41 p.m.
On Wed, Jul 4, 2012 at 5:33 PM, Roman Leshchinskiy
[...] It still uses "unsafe" to distinguish between functions that do bounds checking and those that don't. What would be the benefit of moving functions like unsafeIndex into a separate module (and would it be called Unsafe.unsafeIndex then? or would it be Unsafe.index?)? [...]
Just to pick out this small tidbit, FWIW the Vector.index and Vector.Unsafe.index scheme has the advantage that you could simply swap out a module import to switch between bounds-checked and unchecked implementations. I agree with vector going into the platform, but have no opinion on whether the Safe Haskell issues need to be resolved first. -- Your ship was caught in a monadic eruption.