Re: programs that are too lazy

Article View: comp.lang.functional

Article #86

Back to comp.lang.functional Previous Next

#86

From: Antony J. T. Davie
Date: Mon, 27 Jul 1992 08:30

17 lines
990 bytes

Julian Seward writes
>I believe the Haskell committee should
>consider the provision of two built-in functions:
>
>   hyperstrict, whnf :: Eq a => a -> b -> b
>
>both of which evaluate their first argument (fully or to whnf)
>and return the second.  We can simulate this at the moment using
>Haskell 1.2, but it might be more efficient if compilers could
>regard these as primitive.

Whether or not one agrees with the provision of these fns., why restrict
them to Eq types? Certainly one can only easily simulate them if they
operate on equality types, but that's no reason to restrict primitive
versions of them so.

Tony Davie

Technical Details

Message-ID: <1992Jul27.083020.6061@st-andrews.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!warwick!str-ccsun!strath-cs!st-and!ajtd

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!warwick!str-ccsun!strath-cs!st-and!ajtd
From: ajtd@st-andrews.ac.uk (Antony J. T. Davie)
Newsgroups: comp.lang.functional
Subject: Re: programs that are too lazy
Message-ID: <1992Jul27.083020.6061@st-andrews.ac.uk>
Date: 27 Jul 92 08:30:20 GMT
Organization: St. Andrews University, Scotland.
Lines: 17