Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Sep 26 13:59
    joroKr21 commented #4302
  • Sep 26 13:09
    armanbilge milestoned #4309
  • Sep 26 13:09
    armanbilge milestoned #4309
  • Sep 26 13:09
    armanbilge labeled #4309
  • Sep 26 12:24
    armanbilge milestoned #4308
  • Sep 26 12:13
    bplommer opened #4309
  • Sep 26 11:07
    SystemFw opened #4308
  • Sep 26 11:07
    djspiewak edited #4308
  • Sep 25 12:26
    TonioGela commented #401
  • Sep 25 12:25
    TonioGela commented #401
  • Sep 23 17:31
    rossabaker commented #4307
  • Sep 23 14:54
    armanbilge closed #4307
  • Sep 23 14:34
    johnynek commented #4307
  • Sep 23 13:53
    SANTAFAMILIA1 opened #4307
  • Sep 23 07:30
    TonioGela review_request_removed #4243
  • Sep 23 07:30
    TonioGela review_requested #4243
  • Sep 22 15:37
    armanbilge commented #4306
  • Sep 22 12:27
    armanbilge commented #4306
  • Sep 22 08:39

    typelevel-steward[bot] on scala-library-2.13.9

    Update scala-library, scala-ref… Regenerate GitHub Actions workf… (compare)

  • Sep 22 08:39
    typelevel-steward[bot] opened #4306
Edmund Noble
@edmundnoble
Right but that's because modularity is antithetical to cohesive design.
Michael Pilquist
@mpilquist
Which in practice means we end up with some ad-hoc selection of useful methods promoted to Traverse
Edmund Noble
@edmundnoble
I really don't care if the Haskell community argues about this a lot. toList has no laws attached that aren't guaranteed by parametricity. And Foldable derivation from Traverse is practically very inefficient and not stack-safe or lazy.
BennyHill
@BennyHill
There is already some Foldable syntax in alleycats
Edmund Noble
@edmundnoble
Now if "the only laws that exist are guaranteed by parametricity" are enough for something to be a type class (which I don't see an issue with) then FunctionK is a type class.
ie having alleycats under cats would facilitate this in some, but not all, cases
Edmund Noble
@edmundnoble
Regardless I am really not that strongly in favor of moving Foldable. I do think however that a FreeMonoid typeclass would be a useful addition to the Foldable hierarchy, and that would have extra checkable laws.
The same Foldable/Traverse problem arises with Zero/Monoid but it's not really a problem there, just because of implicit derivation.
BennyHill
@BennyHill
so re the algebra dependency on alleycats, that (I think) would currently be a blocker on this
and, tbh, is probably currently not quite right anyway
Kai(luo) Wang
@kailuowang
what’s wrong with alleycats depending on algebra?
BennyHill
@BennyHill
well the bigger problem is moving into cats repo
as algebra depends on cat-kernel
but even so, this was all done before the cats-core and cats-kernel split
so now, today, an algebra user that wants ,say additiveMonoidIsZero would also have to bring in cats, as well
so, theoretically, we would need alleycats-core, alleycats-kernel, or something
BennyHill
@BennyHill
In that respect, outlaws would a more appropriate name - eg cats.outlaws, kernel.outlaws
Greg Pfeil
@sellout
cats.alley, kernel.alley, doobie.alley
BennyHill
@BennyHill
and then algebra.outlaws
well alleycats has a dual meaning in english and , erm, the other two haven't ;)
Greg Pfeil
@sellout
I know. I was hoping I’d come across something clever, like tinpan.alley, but doobie.alley was as much as I could scrounge up.
BennyHill
@BennyHill
heh
anyway, bedtime for me, nn :sleeping:
doobie.outlawed would work :smoking:
Long Cao
@longcao
doobie.streetcorner
Daniel Spiewak
@djspiewak
@kailuowang just tried to merge a PR on cats and the push was rejected; do I have the appropriate permissions?
Peter Neyens
@peterneyens
Not yet I think, it still says contributor where it should say collaborator.
Daniel Spiewak
@djspiewak
hrm
attn @ceedubs?
Cody Allen
@ceedubs
@djspiewak sorry neither Kai nor I have admin rights to the repo, so we can’t give you rights :(. We are trying to get that remedied.
Daniel Spiewak
@djspiewak
Rats
Kai(luo) Wang
@kailuowang
Thanks @ceedubs!
Kai(luo) Wang
@kailuowang
super quick one typelevel/cats#1695
Arya Irani
@aryairani
Hey what ended up happening with Task again? abstracting over it?
some library?
effects4s?
Edmund Noble
@edmundnoble
Yeah, and cats-effect
I think effects4s is what you want
Arya Irani
@aryairani
Ok, thanks!
Ross A. Baker
@rossabaker
Note recent discussion of effects4s in cats-effect channel.
Fabio Labella
@SystemFw
@refried ^^^^ tl;dr you probably want cats-effect
Kai(luo) Wang
@kailuowang
1.0.0-MF date is approaching. Can we try one more time give #1682 some love?
Arya Irani
@aryairani
Thanks @SystemFw
Adelbert Chang
@adelbertc
ayyy it's cats-dev now
Kai(luo) Wang
@kailuowang
yup, it took them 6 days but it happened.
Greg Pfeil
@sellout
@kailuowang And it seems like the users did move with it, yeah? At least, I just found myself in cats-dev without doing anything ¯\_(ツ)_/¯
Adelbert Chang
@adelbertc
likewise
Ross A. Baker
@rossabaker
I saw cats-contrib for a while in the menu while the header was cats-dev. I got to passively watch the whole metamorphosis.
Kai(luo) Wang
@kailuowang
I didn't expect that either.