1. Kotlin / Говнокод #27548

    −1

    1. 1
    val cityEq: (City) -> (Customer) -> Boolean = { city -> { it.city == city } }

    Какой Kotlin ^_^^_^^_^

    Запостил: PolinaAksenova, 04 Августа 2021

    Комментарии (25) RSS

    • ava PolinaAksenova 04.08.2021 22:44 # 0

      От сахара някнуться можня ☆*:.｡.o(≧▽≦)o.｡.:*☆.
      Ответить

    • ava bormand 04.08.2021 22:45 # 0

      City -> Customer -> Boolean

      Ого, прям как в функциональщине всякой.

      А откуда берутся city и it? Нигде же не написаны имена аргументов.
      Ответить

      • ava PolinaAksenova 04.08.2021 22:48 # +1

        city — параметр внешней лямбды (тип city выведен из типа cityEq), it — няявный аргумент для лямбды с одним параметром. Примерный перевод:
        auto cityEq = [](City & city) {
    return [](Customer & it) {
        return it.city == city;
    };
};


        А, в "{ city -> ...}" "city" — это как раз имя параметра.
        Ответить

        • ava bormand 04.08.2021 22:53 # 0

          Магия какая-то... Он что, первую попавшуюся переменную в лямбде считает ее аргументом?
          Ответить

          • ava bormand 04.08.2021 22:56 # 0

            А тьфу, поняла.

            Во внешней лямбде меньше сахара, там { city -> f(city) }.

            А вот во внутренней уже и имя переменной опустили, поэтому там it. Т.е. там { it -> it.city == city } если полностью расписать.
            Ответить

            • ava PolinaAksenova 04.08.2021 22:59 # 0

              Да, перед стрелочкой в лямбде идёт объявление её параметров:
              val lamblia_1 = { x: Int, y: Int -> x + y }  // Типы и нязвания параметров заданы явня
val lamblia_2: (Int, Int) -> Int = { x, y -> x + y }  // Нязвания параметров заданы явня, типы выведены из
                                                      // типа переменной, которой присваивается лямбда
val lamblia_3: (Int) -> Int = { it * 2 }  // Тип параметра выведен няявня, имя тоже

              Когда лямбда присваивается переменной с явня заданным типом — Котлин изо всех сил пытается вывести типы параметров лямбд автоматически.
              Ответить

    • ava bormand 04.08.2021 23:03 # +1

      А Customer не обидится, что к нему через местоимение it обращаются?
      Ответить

    • ava PolinaAksenova 04.08.2021 23:09 # +1 

      inline fun myMap(lst: List<Int>, lamblia: (Int) -> Int): List<Int> =
    lst.map(lamblia)  // няважня

fun main(args: Array<String>) {
    // Уровни безумия сахара
    val lst = listOf(1, 2, 3)
    println(lst.joinToString(", "))
    
    // 0. Нулевой: анонимная функция.
    val lst_func = myMap(lst, fun(x: Int): Int { return x * 2 })
    
    // 1. Базовый. Объявляем всё явня.
    val lst_explicit = myMap(lst, { x: Int -> x * 2 })

    // 2. Даём Котлиняше вывести тип параметра.
    val lst_x_infer = myMap(lst, { x -> x * 2 })

    // 3. Используем няявный параметр it с выведенным типом.
    val lst_implicit_single_param = myMap(lst, { it * 2 })

    // 4. Выносим лямбду за скобочки!
    val lst_out = myMap(lst) { it * 2 }

    println(lst_explicit.joinToString(", "))
    println(lst_x_infer.joinToString(", "))
    println(lst_implicit_single_param.joinToString(", "))
    println(lst_out.joinToString(", "))
}
      Ответить

      • ava bormand 04.08.2021 23:17 # +1

        > myMap(lst) { it * 2}

        Какое руби )))
        Ответить

      • ava CHayT 04.08.2021 23:20 # −1

        Это какие-то анафорические лямды что ли?
        Ответить

        • ava PolinaAksenova 04.08.2021 23:25 # 0

          Так точня (￣^￣ゞ!
          Тип лямбды зависит от типа переменной, которой эта лямбда присваивается.
          Ответить

      • ava nycpblcmuk 05.08.2021 09:51 # +1

        >> // 4. Выносим лямбду за скобочки!

        Каррирование, частное применение?
        Ответить

        • ava nycpblcmuk 05.08.2021 10:09 # +1

          s/частное/частичное/

          Какая невнимательность )))
          Ответить

          • ava 1024-- 05.08.2021 16:38 # +1

            Может, просто дубовая рубишня, когда благодаря синтаксиальной психозе аргументы просто так записываются и "myMap(lst)" либо не компилируется, либо срабатывает как вызов с пустошнёй во втором аргументе?
            Ответить

        • ava PolinaAksenova 05.08.2021 19:32 # +3

          Нят, нястоящей функционяльщины котлиняши ня осилили, а это просто синтаксический сахар: если последний параметр в функции имеет функционяльный тип, то лямбду туда можня передавать за скобочками (а если параметр всего один — то скобочки вообще можня опустить: "val x = listOf(1, 2, 3).map { it * 2 }").
          Ответить

          • ava 3EHuTHblu_nemyx 05.08.2021 19:34 # +1

            Жаль. А такой красивый косплей функционяльщины!
            Ответить

          • ava bormand 05.08.2021 19:53 # +1

            Эту фишку про "блоки" вроде из руби упёрли. Только там они реально блоками были, а не лямбдами. Можно было return сделать, к примеру.
            Ответить

    • ava 1024-- 05.08.2021 16:40 # 0

      А зачем оборачивать типы аргументов в скобки?
      Я ещё понимаю, зачем писать (a -> b) -> c и зачем начинающий писал бы a -> (b -> c). Но (a) -> (b) -> c. Зачем? Зачем?
      Ответить

      • ava bormand 05.08.2021 18:19 # +1

        Синтаксическая соль.
        Ответить

      • ava PolinaAksenova 05.08.2021 19:33 # 0

        Чтобы ня усложнять грамматику, видимо. В отличие от "C++", в Котлине оня есть: https://kotlinlang.org/docs/reference/grammar.html#functionType .
        Ответить

    Добавить комментарий