factor/library/test/benchmark/ack.factor

USE: math
USE: kernel
USE: compiler
USE: test

! http://inferno.bell-labs.com/cm/cs/who/bwk/interps/pap.html

: ack ( m n -- x )
    over 0 = [
        nip 1 +
    ] [
        dup 0 = [
            drop 1 - 1 ack
        ] [
            dupd 1 - ack >r 1 - r> ack
        ] ifte
    ] ifte ; compiled

[ 4093 ] [ 3 9 ack ] unit-test
some cleanups and benchmarks 2004-10-27 21:21:31 -04:00			`USE: math`
			`USE: kernel`
			`USE: compiler`
			`USE: test`

			`! http://inferno.bell-labs.com/cm/cs/who/bwk/interps/pap.html`

a pile of bug fixes and improvements 2004-11-08 22:36:51 -05:00			`: ack ( m n -- x )`
some cleanups and benchmarks 2004-10-27 21:21:31 -04:00			`over 0 = [`
type inference changes, comment out smart-terminal reference in win32-console, win32-compatible factor plugin 2004-12-29 03:35:46 -05:00			`nip 1 +`
some cleanups and benchmarks 2004-10-27 21:21:31 -04:00			`] [`
			`dup 0 = [`
type inference changes, comment out smart-terminal reference in win32-console, win32-compatible factor plugin 2004-12-29 03:35:46 -05:00			`drop 1 - 1 ack`
some cleanups and benchmarks 2004-10-27 21:21:31 -04:00			`] [`
type inference changes, comment out smart-terminal reference in win32-console, win32-compatible factor plugin 2004-12-29 03:35:46 -05:00			`dupd 1 - ack >r 1 - r> ack`
some cleanups and benchmarks 2004-10-27 21:21:31 -04:00			`] ifte`
semi-working compiler 2004-12-05 23:00:52 -05:00			`] ifte ; compiled`
some cleanups and benchmarks 2004-10-27 21:21:31 -04:00
			`[ 4093 ] [ 3 9 ack ] unit-test`