This approach can only handle simple type constructors like list and maybe. It would not handle List defined as follows:
typedef List(a:t@ype) = [n:nat] List(a, n) On Tue, May 1, 2018 at 11:06 PM, Steinway Wu <steinway...@gmail.com> wrote: > Hi Hongwei and August, > > https://glot.io/snippets/f0nd233vde > > I have this functor code working without any "name" hack. @Hongwei, did > you make any improvements on templates to make it happen? Or am I missing > something? And btw, glot.io is still running ATS 0.2.11. > > On Wednesday, March 29, 2017 at 10:38:00 AM UTC-4, gmhwxi wrote: >> >> >> If we box everything, then implementing functors (as is defined in >> Haskell) is straightforward >> in ATS. However, for performance, one may not want to box everything. I >> sketched a template-based >> implementation for functors as follows: >> >> https://github.com/githwxi/ATS-Postiats/blob/master/doc/EXAM >> PLE/MISC/tempfunctor.dats >> >> It should be fun and very useful to support linear functors (e.g., >> List0_vt). >> >> Cheers! >> >> --Hongwei >> >> >> -- > 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 ats-lang-users+unsubscr...@googlegroups.com. > To post to this group, send email to ats-lang-users@googlegroups.com. > 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/56284850-c51f-4474-b5ae-445e93960a53% > 40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/56284850-c51f-4474-b5ae-445e93960a53%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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 ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. 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/CAPPSPLos%3Dq3YVQRFH8tCgL70LOA5-5PeTze-PqL63oaSeub2Gg%40mail.gmail.com.