Channels
#arrow-contributors
- e
Eugenio
07/22/2018, 1:04 PMyes yes, getting the original type is only useful to be able to refer to the instance from the original type - e
Eugenio
07/22/2018, 1:05 PMso as we were saying yesterday:Copy codewith(Functor::class of Either::class) { ... } - e
Eugenio
07/22/2018, 1:05 PMwhich is what's going inside the extensions, as well as whenever you manually need to grab the instance from the basic types - e
Eugenio
07/22/2018, 1:08 PMdamn, as I suspected, I'm an idiot 😂 I can't use the form
because despite the fact thatKindId(Either::class)
is constant, it's not exposed in the signature and is only available in the compiled code! So I'll fall back toEither::class
🤷♂️KindId<Either<*,*>>() - e
Eugenio
07/22/2018, 1:08 PMwe generate most of those anyway, and even if you were to put real types, I would not use them at compile time - e
Eugenio
07/22/2018, 1:08 PMand we're not using that to do any type inference - e
Eugenio
07/22/2018, 1:08 PMso 👍 - p
pakoito
07/22/2018, 1:09 PMI love when my intuitions match reality even when I can’t explain why lol😂 1 - e
Eugenio
07/22/2018, 1:09 PMhehhe I did feel like "something was off" - e
Eugenio
07/22/2018, 1:09 PMit would work as an annotation, but then you can't enforce its presence - p
pakoito
07/22/2018, 1:09 PMyeah the world of values isn’t available - p
pakoito
07/22/2018, 1:10 PMeverything has to go to the types - e
Eugenio
07/22/2018, 1:10 PMif only this was Idris 🙄 - e
Eugenio
07/22/2018, 1:10 PM😂 - p
pakoito
07/22/2018, 1:11 PMyou’ve gone too far the dark side - p
pakoito
07/22/2018, 1:12 PMnext up you’ll want to work on programming languages - e
Eugenio
07/22/2018, 1:14 PMwell...... 🧌 - e
Eugenio
07/22/2018, 1:37 PMoh, another thing for when you have some time: I would love to be able to write a Sonar (https://fbsonar.com/) plugin in Kotlin-JS, but I'm not sure how to bridge Flux with it...? - p
pakoito
07/22/2018, 1:38 PMhave you contacted Emil about it? He’s out of Facebook and was the main driving force behind it - e
Eugenio
07/22/2018, 1:39 PMoh really?? - e
Eugenio
07/22/2018, 1:39 PMsmall world 😅 - e
Eugenio
07/22/2018, 1:39 PMis he into Kotlin as well? - p
pakoito
07/22/2018, 1:39 PMno, he’s more of a C person - e
Eugenio
07/22/2018, 1:40 PMalso, he's out of FB?! - e
Eugenio
07/22/2018, 1:40 PMEmil Sjölander right? - p
pakoito
07/22/2018, 1:40 PMyes, he left last month to start his own company - e
Eugenio
07/22/2018, 1:43 PM🤯 - e
Eugenio
07/22/2018, 3:08 PMdammit,
, WHYYYYNested - e
Eugenio
07/22/2018, 3:09 PMso, in your mind, is
... a parametricNested
? or is it a different type ofWitness
altogether? if you encounter that, how can you go to the original type? unless you consider both to be original types?!Kind - e
Eugenio
07/22/2018, 3:11 PMno, ok, so the normalised for is the unnested one:
, soKind<F, Kind<G, A>>
is the "real" typeF