Re: Haskell Wish list: library documentation

[Martin Norb{ck]

--7AUc2qLy4jB3hD7Z
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable

Thu Sep 09 1999, Josef Sveningsson ->
> This strikes me as odd. How can you define the operational semantics of a
> function when Haskell does not have an operational semantics?

Just because it's only informally defined in the report, doesn't mean it
does not exist. For practical programming purposes, the informal
semantics suffices. If you are a compiler/interpretor designer you may
be of another opinion though.

Or am I just plainly wrong, Haskell has no operational semantics, only a
denotational?=20

        n.

--=20
[ http://www.dtek.chalmers.se/~d95mback/ ] [ PGP: 0x453504F1 ] [ UIN: 44394=
98 ]
    Opinions expressed above are mine, and not those of my future employees.

--7AUc2qLy4jB3hD7Z
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia

iQCVAwUBN9d4zBl6xbhFNQTxAQEkBwP7BRCSpKcnlPMTiJy/Vs5pK+uoCru6IgdU
NPsfQqoo+Ba6IhACcPh6rqCSeh8gfLmOSP0/8xfBL/muQ2ri85WIF8+kcUb7bJmM
wP36ByBeHIbsUW/7rsdHBlxnYyg7+3977yOn9xcB3QU859OcH4vMr8F8RAbXd2SM
ML3vATuSTdw=
=9Bdw
-----END PGP SIGNATURE-----

--7AUc2qLy4jB3hD7Z--