Arc Forumnew | comments | leaders | submitlogin
1 point by sacado 5880 days ago | link | parent

You could read this about annotate et al. :

I particularily like that one : "I expect type names will ordinarily be symbols, but they don't have to be. Either argument can be of any type. I can't imagine why users would want to have type labels other than symbols, but I also can't see any reason to prevent it."

1 point by cchooper 5880 days ago | link

You know, the first thing I thought when I read that x years ago was "You could pass around a load of functions as the type to do polymorphism"! I wonder if everyone has the same thought.