Pytania oznaczone «scala-cats»

Jak uzasadnić bezpieczeństwo stosu w Scala Cats / fs2?

Oto fragment kodu z dokumentacji dla fs2 . Funkcja gojest rekurencyjna. Pytanie brzmi: skąd wiemy, czy można je bezpiecznie nakładać i jak uzasadnić, czy jakakolwiek funkcja jest bezpieczna w stosie? import fs2._ // import fs2._ def tk[F[_],O](n: Long): Pipe[F,O,O] = { def go(s: Stream[F,O], n:...

Czy konstruowanie obiektów stanowych powinno być modelowane za pomocą typu efektu?

Czy w przypadku korzystania z funkcjonalnego środowiska, takiego jak Scala cats-effect, czy budowę obiektów stanowych należy modelować za pomocą typu efektu? // not a value/case class class Service(s: name) def withoutEffect(name: String): Service = new Service(name) def withEffect[F:...