Re: simulating typeclasses in ATS

2020-03-25 Thread Vanessa McHale
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 dicti

Re: simulating typeclasses in ATS

2020-03-19 Thread gmhwxi
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 typec

simulating typeclasses in ATS

2020-03-18 Thread 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