afl-material: progs/fun/fact.fun@0426cd1336f7 (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 dot urban at kcl dot ac dot uk>
	Mon, 20 Jul 2020 10:06:43 +0100
changeset 735	0426cd1336f7
parent 702	progs/fact.fun@67ab7162a861
child 814	0db5961fe39f
permissions	-rw-r--r--