4 ms·
To be fair, at least that's computer science speak rather than category theory speak.
by Sharlin 7y ago
To be fair, at least that's computer science speak rather than category theory speak.
- asplake 7y agoWhat body of knowledge defines "type classes"? I ask out of relative ignorance, kinda saw it as Haskell thing
- Sharlin 7y agoThe term "type class" is original to Haskell, I think, but the concept (constrained parametric polymorphism) is fairly standard programming language theory.
- pwm 7y agoIf you are curious this is a good read: https://www.parsonsmatt.org/2017/01/07/how_do_type_classes_differ_from_interfaces.html https://www.parsonsmatt.org/2017/01/07/how_do_type_classes_d...
- tiborsaas 7y agoIf the author really wants Dependent Haskell to be the future, maybe he should use Pyhon and JavaScript speak to spread concepts. A world with little handles attached to it slips too fast out of the curious minds.
- Sharlin 7y agoThe title notwithstanding, this article is definitely aimed at Haskellers, or at least people who have more than rudimentary knowledge of Haskell and type systems. Anyway, it's rather difficult to talk about advanced type systems in terms of languages that have no type system at all :)