4:28:56beachnij-: It is types in other languages that are strange and complicated, yet restricted. They must be so that types can be determined statically. And they don't even succeed very well. Determining the exact type of an expression is undecidable in general, so those languages do what they can to make it decidable.
13:13:18pveHey! Does "hook" refer to the variable to which functions (or symbols) are added or does it refer to the *functions* that are added to the list variable? I think I've seen it used both ways.