требуется, чтобы специализация совпадала ( одинаковые сигнатуры не канают)

надо, чтобы все галочки и адреса в таблицах сошлись

я мб туплю, а почему не может? если у меня трейт был бы задан жестко trait A { def a(a: Boolean): Boolean} и при рантайм формировании класса я бы его формировал как class B extends A { override def a(): Boolean = true }

если ты жестко задашь метод в трейте с типами и внутри экстендера соблюдешь - тоже будет работать.

да, я не так пример наверное написал, как-то по другому делал, стёр уже к сожалению

если в intellij - там есть волшебная вещь Local History (правой кнопкой на файл) - там все есть)

если в intellij - там есть волшебная вещь Local History (правой кнопкой на файл) - там все есть)

как она меня спасла однажды когда я снес .git

а, я понял почему не работало, я же делал в трейте не apply а функцию, которая возвращала (Boolean => Boolean), вот она где то там мб и фейлилась

https://github.com/scala/scala/pull/5649

https://github.com/scala/scala/pull/5649

наконец-то, а то он TLS 2.12.1 без неё не релизил

збс

наконец-то, а то он TLS 2.12.1 без неё не релизил

Пользуетесь TLS?

Да, лучше названия не придумать

Пользуетесь TLS?

приходится

эта штука тоже, наверное, до пришествия провисит в пулреквестах к основному реп., а в TLS будет в 2.12.2

как вот это? https://github.com/scala/scala/pull/5310

Какой же он крутой

как вот это? https://github.com/scala/scala/pull/5310

У меня каждый раз бомбит, когда я вижу, что этот PR все ещё 'Open'

У меня каждый раз бомбит, когда я вижу, что этот PR все ещё 'Open'

там ещё не договорились с синтаксисом, так что он может до 2.14 так провисеть

там ещё не договорились с синтаксисом, так что он может до 2.14 так провисеть

Сейчас вроде уже не в синтаксисе дело, а в интеграции с reflect и макросами

Сейчас вроде уже не в синтаксисе дело, а в интеграции с reflect и макросами

по-моему там решили, что с текущими макросами никто их интегрировать не будет

друзья, кто подкаст слушал, дайте формальное описание типа с дыркой , пожалуйста ?

F[_] - ?

друзья, кто подкаст слушал, дайте формальное описание типа с дыркой , пожалуйста ?

Higher-kinded types

F[_] - ?

Да.

типы с дыркой звучит хорошо

тип с дырявой дыркой и простой

тип с двумя дырками с дырками

в чем отличие между F[_] и F[Any]?

один тип и две дырки

Спасибо, еще вопрос, кто котов мучал, есть возможность , чтобы часть кода идея красным не красила?

неа; плата за типы хорошие

красные коты :_:

_ это T forSome { type T }

Спасибо, еще вопрос, кто котов мучал, есть возможность , чтобы часть кода идея красным не красила?

вырубить проверку типов, либо прописывать кучу параметров типов, увеличив количество кода втрое

Документация котов: У нас есть аппликатив , он определяется так, но давайте его определим по-другому

сахар над экзистенциальным типом

ну хоть https://github.com/scala/scala/pull/5102 вмержили

M[T <: K[_]] ~ M[T <: K[L forSome { type L }]]

А у кого-нибудь есть примеры тестов со сликом?

ну хоть https://github.com/scala/scala/pull/5102 вмержили

меня больше тот с knownDirectSubclasses мучал

https://github.com/scala/scala/pull/5284

Блин, ненавижу слик. Постоянно какая-то у них своя магия. Как блин хотя бы тест написать. неужели без копирования вот этого говна не обойтись: https://github.com/typesafehub/activator-slick-testkit-example/blob/master/src/main/scala/scala/slick/driver/MyPostgresDriver.scala

почему нельзя просто замокать db.run и сами скл-экшены. Как люди живут с этим

Напиши уже свои)

Кстати, а слик в рантаиме много мусора делает? Никто не смотрел?

тестовую базу можно тоже поднимать

почему нельзя просто замокать db.run и сами скл-экшены. Как люди живут с этим

Есть, но не под рукой. Вкратце, через мокито сделан Answer, в котором successaction конвертится во фьючу

До этого подсовывали jdbc драйвер ему, чтоб типа выполнял все

проще в тесте поднять h2 напихать туда данных, да сверху все протестить

Есть, но не под рукой. Вкратце, через мокито сделан Answer, в котором successaction конвертится во фьючу

