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

2020 February 21

KS

Kirill Shelopugin in Scala User Group

Дегусь-то понятно - ему надо популяризовать и продавать своё творение, тут вопросов быть не может

источник

22:35пожаловаться #1

АК

Анатолий Кот in Scala User Group

Nikita Vilunov

ZIO с чем угодно в параметре энва все ещё является конкретной монадой с бесконечно богатой экспрессивностью. То, что там в энве Database не означает, что она не может делать запросы по HTTP, например.

Так и есть. Но ведь, если я ничего не путаю, и наличие баунда F[_]: Console не гарантирует, что для конкретной Console[Task] или F[_]: Sync .. Console[F], в том месте, где будет заимплементирована конкретная реализация, не будет http кола. Все сводится к некоторой дисциплине, относительно того, что делаешь (но с этого ведь и начинается любое фп на скале, ведь так?).

источник

22:37пожаловаться #2

AD

Apache DOG™ in Scala User Group

Анатолий Кот

Так и есть. Но ведь, если я ничего не путаю, и наличие баунда F[_]: Console не гарантирует, что для конкретной Console[Task] или F[_]: Sync .. Console[F], в том месте, где будет заимплементирована конкретная реализация, не будет http кола. Все сводится к некоторой дисциплине, относительно того, что делаешь (но с этого ведь и начинается любое фп на скале, ведь так?).

Даже в коке можно сделать багу без дисциплины

источник

22:39пожаловаться #3

NV

Nikita Vilunov in Scala User Group

Анатолий Кот

Так и есть. Но ведь, если я ничего не путаю, и наличие баунда F[_]: Console не гарантирует, что для конкретной Console[Task] или F[_]: Sync .. Console[F], в том месте, где будет заимплементирована конкретная реализация, не будет http кола. Все сводится к некоторой дисциплине, относительно того, что делаешь (но с этого ведь и начинается любое фп на скале, ведь так?).

Он может быть и в Database, смысл не в этом, а в том, что ты ограничиваешь свой язык теми инстансами, что ты предоставляешь. Имея на руках Console, ты можешь только писать в консоль, даже если это какая-то удаленная консоль по http, но не можешь обращаться к базе данных. Имея на руках Sync, ты можешь и писать в консоль, и обращаться в БД, и общаться со всеми микросервисами и всё что можно. Возвращать ZIO — это то же самое, что пробрасывать Sync[F].

источник

22:40пожаловаться #4

KS

Kirill Shelopugin in Scala User Group

Анатолий Кот

Так и есть. Но ведь, если я ничего не путаю, и наличие баунда F[_]: Console не гарантирует, что для конкретной Console[Task] или F[_]: Sync .. Console[F], в том месте, где будет заимплементирована конкретная реализация, не будет http кола. Все сводится к некоторой дисциплине, относительно того, что делаешь (но с этого ведь и начинается любое фп на скале, ведь так?).

Разве какое-то программирование может обходиться без дисциплины?

источник

22:40пожаловаться #5

Б

Берял in Scala User Group

Nikita Vilunov

Он может быть и в Database, смысл не в этом, а в том, что ты ограничиваешь свой язык теми инстансами, что ты предоставляешь. Имея на руках Console, ты можешь только писать в консоль, даже если это какая-то удаленная консоль по http, но не можешь обращаться к базе данных. Имея на руках Sync, ты можешь и писать в консоль, и обращаться в БД, и общаться со всеми микросервисами и всё что можно. Возвращать ZIO — это то же самое, что пробрасывать Sync[F].

Разве какое-то программирование может обходиться без дисциплины?

источник

22:41пожаловаться #6

NV

Nikita Vilunov in Scala User Group

Тайп-параметр среды в зио никак не ограничивает то, что может происходить внутри этого зио, потому что это просто ридер-монадка на стероидах, которая возвращает IO, соответственно зио не решает проблем, которые решаются таглесс файналом, что бы дегузь не говорил

источник

22:41пожаловаться #7

Б

Берял in Scala User Group

жаль, что популяризаторы ТФ рассказывают какую-то хрень о том, что твоя программа может/не может делать, но не рассказывают о реальной пользе и велью от ТФ, которого не мало. наверное, чтобы хорошо о чем-то рассказывать, надо это сначала попробовать

источник

22:43пожаловаться #8

λ

λλ in Scala User Group

Nikita Vilunov

Он может быть и в Database, смысл не в этом, а в том, что ты ограничиваешь свой язык теми инстансами, что ты предоставляешь. Имея на руках Console, ты можешь только писать в консоль, даже если это какая-то удаленная консоль по http, но не можешь обращаться к базе данных. Имея на руках Sync, ты можешь и писать в консоль, и обращаться в БД, и общаться со всеми микросервисами и всё что можно. Возвращать ZIO — это то же самое, что пробрасывать Sync[F].

что мешает сделать Module[F[_]: Db: Http]
Db[F[_]: Sync]
Http[F[_]: Sync]

источник

22:43пожаловаться #9

NV

Nikita Vilunov in Scala User Group

λλ

что мешает сделать Module[F[_]: Db: Http]
Db[F[_]: Sync]
Http[F[_]: Sync]

Да ничего не мешает, а что?

источник

22:44пожаловаться #10

Б

Берял in Scala User Group

Берял

жаль, что популяризаторы ТФ рассказывают какую-то хрень о том, что твоя программа может/не может делать, но не рассказывают о реальной пользе и велью от ТФ, которого не мало. наверное, чтобы хорошо о чем-то рассказывать, надо это сначала попробовать

я говорю о чистых сигнатурах, отсутствии лифтов, о хорошей инкапсуляции и прочем

источник

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

λ

λλ in Scala User Group

Nikita Vilunov

Да ничего не мешает, а что?

ну ты говоришьвезде синк который тебя ничем не ограничивает, новедьты можешьимея синк самсебя ограничитьё

источник

22:45пожаловаться #12

λ

λλ in Scala User Group