These are chat archives for typelevel/cats

25th
Mar 2015
Adelbert Chang
@adelbertc
Mar 25 2015 08:19
i’ll tack on Serializable to some stuff for Scala 2.10
Adelbert Chang
@adelbertc
Mar 25 2015 08:47
non/cats#263
Arya Irani
@aryairani
Mar 25 2015 21:02
Wow Spores seems cool. Do we like it? Does it rely on scala-pickling? Do we like that?
i vaguely remember hearing mixed opinions
Stephen Judkins
@stephenjudkins
Mar 25 2015 21:03
it seems like a good idea, i heard it's a little buggy and edge-casy
have not followed it recently, all of that could have been resolved
Arya Irani
@aryairani
Mar 25 2015 21:04
thanks
Stephen Judkins
@stephenjudkins
Mar 25 2015 21:04
personally, i'm a little scared of bespoke macro solutions
they seem to do best when hidden behind something like shapeless
Arya Irani
@aryairani
Mar 25 2015 21:06
how would i decide whether something is appropriately hidden?
like, hidden behind something like shapeless, vs hidden behind something like spores
Stephen Judkins
@stephenjudkins
Mar 25 2015 21:07
this is all very hand-wavy
Arya Irani
@aryairani
Mar 25 2015 21:07
i hear ya
Stephen Judkins
@stephenjudkins
Mar 25 2015 21:07
i don't know how mature spores is right now,
but my experimentation with macros is that there are a lot of corner cases you can miss
it has improved greatly from 2.10 to 2.11
Arya Irani
@aryairani
Mar 25 2015 21:07
sure, i see what you mean
so shapeless you're saying is something with a few macros that are well tested, and a bunch of stuff built on top?
Stephen Judkins
@stephenjudkins
Mar 25 2015 21:08
shapeless's approach seems to be some small number of macros that do very specific, discrete things, and are pretty well-tested
Arya Irani
@aryairani
Mar 25 2015 21:08
instead of one macro per feature (I'm making this up now)
ok high five for like minds
Stephen Judkins
@stephenjudkins
Mar 25 2015 21:08
yeah, in shapeless these usually hide behind implicits that create other things that can be combined in a typesafe way to do useful things
Arya Irani
@aryairani
Mar 25 2015 21:09
the macros create the implicits you mean?
Stephen Judkins
@stephenjudkins
Mar 25 2015 21:09
macros that start with some class definition then spit out a big complicated thing for a specific purpose just usually seem shakier
no, the macros are invoked by implicits
Arya Irani
@aryairani
Mar 25 2015 21:09
sure
Pascal Voitot
@mandubian
Mar 25 2015 22:58
In shapeless there is no macro in the core
Macros are just there to build implicis in a nicer way
Arya Irani
@aryairani
Mar 25 2015 23:04
I want to learn to use shapeless
was bummed that I couldn't make time to go to the seminar in SF
although, maybe there are easier ways :)