Делаешь третий инстанс, который комбинирует эти два

Ну вот, например, такой пример: https://scastie.scala-lang.org/VOF8UBiURKaF8A7VQiPiVw

хочется чтобы можно было имплиситно импортировать инстансы, но при этом использовать те, которые нужно

типа один импорт сделать?

ага

чтобы пользователь свой object определил с всеми инстансами, которые ему нужны, импортнул, и использовались эти инстансы

Ну тут теги особо не спасут, лучшим вариантом будет разнести на разные пекеджи эти интсансы

String @@ Database ? )

ну или руками подставлять

Вот Ник да, видимо как раз мне тегирование и надо

Ну это уже разные типы :)

@eld0727 сделать через теги можно, но над ли

с разными типами конечно проблем нет

так разнесу я на разные пакеты, всё равно их оба импортируешь и в скоупе будет одно и то же

или да, руками )

Но руками не хочу заставлять

если они оба будут в скоупе, то не скомпилится ж

вот и я о том же

я не вижу проблем в исполозовании конкретного импорта

import kirill.instances.dbLoader

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

тогда получится что делаешь тайпкласс для new ResourceLoader[String @@ Database] а не String

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

руками импортить

вместо import kirill.instances._

импортить же можно не только вначале файла { imprort package.db._ use[String]("abc") } { imprort package.disk._ use[String]("abc") }

но это наркота чуть чуть

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

ну он тебе блок показал

ты можешь прямо в функции импортить)

вообще похорошему в одной функции использовать два интсанса тайпкласса, чутка попахивает

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

слегка?

да, наверное, попахивает

только как мне избавиться от такого

ну вот в примере хотя бы

сделать две разные функции)

тогда получится что делаешь тайпкласс для new ResourceLoader[String @@ Database] а не String

не над. точнее не обязательно, от кейса зависит. можно тайпкласс и для стринга делать, просто разные. а потом лифтишь до нужного, если очень хочется. (например в случае когда уже готовые тайпклассы есть и нет возможности или смысла править их) val resourceLoaderFromXYZ:ResourceLoader[String] = ??? val resourceLoaderFromDB:ResourceLoader[String] = ??? implicit val r0:ResourceLoader[XYZ] = lift(resourceLoaderFromXYZ) implicit val r1:ResourceLoader[DB] = lift(resourceLoaderFromDB)

какой то магический lift, который создаст мне инстанс нужного типа?

какой то магический lift, который создаст мне инстанс нужного типа?

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

он не создает, также тегает просто нужный инстанс

хотя в супертаггед лифтом сам тег-обьект может служить в таком кейсе object DB extends TaggedType[String] val liftedDB = DB( resourceLoaderFromDB )

а почему бы и нет?

None - означает, что нет значения для ключа(или нет ключа в мапе - кому как нравится). Если кто-то положил в мапу ключ со значением нулл - значит ты его оттуда с нулом и достанешь

так у него Some(null)

None - означает, что нет значения для ключа(или нет ключа в мапе - кому как нравится). Если кто-то положил в мапу ключ со значением нулл - значит ты его оттуда с нулом и достанешь

это понятно, но по данному ключу есть case object который, на удивление, как все, единственный из всех null, не думал что оно null, пойду дебажить

так у него Some(null)

ты забыл, что скаловский гет возвращает опшин, который свидительствует о том - есть такой ключ или нет. ?

если было бы Map[String, Option[Param]] - тогда гет мог бы вернуть "немного(ничего)" - Some(None), что впрочем все равно не помешает засунуть туда по ключу нулл и получить немного нула обратно

а

у него просто ключ есть, а значение null

насколько стрёмно создавать marker trait, чтобы различать между собой инстансы тайпкласса для одних и тех же типов? Хочу например, печатать , делаю trait Printable[T] { def print(t: T): Unit = ... }, но там где определяю тайпклассы, хочу чтобы у меня был один инстанс чтобы печатать строку в консоль, и второй - чтобы печатать её в лог файл. Нормально ли для такого сделать какой-то пустой marker trait, типо trait Target и добавить в Printable его?

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

Про "не импортировать ненужное" - эта техника всегда подводила, лучше так не делать и писать код, который будет даже если в скоупе есть все импорты

/stat@combot

combot.org/chat/-1001034178083

как-то я просел

отпуск все дела

сместили в рейтинге ироды

сцук, я ж не флужу ничего, почему я в топи

сцук, я ж не флужу ничего, почему я в топи

самый флудераст; пока на пляже лежал в пуш уведомлениях одни твои сообщения

@pomadchin у тебя фильтр Нижника включен

@pomadchin у тебя фильтр Нижника включен

ты тоже как-то просел по рейтингу

я с тобой в отпуске был)

а если честно, я читал Олега и обдумывал

сцук, я ж не флужу ничего, почему я в топи

ты в топе по активности по флуду там отдельная колонка

ты в топе по активности по флуду там отдельная колонка

причем по активности солидный такой отрыв от ближайшего преследователя

Community health 58% надо методику найти)

причем по активности солидный такой отрыв от ближайшего преследователя

за месяц если посмотреть то еще больше ?

Community health 58% надо методику найти)

Это учитывает количество токсичных ответов? :)

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

Да, это я понимаю, в результате я не нашёл для себя ничего лучше, чем подавать инстансы тайпкласса руками там где мне в одном и том же скоупе нужны разные инстансы одного типа :(

У меня обычно для таких случаев у typeclass есть отдельный параметр

типа Database[Future, Sys <: System]

case object SystemA extends System case object SystemB extends System

def loadDataFromA[F[_]: Database[?[_], SystemA.type]

ну или как-то так

лучше поконкретнее

теги, конечно, хорошее решение на скорую руку, однако не решают задачу принципиально

типа Database[Future, Sys <: System]

Так я в оригинальном вопросе про это и спрашивал, я так и хотел сделать, типо trait Printable[T, M <: Marker], в инстансах case object M1 extends Marker и использовать как Printable[String, M1].print(), но я подумал что мне сказали что это полная фигня так делать.

мне кажется, что это более корректное решение

А про что мне тогда ответили, когда я спросил про маркер трейт?

ну просто Marker trait звучит как херня из рефлешновского прошлого

на самом деле можно даже без трейта просто trait Printable[T, M]

Я видимо не правильно понял выражение marker trait

https://habrahabr.ru/company/jugru/blog/339524/

ох как хорошо

Let it begin. The greatest shitstorm of our time!

Пока спокойно

Для желающих переучиться это хорошая возможность уже сейчас изучать язык, который очевидно через два-три года будет популярен.

очевидно

очевидно

блин, это надо в Го-чатик кидать, а не сюда.

Их там порвёт же

не порвет

они прагматичны вы забыли

судя по отзывам там забаненных, их вообще от всего рвет

слишком мета юмор вбрасывается скалистами а они палками просто закидывают

а кого там забанили?