simulating typeclasses in ATS

[whyu]

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).

[gmhwxi]

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.

[Vanessa McHale]

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