a simple miranda problem

Article View: comp.lang.misc

Article #5676

#5676

From: feldmark
Date: Tue, 09 Aug 1988 02:47

32 lines
1659 bytes

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)

Technical Details

Message-ID: <FELDMARK.88Aug9114727@hanako.stars.flab.Fujitsu.JUNET>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!attcan!uunet!kddlab!ccut!ascgw!fgw!flab!ayumi!feldmark

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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: <FELDMARK.88Aug9114727@hanako.stars.flab.Fujitsu.JUNET>
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)