Channels
#arrow-contributors
- p
pakoito
10/09/2018, 1:02 AM - p
pakoito
10/09/2018, 1:02 AMthat’s CallK implementation, by the way - l
Leandro Borges Ferreira
10/09/2018, 11:28 PMhere is the PR: https://github.com/arrow-kt/arrow/pull/1037👏 3 - j
john
10/11/2018, 2:58 PM?r- 2
- 1
- r
Richard Gibson
10/11/2018, 3:02 PMThe solution I've seen online is to use extension functions but would prefer this to be abstract - s
simon.vergauwen
10/11/2018, 3:10 PMHaving
appearing asout A
is only possible with an extension function AFAIKin - r
raulraja
10/11/2018, 3:11 PM@Richard Gibson not sure you can encode contravariance in instance methods. We also use extensions in Arrow to provide those kinds of methods because we have not been able to encode them as instance methods. For example:Copy code
which in Scala is an instance method that looks like:fun <T> Option<T>.getOrElse(default: () -> T): T = ...Copy codedef getOrElse[B >: A](default: => B): B = ... - r
Richard Gibson
10/11/2018, 4:24 PMThanks for the input, will stick with extensions - p
pakoito
10/12/2018, 10:01 AMadd_arrow.gif - p
pakoito
10/12/2018, 10:02 AM^^^ how to get Arrow working with Keep-87 - p
pakoito
10/12/2018, 10:03 AMyou can generate the jar I copied into a new
folder by doinglib
on Arrow./gradlew :arrow-shadow:shadowJararrow 3 - j
jacob
10/12/2018, 10:03 AMok cool. so run that gradle cmd in the arrow project and then import it as a lib. nice 🙂 - s
simon.vergauwen
10/12/2018, 4:28 PM@tomasruizlopez am I not allowed to use inlined functions in an instance definition? - p
pakoito
10/12/2018, 5:51 PMyou can’t use inlined functions in interfaces - p
pakoito
10/12/2018, 5:52 PMmaybe there’s causality there - s
simon.vergauwen
10/12/2018, 6:09 PMBut an
is not an interface?extension class - s
simon.vergauwen
10/12/2018, 6:09 PMI can send post a link later. I was trying portion of Helios with KEEP87 - s
simon.vergauwen
10/12/2018, 6:10 PMBtw is is not possible to do following with
, right?Kind - s
simon.vergauwen
10/12/2018, 6:10 PM-.hs - s
simon.vergauwen
10/12/2018, 6:11 PMSince
is conflicting forKind<F, A>
andFreeC
. Typing it makes me feel ridiculous to ask 😄Result<R> - p
pakoito
10/12/2018, 6:12 PMyeah, there’s conflict there - p
pakoito
10/12/2018, 6:12 PMin the values of F - p
pakoito
10/12/2018, 6:13 PMF is covariant tho - p
pakoito
10/12/2018, 6:13 PMso you can make ForFreeC inherit ForResult and the other way around - p
pakoito
10/12/2018, 6:13 PMmmmmmaybe that works - p
pakoito
10/12/2018, 6:13 PMI’ll just like you 25% less🤣 1 - s
simon.vergauwen
10/12/2018, 6:32 PMThen suggest me a better solution :D - s
simon.vergauwen
10/12/2018, 6:32 PMHahaha - j
jacob
10/17/2018, 10:16 AM@pakoito well, https://github.com/arrow-kt/arrow/pull/948#issuecomment-430572519 I said a week and it's been 4 months 😛 do you know if this PR is still valid? if it is then I'll finish it off - p
pakoito
10/17/2018, 10:20 AMyeah it’s legit