Re: [Haskell-cafe] Counting beta reductions for a Haskell program...

Yes Hugs has a option "+s" but it counts some sort of reductions not exactly the beta reductions. Thanks. -Damodar 2008/11/22 Adrian Neumann

Hugs has, afaik, a "output reduction count" option somewhere. At least it had one the last time I used it.

- Adrian

Am 22.11.2008 um 06:22 schrieb kk08:

...

Thanks. I heard that a Gofer compiler (a Haskell dialect) supports counting the Beta reductions. Hence I thought GHC/Hugs would have a similar facility.

Ryan Ingram wrote:

...

This doesn't make a whole lot of sense. One of the reasons GHC-compiled code is so fast is that it turns into straight-line code whenever possible, via inlining, primitive optimizations, etc.

- ryan

[1] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.3729

On Fri, Nov 21, 2008 at 8:46 PM, kk08 wrote:

...

Does GHC supports/has a command for counting total beta reductions taken by a program?

Thanks.

-- View this message in context: http://www.nabble.com/Counting-beta-reductions-for-a-Haskell- program...-tp20623025p20623025.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________

Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- View this message in context: http://www.nabble.com/Counting-beta- reductions-for-a-Haskell-program...-tp20623025p20633639.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- ---------------------------------------------------- Are you a woman reading this mail? If yes, please read the mail twice. Read why a woman is only half intelligent as that of a man? http://www.jeansasson.com/law_and_government.htm)