Koko / Говнокод #27548 Ссылка на оригинал

0

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

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

Запостил: PolinaAksenova PolinaAksenova, (Updated )

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

  • ava bormand # Ссылка на оригинал 0

    City -> Customer -> Boolean

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

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

    • ava PolinaAksenova # Ссылка на оригинал 0 ⇈

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


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

      • ava bormand # Ссылка на оригинал 0 ⇈

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

        • ava bormand # Ссылка на оригинал 0 ⇈

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

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

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

          • ava PolinaAksenova # Ссылка на оригинал 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 DypHuu_niBEHb # Ссылка на оригинал 0 ⇈

      >А откуда берутся


      ненавижу кстати неявный захват всякого говна. ГЦ-Пидары натащут хуйни, а мне потом мемори лики искать
      Ответить

  • ava bormand # Ссылка на оригинал 0

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

    • ava DypHuu_niBEHb # Ссылка на оригинал 0 ⇈

      В джаваскрипте и в некоторых случаях в груви к нему вообще бы обращались "this".
      Ответить

        • ava TAPAC # Ссылка на оригинал 0 ⇈

          США стонет под игом афроамерикосов. они ненавидят белых и всячески притесняют. Этакой неоРасизм, где угнетенные поменялись местами с угнетателями. Вот и твой Обама, обама обама. Ставит на места своих -таких же грязных нигеров.
          Ответить

  • ava PolinaAksenova # Ссылка на оригинал 0 

    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 PolinaAksenova # Ссылка на оригинал 0 ⇈

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

    • ava nycpblcmuk # Ссылка на оригинал 0 ⇈

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

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

        • ava 1024-- # Ссылка на оригинал 0 ⇈

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

      • ava PolinaAksenova # Ссылка на оригинал 0 ⇈

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

        • ava bormand # Ссылка на оригинал 0 ⇈

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

          • ava DypHuu_niBEHb # Ссылка на оригинал 0 ⇈

            Причем рубисты блоком даже по массиву итерируются ради области видимости
            Ответить

        • ava DypHuu_niBEHb # Ссылка на оригинал 0 ⇈

          в груви тоже самое

          Это зело полезно для написания DSLей

          ну собссно и в руби тоже похоже
          Ответить

  • ava 1024-- # Ссылка на оригинал 0

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

  • ava guest # 0

    Ничего не понял. Как это будет выглядеть на пыхе?
    Ответить

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

Помни, guest, за тобой могут следить!

    А не использовать ли нам bbcode?

    ↑
    8
    ↓