There is no need to simulate typeclasses in ATS. To some extent, the templates in ATS are like typeclasses on steroids :)
If you'd like to have a feel for the power of templates, please take a look at ATS-Temptory: https://sparverius.github.io/tmplats-doc/ Or you can wait for ATS3 to become ready. On Wednesday, March 18, 2020 at 8:35:29 AM UTC-4, 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/8740ee66-0e63-4a45-8b69-d7bfd1f8c475%40googlegroups.com.