serokell / universum

:milky_way: Prelude written in @Serokell
MIT License
176 stars 26 forks source link

Remove Semiring #3

Closed neongreen closed 7 years ago

neongreen commented 7 years ago

I never used it and in fact it's the first time I see it. Has anybody else used it? Can anybody say anything about it?

Martoon-00 commented 7 years ago

Looks like typeclass for fans of mathematics only

chshersh commented 7 years ago

Totally agree. GHC 8 and later lands with Semigroup and we may want to use those math abstractions. But I don't know any use case of Semiring except this mindblowing one: http://r6.ca/blog/20110808T035622Z.html

Thus I'm for removing this module to not confuse new people :) It is just not widely used. So why we need it?