Scala User Group

09 Feb 2023 10:00

использование проекций из абстрактных типов ансаунд

Scala User Group

09 Feb 2023 09:54

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

Scala User Group

09 Feb 2023 09:49

Поэтому они более или менее взаимозаменяемы. Но это только с точки зрения правил применения

Scala User Group

09 Feb 2023 09:48

Да, в DOT женерики кодируются как тайпмемберы

Scala User Group

09 Feb 2023 09:42

А, черт, не увидел реализацию метода.

Scala User Group

09 Feb 2023 09:40

альтернативно можно написать
def ff1(f: A{type T >: String}) = f.set("hello")

Scala User Group

09 Feb 2023 09:38

не компилируется, потому что передача строки в роли T должна требовать String <:< f.T, а не наоборот

def ff(f: A)(using String <:< f.T) = f.set("hello")

Scala User Group

08 Feb 2023 00:56

What is the problem of this code that gives this error?

Scala User Group

08 Feb 2023 00:54

def singup(): Action[JsValue] = Action(parse.json) { request =>
request.body.validate[CreateUser].fold(error => BadRequest(JsError.toJson(error)), { auth =>
val code: String = Random.between(100000, 1000000).toString
database.UserRepositories.getByusername(auth.username).flatMap {
case None => database.UserRepositories.getBynumber(auth.number).flatMap {
case None => smsService.sendsms(auth.number,code) match {
case true => Ok(Json.toJson(Map("token" -> authService.encodeTokensingup(CreateUserToken(auth.number,auth.username,auth.email,auth.password,auth.name,auth.lname,code)))))
case false => BadRequest("error send sms")
}
case Some(existing) => Ok(Json.obj("message" -> ("number is singup")))
}.recover { case _ => ServiceUnavailable }
case Some(existing) => Ok(Json.obj("message" -> ("username in singup")))
}.recover { case _ => ServiceUnavailable }

})
}

Scala User Group

07 Feb 2023 21:00

Может кто подсказать видеоматериал по tapir + http4s(можно что-то другое)?
Язык не важен, желательно русский/английский

Scala User Group

07 Feb 2023 15:28

Извиняюсь за вопрос не в тему, кто английский учит, посоветуйте приложение где есть отмотка назад на 5-10 секунд. Спасибо

Scala User Group

06 Feb 2023 20:11

И какие варианты есть?)

Scala User Group

06 Feb 2023 19:57

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

Scala User Group

06 Feb 2023 18:58

да у меня прям просто добавление записи было - я их idшки сохранял - а потом просто удалял в случае ошибки

Scala User Group

06 Feb 2023 18:57

то есть, если там был insert, то делать потом delete?

Scala User Group

09 Feb 2023 09:59

Есть ли способ по типу A получить тип T? A#T не работает, тянуть экземпляр a: A .... a.T не хочется.

Scala User Group

09 Feb 2023 09:50

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

Scala User Group

09 Feb 2023 09:49

Ковариантные кодируются как верхняя граница, контравариантные - как нижняя

Scala User Group

09 Feb 2023 09:47

Я пытаюь понять отличие A[T] от A {type T} и что где лучше использовать. Получается, в дотти они идентичны за вычетом синтаксиса?

Scala User Group

09 Feb 2023 09:41

Может автор хочет чтоб T было гарантированно строкой или литералом

Scala User Group

09 Feb 2023 09:40

Тогда там Any подойдет

Scala User Group

09 Feb 2023 09:35

trait A {
  type T
  def set(v: T) = ()
}

def ff(f: A)(using f.T <:< String) = f.set("hello")

Scala User Group

08 Feb 2023 00:55

found : play.api.mvc.Result
[error] required: scala.concurrent.Future[?]
[error] case true => Ok(Json.toJson(Map("token" -> authService.encodeTokensingup(CreateUserToken(auth.number,auth.user
name,auth.email,auth.password,auth.name,auth.lname,code)))))

Scala User Group

07 Feb 2023 21:25

https://www.youtube.com/watch?v=fXtZ3qY3ad4

Scala User Group

07 Feb 2023 16:16

Доступен на всех платформах

Scala User Group

06 Feb 2023 20:20

У меня с конкурентными изменениями. Лочить все равно так или иначе запись придется, хоть в редис, хоть в бд. Это происходит в отдельном воркере, который если что перезапускается. А если второй воркер, то чтобы их синхронизировать и обеспечить последовательность обработки это сильно приседать нужно. Пока 1 инстанс сделал. Тоже лочусь на отправку мессаджа. Тоже читать во время лока можно.

Scala User Group

06 Feb 2023 20:11

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

Scala User Group

06 Feb 2023 19:56

неделю назад тут спрашивал тоже самое

Scala User Group

06 Feb 2023 18:57

в Вашем случае может быть сложнее - тогда да - придется ухищряться

Scala User Group

06 Feb 2023 18:57

у меня было простое добавление записи - поэтому было легко написать обратный запрос