Size: a a a

Scala User Group

2020 August 02

O

Orbarax in Scala User Group
Apache DOG™
Он молча ляпает кастыль и идёт дальше
да, например как в C# воткнули утиную типизацию для foreach, from select, await и чего там ещё, вместо создания нормального механизма для абстрагирования подобных интерфейсов. конечно, ведь для такого нужен либо хкт, либо тайпфанкшены в классах
источник

AD

Apache DOG™ in Scala User Group
Orbarax
да, например как в C# воткнули утиную типизацию для foreach, from select, await и чего там ещё, вместо создания нормального механизма для абстрагирования подобных интерфейсов. конечно, ведь для такого нужен либо хкт, либо тайпфанкшены в классах
linq
источник

DK

Denis Kabishev in Scala User Group
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Уже можно удалять начинать?
источник

SR

Sergey Rublev in Scala User Group
жги
источник

НБ

Николай Бондаренко... in Scala User Group
Воу, сколько нас тут
источник

K

Kai in Scala User Group
Orbarax
да, например как в C# воткнули утиную типизацию для foreach, from select, await и чего там ещё, вместо создания нормального механизма для абстрагирования подобных интерфейсов. конечно, ведь для такого нужен либо хкт, либо тайпфанкшены в классах
Ты имеешь ввиду как в скале?
источник

US

Uladzislau Safronau in Scala User Group
Sergey Alaev
Интерфейс - это альтернативный вариант сделать функтор. Можно запилить тайпкласс с методом map, можно заимплеменить интерфейс с методом map
А вас не смущает то, что можно флэтмапить разные реализации друг с другом?
источник

SA

Sergey Alaev in Scala User Group
Uladzislau Safronau
А вас не смущает то, что можно флэтмапить разные реализации друг с другом?
Вообще нельзя. Если действительно обьявить интерфейс Monad и унаследовать от него реализацию, то в реализации придется делать instanceof. Но как я уже писал, я пожертвовал многим ради наглядного донесения двух вещей - HKT как абстракции над вычислением и монады как абстракции над последовательной композицией.
источник
2020 August 03

O

Orbarax in Scala User Group
Kai
Ты имеешь ввиду как в скале?
типа того
источник

Oℕ

Oleg ℕizhnik in Scala User Group
Kai
Ты имеешь ввиду как в скале?
как?
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
кажется Кай имеет в виду то, что в скале for работает так же — ищет методы map,  flatMap, foreach etc.
источник

Oℕ

Oleg ℕizhnik in Scala User Group
ну вот я и думал изначально про ето или про структурные типы в скала / анонимные рекорды в сишарп
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
в шарпе емнип нельзя в анонимных рекордах делать методы, так что они изоморфны таплам из более поздних версий шарпов
источник

Oℕ

Oleg ℕizhnik in Scala User Group
методы нельзя, но разговор то про утиную типизацию
источник

Oℕ

Oleg ℕizhnik in Scala User Group
ну изоморфны и ладно, синтаксически то удобнее
источник

Oℕ

Oleg ℕizhnik in Scala User Group
поля же именованы
источник

Oℕ

Oleg ℕizhnik in Scala User Group
любой кейскласс изоморфен тюплу
источник

ΛВ

Λнтон Войцишевский... in Scala User Group
Oleg ℕizhnik
поля же именованы
нене, в шарпе таплы именнованные тоже:
var tuple = (name =«oleg» age = null)
источник

λ

λoλdog in Scala User Group
Тоже ? В скале ж не именованные
источник