Oℕ
левая единица
или правая, короче там где
pure(x).flatMap(f) = f(x)
Size: a a a
2020 December 05
Oℕ
R
или правая, короче там где
pure(x).flatMap(f) = f(x)
pure(x).flatMap(f) = f(x)
ясно
а Option почему не встроена?она же расположена в scala.Option
а Option почему не встроена?она же расположена в scala.Option
ΛВ
RAFIZ
ясно
а Option почему не встроена?она же расположена в scala.Option
а Option почему не встроена?она же расположена в scala.Option
в скейла нет трейта Monad в стдлибе, вот и инстанса нет
R
в скейла нет трейта Monad в стдлибе, вот и инстанса нет
Option наследует от этого трейта?
ΛВ
RAFIZ
Option наследует от этого трейта?
нет. Для реализации классов типов не нужно наследование в самом типе, как и не нужно вообще трогать сам тип
ΛВ
это фича основная классов типов, ad-hoc (по месту требования) полиморфизм
S
интересно можно ли считать Id встроенным в язык
ΛВ
ну вроде такого типа данных нет в стдлибе. Значит нельзя
ΛВ
Насколько я понимаю, Мартин Обдердбски не очень стремится к какому-то из «лагерей» примыкать и тащить фпшные штуки в язык например в стдлиб. Как и не фпшные тоже. Да и вообще монадические штуки он вроде не считает будущим языка (на конфе недавно говорил об этом)
AS
спросили что такое монада, кек. Спрашивали, работал ли с мониксом, с котоэффектами
и как? ответил что да, потом тебя погоняли по библиотеке и только тогда взяли?
AS
скорее всего, это один из правильных ответов
ты просто слишком душный
Oℕ
ты просто слишком душный
Это ещё один правильный ответ
Oℕ
RAFIZ
ясно
а Option почему не встроена?она же расположена в scala.Option
а Option почему не встроена?она же расположена в scala.Option
Стандартная библиотека не часть языка
AD
Стандартная библиотека не часть языка
Пошли таксономические споры
AS
смотря что называть языком
AS
не все языком называют спецификацию и грамматику
Oℕ
Пошли таксономические споры
оч рад, что вы полюбили слово таксономия вслед за жей ли, оно, правда, имеет к текущей ситуации такое же отношение, как стандартная библиотека к языку
AS
тоесть прямое и 100%ое. хехе
Oℕ
в языке бывают некоторые встроенные конструкты - функции, типы, они даже ведут себя как пакеты иногда
в скала к таким можно отнести набор типов, соответствующих примитивным с их методами, массивы
в скала к таким можно отнести набор типов, соответствующих примитивным с их методами, массивы