Котаны, философский вопрос, зачем вводят F[_] в функциональных программах, какие

Question

Scala User Group

Cap Dev

Котаны, философский вопрос, зачем вводят F[_] в функциональных программах, какие

выгоды и возможности мы получаем ?

#programming #russian #scala

0

08.09.2021

9 ответов

8 просмотров

Simon

Ощутимая выгода - возможность написать 1 библиотеку, которая будет работать с любой системой эффектов (cats-effect, Monix, ZIO, you name it). Философские выгоды каждый придумывает сам

0

08.09.2021

Grigory Pomadchin

можно (субьективно) делать более понятные сигнатуры; ведь в нее теперь можно положить харакетристику F[_] что она делает а может и ТФ захочешь

0

08.09.2021

Pavel

https://podcasts.apple.com/ca/podcast/%D0%B2%D1%8B%D0%BF%D1%83%D1%81%D0%BA-87-tf-%D0%B1%D1%8B%D1%82%D1%8C-%D0%B8%D0%BB%D0%B8-%D0%BD%D0%B5-%D0%B1%D1%8B%D1%82%D1%8C/id1156356598?i=1000488464540 если хочется послушать разные мнения, вот тут умные господа рассуждали на эту тему

0

08.09.2021

Aλiaksandr Siamionau

Чтобы иметь principle of least power, т.е. если тебе нужен map, то просишь (implicit F: Functor[F]). А если бы было что-то конкретное, то оно может хоть ракеты в космос запускать.

0

08.09.2021

Grigory Pomadchin

Aλiaksandr Siamionau
Чтобы иметь principle of least power, т.е. если те...

^ дело, типо def foo[F[_]: Functor](fa: F[A]) ‘яснее’ чем def foo(fa: IO[A]) вдруг эта IO это import scala.concurrent.{Future => IO} гадай, что IO умеет делать и зачем это в функции

0

08.09.2021

Daniel

Grigory Pomadchin
^ дело, типо def foo[F[_]: Functor](fa: F[A]) ‘ясн...

import scala.concurrent.{Future => F}

0

08.09.2021

Cap Dev Автор вопроса

Pavel
https://podcasts.apple.com/ca/podcast/%D0%B2%D1%8B...

👍

0

08.09.2021