typeclass-proposal

typeclass-proposal copied to clipboard

Suggestion on extension methods

1

1. add a paragraph on how they relate ro C#’s extension methods 2. mention if they can be called as normal functions (I assume they can be) 3. `object Traverse`...

alexandru

Inconsistencies in syntax when defining instances

1

I noticed, while reading part 3, "Instance Declarations", that you used two different syntaxes: You start out with a `:`. ```scala extension intAdditionSemigroup : new Semigroup[Int] { def combine(this x:...

Adowrath

Suggested by @michaelpilquist, E.g., given an `Applicative[Foo]`, `Foo.type` is automatically enriched with `pure`.

LukaJCB

Typeclass inheritance syntax proposal

2

in the [type classes doc](https://github.com/LukaJCB/typeclass-proposal/blob/master/docs/typeclasses.md#type-class-requirements-inheritance) you suggest using the following syntax to imply type class "requirements", which introduces a previously unused notation: ```scala type class Monoid[A] : Semigroup[A] { def...

ivanopagano