What if something could return an Int or a Rat? Or an single item or an Array? Having Mu or Any as the listed return type isn't very useful.
Maybe better to define a subset for it. Or just leave it empty and document it. On Fri, 12 Oct 2018, 13:35 Curt Tilmes, <c...@tilmes.org> wrote: > > On Fri, Oct 12, 2018 at 7:46 AM Simon Proctor <simon.proc...@gmail.com> > wrote: > >> Only if the routine has an easily defined return Type. Many do not. >> > > Is there not always a common root, even if it is Mu? Why not explicitly > mark those > as Mu for documentation purposes at least? That would differentiate those > from > the ones just not documented that pick up Mu by default. > > Curt > >
