Safe Haskell and Haskell Platform: near-term tactics

Gregory Collins greg at gregorycollins.net
Tue Jul 17 18:57:57 BST 2012


Re-adding haskell-platform@, which I assume you left off by accident?

On Tue, Jul 17, 2012 at 7:05 PM, Yitzchak Gale <gale at sefer.org> wrote:

> Gregory Collins wrote:
> > This slightly underestimates the amount of work required. Each package's
> api
> > must be carefully audited for unsafe functions, you can't just slap a
> > "trustworthy" on everything and call it a day. If any legitimately unsafe
> > functions are found, the APIs need to be separated out into safe and
> unsafe
> > modules, and the old modules must go through a deprecation cycle.
>
> No, it's really simple. Did you read Simon's paper,
> and his emails in this and related threads?
>
> I emphasize that I am *not* advocating requiring
> platform packages to have best possible support
> for Safe Haskell. That can come later after we
> get more experience and see how it is used
> in practice, as Mark says. That will take time.
>
> I am only advocating *recommending* that
> packages provide at least *minimal* support -
> namely, a simple Trustworthy pragma, which
> is almost always possible. That is in order to
> help bootstrap the process, to make adoption of
> Safe Haskell possible. Then we'll see if it
> really happens. (After reading Simon's paper,
> I believe there is a good chance it will if
> we do this.)
>



More information about the Haskell-platform mailing list