These are chat archives for
non/algebra
28
th
Jul 2015
Toggle Heatmap
Sign in to start talking
non/algebra
Experimental project to lay out basic algebra type classes
Miles Sabin
@milessabin
Jul 28 2015 08:33 UTC
Has everyone in here seen my Cats channel messages about this:
https://github.com/milessabin/derivation-hook
Feedback would be very welcome indeed.
Pascal Voitot
@mandubian
Jul 28 2015 08:34 UTC
I have seen it
I just wanted to have a clear definition of Orphan typeclass vs non-orphaned
Miles Sabin
@milessabin
Jul 28 2015 08:35 UTC
OK, I'll add a definition of orphans.
Pascal Voitot
@mandubian
Jul 28 2015 12:55 UTC
@milessabin
thks, I've just had the idea to look at your project and see the addition on orphans ;)
Miles Sabin
@milessabin
Jul 28 2015 12:55 UTC
:thumbsup:
Ghost
@ghost~540393fe163965c9bc2018ce
Jul 28 2015 14:02 UTC
@milessabin
ah! Cool, so basically implicits that aren't defined on the companion. i.e. the way I do it :smile:
you should totally call this library the Pirate Orphans of Penzance
Miles Sabin
@milessabin
Jul 28 2015 14:04 UTC
Are there orphans in the Pirates of Penzance?!?
Ghost
@ghost~540393fe163965c9bc2018ce
Jul 28 2015 14:04 UTC
it's a major plot theme
they're all orphans, and have a soft spot for orphans, so when they board a ship everybody says "wait! But I'm an orphan" and then they let them go. Then the Major General pretends to be an orphan and there is a hilarious mispronounciation of words.
Miles Sabin
@milessabin
Jul 28 2015 14:09 UTC
Ahh ... the Major General wants to to get rid of the orphans, right?
BTW, this is
totally
off topic for this channel ...
Apologies all ...
Ghost
@ghost~540393fe163965c9bc2018ce
Jul 28 2015 16:12 UTC
any algebra gathering that does not digress into discussions about the pirates of penzance, is not worth being in :-P
_