{-
From augustss@cs.chalmers.se Sat Jan 11 11:56:04 1992
From: augustss@cs.chalmers.se (Lennart Augustsson)
Newsgroups: comp.lang.functional
Subject: Re: some kindof benchmark
Keywords: n
Date: 10 Jan 92 21:59:05 GMT
Organization: Chalmers University of Technology

>  My system (running on a Sun-SPARC SLC)
>  does it in 93 seconds and uses about
>  412k memory to give a motivation.

I can't resist benchmarks!  I did a quick translation to
Haskell and here is the result using hbc.
-}

----------------------------------------------------------
infix 8 ^^^

data Nat = Z | S Nat deriving (Eq,Ord, Show {-was:Text-})

instance Num Nat where
    Z   + y   = y
    S x + y   = S (x + y)
    x   * Z   = Z
    x   * S y = x * y + x
    fromInteger x = if x < 1 then Z else S (fromInteger (x-1))

-- partain:sig
int :: Nat -> Int

int Z     = 0
int (S x) = 1 + int x

x ^^^ Z   = S Z
x ^^^ S y = x * (x ^^^ y)

main = print (int (3 ^^^ 8))

--
-- Timing for hbc version 0.997.2
-- Heap set to 1 Mbyte
--
-- SPARC-SLC		78s (13% GC)
-- DEC5500		27s (16% GC)
-- Sequent Symmetry	165s (16% GC)
-- SUN3/180		148s (15% GC)
-- 
-- Sorry, but I havn't recompiled the compiler for any other
-- platforms yet.
--
-- 
{-

	-- Lennart Augustsson
[This signature is intentionally left blank.]

From aspect@sun1d.informatik.Uni-Bremen.DE Sat Jan 18 13:25:48 1992
From: aspect@sun1d.informatik.Uni-Bremen.DE (Joern von Holten)
Newsgroups: comp.lang.functional
Subject: Re: some kindof benchmark
Date: 17 Jan 92 10:06:57 GMT
Organization: Universitaet Bremen
Nntp-Posting-Host: sun1d


ok guys,
 
  we are responsible for the '3^8 benchmark' ... and we gave a
first approximative result of 93 sec and 412 K (old compiler version).

Here's the final result for our ASpecT compiler ... it's a strict functional
language based on algebraic specifications.

---- Sun 4/20(SLC):   9.8s   (412k) ----

and comparable results for other platforms (we are generating C as target language).

we hoped that our benchmark would initiate a collection of various outcoming
benchmarks for functional language compilers.
Where are all these compiler-freaks?

:-)

-- Joern von Holten
 

-}