Fork me on GitHub
#funcool
<
2015-08-26
>
mccraigmccraig12:08:59

niwinz: i see there's a load of new stuff in cats... will there be a release soon ?

niwinz12:08:04

We have not yet thought about it

niwinz12:08:38

I think that the main blocking part is traversable

niwinz12:08:58

and applicative composition

niwinz12:08:23

i don't know if we should leave the last (applicative composition) for other release or include it in this one.

mccraigmccraig12:08:44

by applicative composition dyu mean the alet macro ?

niwinz12:08:08

nope, I mean compose deferred with either

niwinz12:08:15

and use it in alet

niwinz12:08:42

basically extend the transformers to support applicatives

mccraigmccraig12:08:50

ah, yeah, i remember

niwinz12:08:08

In any case the reall blocking issue is a traversable

mccraigmccraig12:08:11

what is traversable ?

niwinz12:08:00

This link maybe will explain better that I can

niwinz12:08:15

The next cats release will be the first 1.0.0 i think

mccraigmccraig12:08:25

so you are adding a new protocol for traversable data types ?

niwinz12:08:59

@dialelo: is working on it

dialelo12:08:16

the idea behind traverse is to

dialelo12:08:23

map every element to an acction (applicative)

dialelo12:08:34

and evaluate such actions from left to right using applicative bind

dialelo12:08:59

a bit more general than map and reduce, you can both map & combine in single traversal

dialelo12:08:54

i hope to have this ready by the weekend

dialelo12:08:05

i travel on friday and will use that time for finishing this PR

mccraigmccraig12:08:53

dyu have any plans to add comonads and arrows to cats ?

mccraigmccraig12:08:06

i don't have any particular need for them atm, just wondering

dialelo12:08:34

we could, of course

dialelo12:08:48

i have an intuition of what Comonads look like being the dual of monads

dialelo12:08:57

but i'd have to learn more about the subject

dialelo12:08:59

same with arrows

niwinz12:08:15

It seems that is a great task for new contributors 😛

dialelo12:08:38

mccraigmccraig: feel free to open issues in the cats repo, we use github to track remaining work on the library

mccraigmccraig12:08:50

niwinz: simple_smile when i get a bit of relief from the delivery schedule i'm on atm i would love to work on some of this stuff - understanding and using it is certainly improving my programming

mccraigmccraig12:08:05

oh, i had a question about cats.labs.deferred ... why do -pure/-return use a manifold/future rather than a simple manifold/success-deferred ?

niwinz13:08:59

Hmm, because I don't know about success-deferred

niwinz13:08:07

didn't know

mccraigmccraig13:08:03

ha, ok - future uses another thread, so i was wondering if there was some deeper purpose i hadn't grokked simple_smile

niwinz13:08:18

No, knowing about success-deferred, I will change the pure/return impl to use it.

niwinz13:08:32

Additional thread is useless in this case.