В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Scala User Group

1746 membersпожаловаться на группу
2020 January 24

λ

λoλdog in Scala User Group
значит таипкласс
источник
11:35пожаловаться#1

λ

λλ in Scala User Group
предпочитайте композицию наследованию
источник
11:35пожаловаться#2

λ

λoλdog in Scala User Group
@odomontois рассуди
источник
11:36пожаловаться#3

AO

Andrey Osnovin in Scala User Group
Oleg ℕizhnik
И, несомненно, если вы пишете код через ИО, это не делает грязные процессы чистыми, всё, что должно произойти - произойдёт, все эффекты должны быть применены, все особенности состояния должны быть учтены точно так же
Но пока вы композируете простые данные с использованием чистых тотальных функций, у вас больше возможностей для манёвра
Ну собственно как здесь написано https://alvinalexander.com/scala/io-monad-doesnt-make-function-pure-obvious-impure ?
Alvinalexander
Scala: “IO monad doesn’t make a function pure; it just makes it obvious it’s impure” | alvinalexander.com
I always find it confusing when people claim that the IO monad somehow makes an impure function pure. Frankly, I think that argument does a confusing disservice to people who are trying to learn functional programming (FP).
источник
11:37пожаловаться#4

λ

λoλcat in Scala User Group
λoλdog
значит таипкласс
Это бред
источник
11:38пожаловаться#5

λ

λoλdog in Scala User Group
обоснуй
источник
11:39пожаловаться#6

λ

λoλdog in Scala User Group
* @tparam @tparam @tparam M a target effect type; typically IO
источник
11:39пожаловаться#7

λ

λoλcat in Scala User Group
Любой параметризованный тип - тайпкласс?
источник
11:39пожаловаться#8

λ

λoλcat in Scala User Group
Причем тут М
источник
11:39пожаловаться#9

λ

λoλdog in Scala User Group
значит что может быть несколько инстансов для разных M
источник
11:39пожаловаться#10

λ

λoλcat in Scala User Group
Что. Ты. Несешь
источник
11:40пожаловаться#11

λ

λλ in Scala User Group
))
источник
11:40пожаловаться#12

λ

λoλdog in Scala User Group
M может быть IO
источник
11:40пожаловаться#13

λ

λoλdog in Scala User Group
и вообще что угодно
источник
11:40пожаловаться#14

λ

λλ in Scala User Group
не обязательно могут быть инстансы
источник
11:40пожаловаться#15

DM

Daniel Matveev in Scala User Group
λλ
))
переименуйся в IO
источник
11:40пожаловаться#16

λ

λλ in Scala User Group
ето просто параметричейкий тайп
источник
11:40пожаловаться#17

λ

λoλdog in Scala User Group
инстансы могут и отсутствовать
источник
11:40пожаловаться#18

λ

λoλcat in Scala User Group
λoλdog
M может быть IO
Причем тут вопрос о тайпклассах?
источник
11:40пожаловаться#19

λ

λoλdog in Scala User Group
но эт не отменяет факта то эт таиплкасс
источник
11:40пожаловаться#20