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)