afl-material: progs/fun/fact.fun@b5a2d033679f (annotated)

655 689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	1	def fact(n) =
735 0426cd1336f7 updatd Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 702 diff changeset	2	(if n == 0 then 1 else n * fact(n - 1));
224 70198792c2aa added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3
655 689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	4	def facT(n, acc) =
689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	5	if n == 0 then acc else facT(n - 1, n * acc);
689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	6
689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	7	def facTi(n) = facT(n, 1);
224 70198792c2aa added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8
655 689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	9	//fact(10)
689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	10	//facTi(10)
224 70198792c2aa added Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11
702 67ab7162a861 updated Christian Urban <urbanc@in.tum.de> parents: 655 diff changeset	12	write(facTi(6))
655 689d1bdd91c0 updated Christian Urban <urbanc@in.tum.de> parents: 626 diff changeset	13
735 0426cd1336f7 updatd Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 702 diff changeset	14	// a simple factorial program
0426cd1336f7 updatd Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 702 diff changeset	15	// (including a tail recursive version)

author	Christian Urban <christian.urban@kcl.ac.uk>
	Tue, 27 Oct 2020 13:51:34 +0000
changeset 793	b5a2d033679f
parent 735	0426cd1336f7
child 814	0db5961fe39f
permissions	-rw-r--r--