On Tue, Mar 28, 2017 at 3:09 AM, Francesco Rivetti <o...@oha.it> wrote:
> you don't change the type of a variable. instead you use a type which is > "broader" and accept any object type. This; and if you didn't specify a type, the type is Any. Which is not quite the root of the class/type hierarchy; that'd be Mu. The difference is that Mu can hold junctions, whereas Any and its subclasses will force "autothreading" of junctions (basically, computing all possible values "in parallel"). -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com ballb...@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