Но one cannot mock final method. а db.run именно такй, разве не так?

.when(repo).run(any[DBIO[_]]) ?

мокито сам не догадывается о своей мощи

Senior executive, entrepreneur and technology influencer with expertise in Big Data, Cloud infrastructure & Blockchain

Прям бинго

@fomkin встречу нужно !

.when(repo).run(any[DBIO[_]]) ?

Я все понял. У нас db.run прокинут в метод run репозитория, т.ч. мокается уже он

а вот у кого большой опыт пользования моки; как оно с имплиситами работает? я пробовал мокнуть функцию def foo[T: Sfinktor1]: Skin = ... и она возвращала мне null тогда как def foo2[T]: Skin = ... мокалась прекрасно

а вот у кого большой опыт пользования моки; как оно с имплиситами работает? я пробовал мокнуть функцию def foo[T: Sfinktor1]: Skin = ... и она возвращала мне null тогда как def foo2[T]: Skin = ... мокалась прекрасно

Так там пьёте, тип сфинктором называть ?

вот как пример почему однобуквенные лучше

Так там пьёте, тип сфинктором называть ?

Да ктот вбросил я продолжил

Стиль монотонный сохранил

@fomkin встречу нужно !

Нужно! Ктож спорит.

ERROR: S client not available

http://stackoverflow.com/a/39139732 не то? (автор ответа -- я, если что)

кстати. можно заменить scala.reflect.classTag[RealJoda].runtimeClass //на classOf[RealJoda] tb.compile порождает функцию, а определение класса не является значением(возвращается Unit), поэтому ему нужно хоть в каком нибудь виде ссылку на этот класс вернуть(мы же помним, что последнее значение в блоке возвращается) и самый простой classOf годится, поскольку он как раз Class[RealJoda] и возвращает)

а вот у кого большой опыт пользования моки; как оно с имплиситами работает? я пробовал мокнуть функцию def foo[T: Sfinktor1]: Skin = ... и она возвращала мне null тогда как def foo2[T]: Skin = ... мокалась прекрасно

можно попробовать явно в мок передать implicit Sfinktor1[T] (ну или any[Sfinktor1[T]]), T подставить реальный

https://blog.jetbrains.com/kotlin/2017/01/kotlin-1-1-beta-is-here/ - часть фич подозрительно знакома

Намекаешь, что скоро анонсируют компилятор Kotty ?

Намекаешь, что скоро анонсируют компилятор Kotty ?

Звучит мило.

напишут kapeless будет для хардкорщиков

Тогда уж лучше Kattie

напишут kapeless будет для хардкорщиков

cakeless

и Kats.

Или Kots.

kotы

интересно будут на русский манер называть котлин либы?

kotlinses понатыкают везде

еще десяток таких релизов и Kotlin станет Scala ? А мы переедем на Dotty к тому времени

Положа руку на сердце, корутины выглядят сладко

не понятно только, как executorов указывать

еще десяток таких релизов и Kotlin станет Scala ? А мы переедем на Dotty к тому времени

на Kotty ты хотел сказать

и Енумы им завезли

https://github.com/scala/async def combined: Future[Int] = async { val future1 = slowCalcFuture val future2 = slowCalcFuture await(future1) + await(future2) }

на Kotty ты хотел сказать

Kotty появится еще через десяток релизов, у нас будет что-то другое )

async стар, но популярности так и не сыскал (по мне так, в нем легко запутаться, если метод жырный)

"еще" или "уже", как в Kotty разница, один Kotlin другой дразнится

async стар, но популярности так и не сыскал (по мне так, в нем легко запутаться, если метод жырный)

ну тут же тоже самое )

а, тьфу, я с ходу у них в коде не заметил первой строки future { реально тож самое

запутаться легко в continuations, хотя там скорее невозможно распутаться

Положа руку на сердце, корутины выглядят сладко

А чем for то не угодил ? val res = for { r1 <- future(...) r2 <- future(...) r3 <- future(...) } yield (r1+r2+r3)

с ним как раз все идеально)

у котлянистов есть аналог для SIP, называется KEEP

у многих языков есть такое, и скала далеко не первая в этом)

первая-не-первая не важно ж, просто глядя на котлин меня не перестает удивлять почему в процессе заимствования они обязательно все извращают

А тут что извратили?

А тут что извратили?

ятд они функциональную композицию выкинули, и оставили только императивщину