The Sifflet visual functional programming language and aid to understanding recursive functions (http://mypage.iu.edu/~gdweber/software/sifflet/home.html)
#36Cascade effect of changing kind of arguments to a function.
When we change the number of type (kind) of the arguments of a function, we also change the function's type (or kind); and if it's used in the definitions of other functions, then they may become invalid in turn -- what should be done in this case?
O: 2012 Jun 27 R: gdw P: medium