AS
Вот моя попытка через kind projector https://scastie.scala-lang.org/1Y1ugSdlT0CSq8UkAjkNRw
def stuff_3[F[_]: MonadError[*[_], Throwable]] = ???
Size: a a a
2020 April 23
ОД
Ох, спасибо. Как только я эту звездочку не тыкал туда!
VV
Ну шо, надеюсь тут остались только тру поцанчики по ФП угрожающие а слоупоки кому нужна была беттер Жаба к ней вернулись или в Кокотлин свалили?
AT
Ну шо, надеюсь тут остались только тру поцанчики по ФП угрожающие а слоупоки кому нужна была беттер Жаба к ней вернулись или в Кокотлин свалили?
Отлично в хату с дву ног ворвался
𝛈µ
Ну шо, надеюсь тут остались только тру поцанчики по ФП угрожающие а слоупоки кому нужна была беттер Жаба к ней вернулись или в Кокотлин свалили?
Чем преморфизм отличается от проморфизма?
Oℕ
чем эджейминатор отличается от элиминатора
𝛈µ
а онанизм от материализма
DG
нюб в Скале. Не знаете как можно избавиться от этого ворнинга?
StorageActor.scala 164 36 warning bloop: non-variable type argument peer.application.PersistedDataStoreValue in type pattern scala.util.Success[peer.application.PersistedDataStoreValue] is unchecked since it is eliminated by erasure (lsp)
DG
имеется
List[Try[Any]] и я делаюresponses
.collect { case x: Success[PersistedDataStoreValue] => x.get }
Oℕ
Вы уверены, что там не может быть Success с другими типами?
DG
ну тип
List[Try[Any]] но другие Success'ы не могут попадаться, но типами не защищенноPM
Denis G
имеется
List[Try[Any]] и я делаюresponses
.collect { case x: Success[PersistedDataStoreValue] => x.get }
можно сделать
case Success(x) => xPM
обычно этот ворнинг про то, что в паттерн матчинге перебирают что-то типа Success[Float], Success[Int] и т.д.
Oℕ
Denis G
ну тип
List[Try[Any]] но другие Success'ы не могут попадаться, но типами не защищенноcase Success(x) => x.asInstanceOf[PersistedDataStoreValue]
PM
а в рантайме это все Success[Any] грубо говоря
DG
а в рантайме это все Success[Any] грубо говоря
а почему?
PM
Denis G
а почему?
потому что type erasure
PM
вся эта магия с типами существует на этапе компиляции только
DG
я думал он только в Яве, а в скале такого нету
или я что-то путаю
или я что-то путаю