Path: utzoo!utgpu!attcan!uunet!kddlab!ccut!ascgw!fgw!flab!ayumi!feldmark
From: feldmark@hanako.stars.flab.Fujitsu.JUNET
Newsgroups: comp.lang.misc
Subject: a simple miranda problem
Message-ID: 
Date: 9 Aug 88 02:47:27 GMT
Sender: news@ayumi.stars.flab.fujitsu.JUNET
Distribution: comp
Organization: Fujitsu Laboratories Ltd., Kawasaki, Japan.
Lines: 32
Posting-Front-End: GNU Emacs 18.41.6 of Fri Feb 19 1988 on hanako (berkeley-unix)


I have been reading about miranda and am trying to understand a simple
program given in the article "An Overview of Miranda" from SIGPLAN
Notices, December 1986.  It should be easy for anyone who has actually
programmed in miranda and I'm wondering if someone would mind giving
me a hand.  The problem is:

answer = twice twice twice suc 0
twice f x = f (f x)
suc x = x + 1

I'm trying to apply partial paramaterization at each step and get an
exact picture of what's going on as far as the execution mechanism is
concerned, but keep coming up with weird results.  I think the
parenthesis are confusing me. I am assuming that functions inside
parenthesis should be applied to arguments and then parenthesis
removed.  I know I am doing something simple fundamentally wrong but
can't figure it out.  Has anyone looked at this before?

Thanks.

Mark Feldman
Fujitsu Laboratories Ltd.  Kawasaki, Japan
feldmark@hanako.stars.flab.fujitsu.junet (Japan)
feldmark%hanako.stars.flab.fujitsu.junet@uunet.uu.net (USA)




--
feldmark@hanako.stars.flab.fujitsu.junet (Japan)
feldmark%hanako.stars.flab.fujitsu.junet@uunet.uu.net (USA)