Yes, you can. But this looks "unconventional". I remember that ATS did use function/cloref information to resolve overloading at some point, but it did not do well in practice as users were often confused when overloading did not work as they had expected.
For functional programming (with GC), one really just need list0_map_cloref. For a setting where GC is not supported or desirable, one should probably use the template version of list_map. On Tuesday, October 24, 2017 at 11:40:06 AM UTC-4, Russoul wrote: > > But one can specify the type like that : "lam(x) =<fun1> ...", no ? > > вторник, 24 октября 2017 г., 18:17:16 UTC+3 пользователь gmhwxi написал: >> >> >> Because this kind of information is not used to resolve overloading. >> >> Imagine that you write >> >> list0_map(xs, lam(x) => ...) >> >> It is not clear whether 'lam(x) => ...' is a function, closure or linear >> closure. >> >> On Tuesday, October 24, 2017 at 11:02:56 AM UTC-4, Russoul wrote: >>> >>> Suppose we have "list0_map_fun, list0_map_cloref, list0_map_cloptr" >>> higher order functions. >>> And then we overload "list0_map" with all those. Why compiler gives : >>> "the symbol [list0_map] cannot be resolved due to too many matches" when >>> used with one of [fun,cloref,clopth] function types ? >>> >> -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/c49c2ed7-3178-491c-8760-abb45654894c%40googlegroups.com.
