eiffelroom - type safety - Comments

Church numerals

colin-adams — Tue, 05 Jun 2007 07:28:54 -0700

Couldn't you make it more complicated by using Church numerals? Colin Adams

Fixed ...

schoelle — Tue, 05 Jun 2007 00:16:23 -0700

You are right, SET[G] would not type check. Was a typo. I have fixed it in the article.

Signature of i_th_power

doenniu — Mon, 04 Jun 2007 12:10:58 -0700

I think that the signature of i_th_power has to be:

i_th_power (i: INTEGER): SET [ANY]

I like NAT, that helps me on my endless quest to write a program that counts from 1 to 5 in the most complicated way:

(nat_to_integer (create {NAT [NAT [BOOLEAN]]}) |..| nat_to_integer (create {NAT [NAT [NAT [NAT [NAT [NAT [BOOLEAN]]]]]]})).do_all (agent (a_int: INTEGER) do print (a_int.out + "%N") end)