Channels
#arrow-contributors
- p
pakoito
03/01/2019, 10:17 PMuse fx instead of kotlinx.coroutines tho - p
pakoito
03/01/2019, 10:17 PMif you please could, it should be easy 😄 - p
pakoito
03/01/2019, 10:18 PMiirc - p
pakoito
03/02/2019, 11:41 PM - p
pakoito
03/02/2019, 11:41 PMezpz review here, it’s just a toy example - j
jacob
03/03/2019, 1:13 AMCan someone expand on the restriction on the example? - j
jacob
03/03/2019, 1:13 AMAbout what kt can't do that means needing to make types monadic? - p
pakoito
03/03/2019, 2:56 AMthe original allows for parametric typeclasses, so you can define - p
pakoito
03/03/2019, 2:56 AMTask<Applicative, Path, Binary> - p
pakoito
03/03/2019, 2:56 AMand that means that the whole task can be called for any F that has an Applicative, and just Applicative - p
pakoito
03/03/2019, 2:57 AMwhereas ours is fixed to F, and its applicative - p
pakoito
03/03/2019, 2:57 AMwhich means they cannot be run to IO and Id on the same build system, depending on needs - r
raulraja
03/03/2019, 12:49 PM@pakoito if it's built with suspension it would not need F maybe? - p
pakoito
03/03/2019, 12:54 PMI may take a look today! I did spend too much time on it yesterday and I could barely sleep -.- - p
pakoito
03/07/2019, 4:45 PMTATARATARATARATARATARATARA CALLING ALL CONTRIBUTORS https://github.com/arrow-kt/arrow/issues/1329 Could we get this new typeclass added before Sunday? Could anyone work on it over the weekend? It doesn't need to include all combinators or instances. With the definition of the selector function, a couple of instances for Option, Identity, and Function0, and getting the laws in I'm happy. Maybe a short doc with a TODO. Overall it shouldn't take more than 2-3h if you've done it before This is a new typeclass introduced in a paper presented this week. It's making the rounds in academic twitter, so if we're the first ones to productize it we'll get some free promo 😉 - p
pakoito
03/07/2019, 4:46 PMI'll be working on fixes for 0.9 this weekend, but if nobody else takes it I'll squeeze it in - r
Richard Gibson
03/07/2019, 5:36 PMI’m free talk later tonight? - r
Richard Gibson
03/07/2019, 5:37 PM@pakoito - p
pakoito
03/07/2019, 5:56 PMYeah - p
pakoito
03/07/2019, 5:56 PMCan do - r
raulraja
03/07/2019, 7:35 PMI'm also available for a while if anyone needs help👍 1 - j
jacob
03/07/2019, 9:36 PMHaven't read the pdf yet, but it looks like it's just mapLeft.spefialised to return bs? - p
pakoito
03/07/2019, 10:00 PM@Richard Gibson already had one instance written, and it was trivial, yes - p
pakoito
03/07/2019, 10:00 PMCopy codeinterface optionSelective: Selective<ForOption> { override fun <A, B> OptionOf<Either<A, B>>.select(f: Kind<F, (A) -> B>): Option<B> = fix().map { it.fold(f, ::identity) } } - p
pakoito
03/07/2019, 10:01 PM - p
pakoito
03/07/2019, 10:01 PMthe other operators are simple too - j
jacob
03/07/2019, 10:25 PMkind of looks like a specialised mapLeft transformer - p
pakoito
03/07/2019, 11:22 PMyes, and it’s used exclusively for effects - p
pakoito
03/07/2019, 11:22 PMoh shit the definition is wrong - p
pakoito
03/07/2019, 11:24 PMfixed