typelevel / general

Repository for general Typelevel information, activity and issues
19 stars 8 forks source link

Proposal: Small & focussed Type Tag library #87

Closed benhutchison closed 4 years ago

benhutchison commented 6 years ago

I use Type Tags myself pretty often... I've used the Shapeless implementation at time, but in other projects, which don't otherwise depend on Shapeless, Ive defined them myself from scratch.

On several occasions in the last two years, Ive seen interest in a type-tag focussed library, eg:

I want to propose (and I offer to maintain) a small typelevel lib that probably provides just 2 operations:

This isn't about defining new functionality or supporting advanced tagging use-cases, rather standardising operations people are already doing into a lightweight lib. As such, buy-in from typelevel user community would be important to project success.

Hence Im testing interest in the idea..?

larsrh commented 6 years ago

What about @julien-truffaut's newts library? https://github.com/julien-truffaut/newts

On 30 November 2017 23:05:56 CET, Ben Hutchison notifications@github.com wrote:

I use Type Tags myself pretty often... I've used the Shapeless implementation at time, but in other projects, which don't otherwise depend on Shapeless, Ive defined them myself from scratch.

On several occasions in the last two years, Ive seen interest in a type-tag focussed library, eg:

I want to propose (and I offer to maintain) a small typelevel lib that probably provides just 2 operations:

This isn't about defining new functionality or supporting advanced tagging use-cases, rather standardising operations people are already doing into a lightweight lib. As such, buy-in from typelevel user community would be important to project success.

Hence Im testing interest in the idea..?

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/typelevel/general/issues/87

benhutchison commented 6 years ago

I wasn't aware of newts actually. That seems to address much of what I had in mind.

There are use cases where subtype tags are needed, eg attaching additional info to Array[Double] without losing the underlying type. I didn't see support for that in newts?

-Ben

On Fri, Dec 1, 2017 at 9:14 AM, Lars Hupel notifications@github.com wrote:

What about @julien-truffaut's newts library? https://github.com/julien- truffaut/newts

On 30 November 2017 23:05:56 CET, Ben Hutchison notifications@github.com wrote:

I use Type Tags myself pretty often... I've used the Shapeless implementation at time, but in other projects, which don't otherwise depend on Shapeless, Ive defined them myself from scratch.

On several occasions in the last two years, Ive seen interest in a type-tag focussed library, eg:

I want to propose (and I offer to maintain) a small typelevel lib that probably provides just 2 operations:

This isn't about defining new functionality or supporting advanced tagging use-cases, rather standardising operations people are already doing into a lightweight lib. As such, buy-in from typelevel user community would be important to project success.

Hence Im testing interest in the idea..?

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/typelevel/general/issues/87

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/typelevel/general/issues/87#issuecomment-348338125, or mute the thread https://github.com/notifications/unsubscribe-auth/AAF05FsEHXrjxSPYTaQvnG7x7I9MHzOcks5s7yjbgaJpZM4QxRe5 .

benhutchison commented 6 years ago

Also (belatedly!) just noticed discussion at https://github.com/typelevel/cats/issues/1800 that seemed to reach leaving tags outside cats as at 1.0