Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
Fabio Labella
@SystemFw
i got you
"arrow"
as in the generic term
Drew Boardman
@drewboardman
ah
Fabio Labella
@SystemFw
not the Arrow typeclass specifically
Drew Boardman
@drewboardman
i always here those two datatypes spoken about with those 2 typeclasses
Fabio Labella
@SystemFw
anyway I say where you are coming from , but no
State monad and IO Monad are misnomers in the way you said
Christopher Davenport
@ChristopherDavenport
def foo[F[_]: Sync](otherStuff: OtherStuff, client: Client[F]): F[OutputStuff]
Curried
def foo[F[_]: Sync](otherStuff: OtherStuff): Client[F] => F[OutputStuff]
In Kleisli
def foo[F[_]: Sync](otherStuff: OtherStuff): Kleisli[F, Client[F], OutputStuff]
Fabio Labella
@SystemFw
i.e. confusing one typeclass instance for the datatype that also happens to implement it
Drew Boardman
@drewboardman
yes
Fabio Labella
@SystemFw
but Kleisli arrow does not come from the Arrow typeclass
which is more recent
Drew Boardman
@drewboardman
arrow or kleisli?
is this chart valid for scala?
Fabio Labella
@SystemFw
it comes from "arrow (as in objects and arrows) in the Kleisli (which is a guy) category"
Drew Boardman
@drewboardman
like I know cats has typeclasses like FlatMap and such
guy category?
Paul Snively
@paul-snively
Fabio Labella
@SystemFw
no
Kleisli category
Drew Boardman
@drewboardman
oh shit that's a good chart @paul-snively
Fabio Labella
@SystemFw
named after Heinrich Kleisli
Paul Snively
@paul-snively
Thank @tpolecat. :-)
Drew Boardman
@drewboardman
now you're just making up names
Fabio Labella
@SystemFw
and in categories you have arrows and object (normal terms in category theory)
Paul Snively
@paul-snively
@drewboardman: Technically, the Germans just made up names (of many mathematicians, for some reason).
Drew Boardman
@drewboardman
lol
Paul Snively
@paul-snively
:-D
Could be worse. Could be "Yoneda." ;-)
"Kaaaaaaaaaaaaaaaaaaan!"
Sorry, Freydian slip.
Drew Boardman
@drewboardman
yoneda is a person?
Paul Snively
@paul-snively
Yes.
Drew Boardman
@drewboardman
i thought coyoneda was an animal
lmao
Paul Snively
@paul-snively
It is a powerful beast.
Drew Boardman
@drewboardman
Nobuo Yoneda
Paul Snively
@paul-snively
Yes.
So there's the "Yoneda lemma," of which "coyoneda" is (by definition) the categorical dual.
And it turns out "coyoneda" is the "free functor."
Christopher Davenport
@ChristopherDavenport
So you mean a list. :laughing:
Drew Boardman
@drewboardman
i yell coyoneda when i jump off the diving board
Paul Snively
@paul-snively
@ChristopherDavenport: I think of List as the canonical free monoid, but...
Haris Khan
@tyrantkhan
hey y'all i'd be curious to learn what our major blockers for releasing 0.2.1 are (is it just cutting a new milestone and testing?) , and what i can do to help assist in anyway :) .
Christopher Davenport
@ChristopherDavenport
I think we’re really just needing 1 day when Ross and I are around at the same time. We’ve been unsuccesful at asynchronously moving it forward recently.
Ross A. Baker
@rossabaker
The top priority should be to get series/0.20 merged to master and get a milestone out. That is screamingly overdue. There's a PR, but I haven't had a chance to finish it.
We need to make decisions which of those open PRs are in scope, which should get us to an RC. And then release.
Ross A. Baker
@rossabaker
#2960 and release notes would be the biggest things that can help right now, followed by grooming the outstanding issues.