News for hackers. Stuff that matters.

A comment on Scala Days Recap and Why the Free Monad Isn’t Free. Parent comment

Re:Scala Days Recap and Why the Free Monad Isn’t Free by platz on Wednesday July 27, 2016 @11:14AM (#12173472)
> Type class instance parameters must be explicit in Scala

In Scala, wouldn't this be solved with implicits? i.e. implicit 'instances' are in Singleton Objects that one simply brings into scope with an import.

[ Parent | on HN ]
Re:Scala Days Recap and Why the Free Monad Isn’t Free by roberthensing on Tuesday August 09, 2016 @11:26AM (#12255216)
In Scala, the implicit arguments are implicit, yes, but the parameter is not. You will have to declare the implicit parameter, even if you omit a type signature.

I think I forgot to mention the lack of type class coherence. That's also something you should be aware of when you start using type classes.

[ Parent | on HN ]