I wrote about them a little: http://blog.vmchale.com/article/ats-templates (more code https://github.com/vmchale/ats-codecount)
They're suitable where typeclasses are as far as I can tell (I am not familiar with the type theory) Cheers, Vanessa McHale On Wednesday, March 18, 2020 at 7:35:29 AM UTC-5, whyu wrote: > > Are there any sensible ways of simulating typeclasses in ATS? I could > define typeclass dictionaries explicitly and manually passing it around, > but that would defeat the whole purpose of using typeclasses which is to > let the compiler choose the dictionary for me. I could also use function > templates but I don't know how to make them explicit in type > signatures(unlike typeclass constraints). > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d87380a1-2432-4016-b48e-fdf45c402d98%40googlegroups.com.
