Plumbum: A lazy, constant-memory streaming data Rust library

srijs.github.io

11–14 of 14 posts

Re: Plumbum: A lazy, constant-memory streaming data Rust library

#11

Post by allan_s » Sun, Oct 11, 2015, 7:03 PM UTC

twic wrote: post #8

I see that a Kleisli arrow is involved somehow. I have no idea what a Kleisli arrow is. Would i have to learn in order to use this library? Is the involvement of a Kleisli arrow strictly necessary?

I was wondering the same, especially as it comes out naturally as it was something obvious

Re: Plumbum: A lazy, constant-memory streaming data Rust library

#12

Post by artificial » Sun, Oct 11, 2015, 9:25 PM UTC

lumpypua wrote: post #4

Can we please have plumbum-contrib named plumbus instead? https://www.youtube.com/watch?v=eMJk4y9NGvE

I always wondered how Plumbises were made.

Re: Plumbum: A lazy, constant-memory streaming data Rust library

#13

Post by srijs » Mon, Oct 12, 2015, 12:51 AM UTC

twic wrote: post #8

I see that a Kleisli arrow is involved somehow. I have no idea what a Kleisli arrow is. Would i have to learn in order to use this library? Is the involvement of a Kleisli arrow strictly necessary?

Author here. Slightly simplifying, a Kleisli arrow is just a function from `A` to `M`, and which is composable, similar to function composition:
Kleisli + Kleisli = Kleisli
Although it is an important part of how the conduits work, it is not strictly necessary for using the library.
Would it help if I clarified that somewhere, or would you rather not read "Kleisli" anywhere in the docs?

Permalink View on HN Reply on HN Top

Re: Plumbum: A lazy, constant-memory streaming data Rust library
#14

allan_s
HN member A

Activity:
306

Joined:
Wed, Nov 07, 2012, 5:05 PM UTC

HN karma:
772

Post by allan_s » Mon, Oct 12, 2015, 8:29 PM UTC

srijs wrote: post #13

twic wrote: post #8

I see that a Kleisli arrow is involved somehow. I have no idea what a Kleisli arrow is. Would i have to learn in order to use this library? Is the involvement of a Kleisli arrow strictly necessary?

Author here. Slightly simplifying, a Kleisli arrow is just a function from `A` to `M `, and which is composable, similar to function composition: Kleisli + Kleisli = Kleisli Although it is an important part of how the conduits work, it is not strictly necessary for using the library. Would it help if I clarified that somewhere, or would you rather not read "Kleisli" anywhere in the docs?

i think the word has its place in the doc, but with the kind of explanation you've just put :)

Permalink View on HN Reply on HN Top

Post reply on HN
Page 2 of 2

‹

1

2