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

@odomontois У меня есть джавный процесс Process. Он создаётся через new и запускается через start. Всё это с сайд эффектами. И у него после создания есть ещё методы типа onError и close. И я хочу получить примерно такое (псевдокод):

StartedDaemon[F[_], E, Process] {
  def get: Process
  def stop: F[Unit]
  def error: F[Option[E]]
}

Это частично похоже на Daemon, но меня интересует абстракция для уже запущенного процесса. А его создание — это просто отдельный эффект.

источник

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

Oℕ

Oleg ℕizhnik in Scala User Group

да - это Daemon

источник

11:03пожаловаться #6

ЮБ

Юрий Бадальянц in Scala User Group

Но как мне достать инстанс процесса? Через join? И как мне тогда такой демон сконструировать?

источник

11:04пожаловаться #7

Oℕ

Oleg ℕizhnik in Scala User Group

что такое инстанс процесса?

источник

11:04пожаловаться #8

Oℕ

Oleg ℕizhnik in Scala User Group

а жавовый

источник

11:04пожаловаться #9

ЮБ

Юрий Бадальянц in Scala User Group

да

источник

11:04пожаловаться #10

Oℕ

Oleg ℕizhnik in Scala User Group

ну если это обёртка над конкретной либой, нужно конкретную обёртку делать

источник

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

Oℕ

Oleg ℕizhnik in Scala User Group

Я не вижу, как это корректно абстрагировать в общем случае

источник

11:05пожаловаться #12

ЮБ

Юрий Бадальянц in Scala User Group

join на демоне вернёт F[A], а мне нужно над конкретным A всю вот эту машинерию сделать

источник

11:05пожаловаться #13

Oℕ

Oleg ℕizhnik in Scala User Group

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

источник

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

ЮБ

Юрий Бадальянц in Scala User Group

Ну пускай вот так будет:

trait StartedDaemon[F[_], E, A] {
  def get: A
  def stop: F[Unit]
  def error: F[Option[E]]
}

источник

11:07пожаловаться #15

ЮБ

Юрий Бадальянц in Scala User Group

Вот A — это джавовый процесс. Он где-то там в фоне чёта делает, у него есть какие-то свои состояния, есть колбэки.

источник

11:07пожаловаться #16

Oℕ

Oleg ℕizhnik in Scala User Group

это просто (A, Daemon[F, E Unit])

источник

11:07пожаловаться #17

Oℕ

Oleg ℕizhnik in Scala User Group

я не понимаю профита от того, что A находится внутри StartedDaemon, какие функции это позволяет реализовать?

источник

11:08пожаловаться #18

ЮБ

Юрий Бадальянц in Scala User Group

Подёргать его методы

источник

11:09пожаловаться #19

Oℕ

Oleg ℕizhnik in Scala User Group

Юрий Бадальянц

Подёргать его методы

Ну а если там будет A, B

источник

11:10пожаловаться #20