[mercury-users] An opinion about Mercury

[Peter Hawkins]

Hi...

Speaking of unsafe... I rather liked the following (seen on Phil Wadler's blog):
--
Unsafe
Via Iain Parris.
A person ran
$ grep -w -o '\(unsafe[A-Z][a-zA-Z]*\)' haskell.log | sort -u.
A handful of highlights from the list:
unsafeAtAnySpeedIO
unsafeShutUpAndActLikeACompiler
unsafeAttemptMiracles
unsafeBuyBackLoans
unsafeCallCthulhu
unsafeCollideHadrons
unsafeEatBabiesAndMaybePerformIO
unsafeExecuteArbitraryMachineCode
unsafePerformTheMightyFistOfTheDesertGodWithNoVowelsInHisName

--
I've wished for several of those functions when writing pure code... :-)

Peter


On Tue, Feb 3, 2009 at 2:01 PM, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
>
> That's a good point.  One user was telling me that he had invented his
> own 'unsafe_perform_io' for Mercury (he had to write foreign C code)
> to which he could pass a closure that required the IO state.  He used
> this for debugging only so what he really wanted (but didn't know it)
> was trace goals.
>
>
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.6 (GNU/Linux)
>
> iD8DBQFJiL6z5BL8BUmFfuURAok6AKDSpbbD0j+v7Q4gpr0bEYgz43m7CACfar99
> ASYK8iwWlImlrB+5GwuEQJw=
> =YmcY
> -----END PGP SIGNATURE-----
>
>
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------