Телеграмм чат группы scala

ок. зайду в вопросе с практической стороны.
есть необходимость "красиво" и практично (именно в таком порядке) сделать redner/parse тайпкласс
при этом тип во что рендериться может зависить от типра рендеринга.
сейчас пару минутку - доберусь до компа и покажу трейт

источник

02:06пожаловаться #11

Ilya in Scala User Group

что-то типа

trait ReadWrite[F[_],T1,T2] {
  def wrap(in:F[T1]):F[T2]
  def unwrap(in:F[T2]):F[T1]
}

источник

02:18пожаловаться #12

Ilya in Scala User Group

я не уверен что это именно бимап или изоморфизм

источник

02:19пожаловаться #13

Ilya in Scala User Group

или что-то еще

источник

02:19пожаловаться #14

λoλegΥch in Scala User Group

изоморфизм, да, не уверен как конкретно в котах реализовано

источник

02:30пожаловаться #15

aλeχknvl in Scala User Group

@tvoyfrut странный трейт

источник

02:34пожаловаться #16

aλeχknvl in Scala User Group

что определяет тип рендеринга, и почему аргументы обернуты в F?

источник

02:35пожаловаться #17

Ilya in Scala User Group

тип рендеринга потределяется по T1 (и всегда должно сужествовать обратное преобразование)
обернуты в F тк и получение и рендеринг могут быть "эффектами" и взаимодействовать с внешним миром

источник

02:42пожаловаться #18

Ilya in Scala User Group

я кстати не уверен как правильно должно быть обернуто

источник

02:42пожаловаться #19

aλeχknvl in Scala User Group

trait IsoF[F[_], T1, T2] {
  def to(in: T1): F[T2]
  def from(in: T2): F[T1]
}

источник

02:43пожаловаться #20