https://kotlinlang.org logo
Channels
Powered by
#arrow-contributors
  • j

    jasoet

    11/26/2018, 1:15 PM
    it related to functional concept or it just for consistency?
  • r

    raulraja

    11/26/2018, 1:15 PM
    It's needed to represent generically product types in Arrow with arbitrary arity in the different functions such as Applicative#map
  • r

    raulraja

    11/26/2018, 1:16 PM
    which preserves type information of all the arguments instead of coalescing them to 
    Any
  • r

    raulraja

    11/26/2018, 1:17 PM
    The std lib only provides 
    Pair
    but the moment you need a 
    Tuple4
    or something like that you are gonna have to use the Arrow ones so for consistency we should use the same ones across all the code snippets
  • j

    jasoet

    11/26/2018, 1:17 PM
    Noted
  • i

    Igal Tabachnik

    11/26/2018, 1:28 PM
    What’s the standard indentation size usage in Kotlin? 2 spaces?
  • s

    simon.vergauwen

    11/26/2018, 1:42 PM
    The Jetbrains style guide says 4 spaces but we found it too much for the Arrow codebase so we use 2.
  • s

    simon.vergauwen

    11/26/2018, 1:42 PM
    Which is what I also apply to my own projects.
  • i

    Igal Tabachnik

    11/26/2018, 1:43 PM
    That’s good, for the book the Scala snippets use 2 spaces as well (also to conserve space)
  • i

    Igal Tabachnik

    11/26/2018, 1:43 PM
    Perhaps this could be a guideline in the readme.
    👍 1
  • i

    Igal Tabachnik

    11/26/2018, 1:47 PM
  • r

    raulraja

    11/26/2018, 6:55 PM
  • s

    stojan

    11/26/2018, 10:05 PM
  • r

    Richard Gibson

    11/29/2018, 11:00 PM
    hey, working on https://github.com/arrow-kt/Category-Theory-for-Programmers.kt/issues/9 is there a reference to `ank:replace`/`ank:silent` etc anywhere?
  • r

    Richard Gibson

    11/29/2018, 11:01 PM
    at the minute I want to hide some imports but neither seem to do it
  • p

    pakoito

    11/29/2018, 11:04 PM
    replace replaces the result of a snippet, so I don’t know if that means the includes are kept. Silent just means skipping the output.
  • r

    Richard Gibson

    11/30/2018, 12:02 AM
    👍
  • r

    Richard Gibson

    11/30/2018, 1:30 AM
    empty string at the end of the replace block ftw
  • j

    Jorge Castillo

    11/30/2018, 10:27 AM
    @Richard Gibson more details about 
    Ank
    modifiers here https://github.com/arrow-kt/arrow/blob/master/modules/ank/README.md#modifiers
  • r

    Richard Gibson

    11/30/2018, 1:16 PM
    Brilliant, thanks for this
  • r

    Richard Gibson

    12/01/2018, 3:28 PM
  • r

    raulraja

    12/02/2018, 3:39 PM
  • r

    Richard Gibson

    12/02/2018, 5:20 PM
    Thanks
  • j

    jacob

    12/02/2018, 11:28 PM
    does that prove it though?
  • r

    raulraja

    12/02/2018, 11:42 PM
    yes, the contract tells the compiler that this relationship is true by convention because 
    Option<A>
    is a sub-type of 
    OptionOf<A>
  • j

    jacob

    12/02/2018, 11:45 PM
    ah, got it. that's why it's safe
  • j

    jacob

    12/02/2018, 11:46 PM
    that's nice. so is that a general replacement for the x as y trick?
  • p

    pakoito

    12/03/2018, 1:00 AM
    returns() implies (this@fix is Option<A>)
    is that contract already available?
  • p

    pakoito

    12/03/2018, 1:00 AM
    I thought we only had called once and nullable
  • r

    raulraja

    12/03/2018, 11:34 AM
    that works and it's available but you can't write a polymorphic version of it because you can;t use type params directly in contracts. for example 
    returns() implies (this@fix is A)
    where 
    A
    is a type param is invalid even when reified.
1...636465...115Latest