У классов есть отношение частичного порядка - один класс может быть подклассом другого

Это значит, в том числе, что есть уникально определяемое отображение из структуры подкласса в структуру надкласса

Подставляем сюда понятие "тип" вместо "сущность" получаем "класс типов"

Класс всех типов - опрелеляется как тип с пустой структурой

Отношение подкласса должно быть транзитивно, рефлективно

блин пойду ромашки выпью, а то опять занудство врубается (контексты перемешены, от классов в теории множества незаметный переход к классам в понятии хацкелля, но это не хацклль поскольку есть посет)

блин пойду ромашки выпью, а то опять занудство врубается (контексты перемешены, от классов в теории множества незаметный переход к классам в понятии хацкелля, но это не хацклль поскольку есть посет)

я уточнил в первой же реалике, что вышел из теории множечтв

Есть отношение вхождения, которое тоже должно быть транзитивно относительно отношения субкласса

И чего нет в скале?)

Если тип относится к подклассу, он относится и к надклассу

И чего нет в скале?)

Вот этой последней транзитивности

Че эт нет ? Прост укажи явно тип надкласса и все ок будет)

Представим, что тип String относится у нас двум классам типов - Monoid и JoinSemilattice

Это автоматически означает, что согласно любому из этих отношений он должен относиться к классу Semigroup

в скалке ж и с рефлексивностью сабтайпинга проблемы

Однако в скалке мы обнаруживаем ambigous implicits

Однако в скалке мы обнаруживаем ambigous implicits

Я ж говорю, укажи тип явно)

И все будет хорошо

И оказывается, что мы не знаем, по какому из путей нашего частичного порядка классов нам пройти

только я не оч понимаю одного момента термин слизан с хацкелля (или еще какого-нить языка) и начали в контексте а есть ли в скалке но в хацкелле же нет отношений частичного порядка между классами

Я ж говорю, укажи тип явно)

Где указать? Я указал явно тип String и класс Semigroup

А если у тебя два инстанса тайпкласса подходят, то почему бы не валится ?

только я не оч понимаю одного момента термин слизан с хацкелля (или еще какого-нить языка) и начали в контексте а есть ли в скалке но в хацкелле же нет отношений частичного порядка между классами

Нет, термин существовал задолго задолго до хацкел

Это правильный вариант

А если у тебя два инстанса тайпкласса подходят, то почему бы не валится ?

Потому что мы не получаем транзитивности

А в хацкеле получаем. У нас всегда один инстанс

Я кажется понял про что ты

Нет, термин существовал задолго задолго до хацкел

там где его ввели есть условие существования частичного порядка? если да, то тогда в хацкелле не полное соответствие термину?

Откуда вы вообще термин взяли

Давайте говорить как петербуржцы не функторы а мапер не монада а контейнер

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

Давайте говорить как петербуржцы не функторы а мапер не монада а контейнер

Свали в го чатик

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

С чего эт на нас? Ровно также как на тебе

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

я не утверждал что он есть в скалке, мне в контексте скалки вообще не нравится термин (это как логистическая регрессия) я хочу понять, что он есть на самом деле - определения и реализации в разных яп

С чего эт на нас? Ровно также как на тебе

Нет. Если ты сказал, что что-то относится к классу, то это твоя ответственность это показать. Если это не показано - этого нет

Откуда вообще ты определение взял

С чего эт на нас? Ровно также как на тебе

Именно такой подход конструктивным и называется. Т.е чтобы показать что-то тебе нужно это сконсируировать

Откуда вообще ты определение взял

Ненене не покатит

Прокатит

Откуда ?

Давай своё определение и демонстрацию

Когда дашь, будем сравнивать, откуда мы их взяли, какое более авторитетно и консистентно

Давай сперва с источником твоего ознакомимся

Потому что по умолчанию в скалке нет ничего. Говоришь, что есть - покаж

Давай сперва с источником твоего ознакомимся

нет, сперва с твоим определением

Да я в википедии прочитал

Лол

Да я в википедии прочитал

Что ты прочитал, говори и демонстрируй поо скалу

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

Тогда наше "следствие" - это просто функция, а не implicit derivation

И тогда мы действительно можем получить транзитивность, как простой субститьюшн, ну или композицию, смотря как предоставлять функции из типов

ребят кто-нибудь решал такую проблему со скаламоком:

когда мокаешь параметры функции, которые она ожидает нужно обязательно их все указывать

даже implicits

и там нужно обязательно прописывать тип имплисита например _: SomeType

а в чём проблема?

проблема в том что имплисит находится в библиотечном приватном обджекте

куда у меня нету доступа

такой вот долгий интрадакшн

не может быть такого, что тебе доступен метод, а тип его параметра недоступен

есть вариант сделать такой же пекендж как у этого объекта

но это как-то тупо

ERROR: S client not available

protected[scala] object A { sealed class AA() }

что-то типо такого

и к этому типу (в данном случае AA) нету доступа

Как вам Скала без запятых? https://contributors.scala-lang.org/t/comma-inference/1521 Тип чтоб их можно было пропускать так же как и точку с запятой: def hasSemicolon() = { println("one"); println("two"); println("three") } def noSemicolon() = { println("one") println("two") println("three") } def hasComma() = { List("one", "two", "three") } def noComma() = { List( "one" "two" "three" ) }

fix умеет уже вроде

ваще не понимаю профита

5 апреля в 19:00 в московском офисе Тинькофф-банка пройдет московская встреча Scala-разработчиков. https://www.meetup.com/Scala-Moscow/events/249149083/ Обязательная регистрация через сайт Тинкофф-банка https://meetup.tinkoff.ru/events/scala-meetup (нужна для пропуска в БЦ). По всем вопросам обращаться @fomkin и @optician_owl

ваще не понимаю профита

sbt починить)

5 апреля в 19:00 в московском офисе Тинькофф-банка пройдет московская встреча Scala-разработчиков. https://www.meetup.com/Scala-Moscow/events/249149083/ Обязательная регистрация через сайт Тинкофф-банка https://meetup.tinkoff.ru/events/scala-meetup (нужна для пропуска в БЦ). По всем вопросам обращаться @fomkin и @optician_owl

нет же шанса что после встречи люди будут до часа ночи пиво пить ?

Чтобы settings в списке писать без запятых

ваще не понимаю профита

Ну ты обсуждение о trailing comma читал? https://github.com/scala/docs.scala-lang/pull/533 Удобно добавлять новые элементы в конец или удалять, не редактируя предыдущую строчку с запятой.

проблема в том что имплисит находится в библиотечном приватном обджекте

А как ты тогда вызываешь эту функцию без скаламока?

нет же шанса что после встречи люди будут до часа ночи пиво пить ?

шанс всегда есть

5 апреля в 19:00 в московском офисе Тинькофф-банка пройдет московская встреча Scala-разработчиков. https://www.meetup.com/Scala-Moscow/events/249149083/ Обязательная регистрация через сайт Тинкофф-банка https://meetup.tinkoff.ru/events/scala-meetup (нужна для пропуска в БЦ). По всем вопросам обращаться @fomkin и @optician_owl

запинь =)

Ну ты обсуждение о trailing comma читал? https://github.com/scala/docs.scala-lang/pull/533 Удобно добавлять новые элементы в конец или удалять, не редактируя предыдущую строчку с запятой.

читал, trailing comma пользуюсь

но синтакцис foo( x y z )в моей голове редуцируется в foo(x y z) а не в foo(x, y, z)

5 апреля в 19:00 в московском офисе Тинькофф-банка пройдет московская встреча Scala-разработчиков. https://www.meetup.com/Scala-Moscow/events/249149083/ Обязательная регистрация через сайт Тинкофф-банка https://meetup.tinkoff.ru/events/scala-meetup (нужна для пропуска в БЦ). По всем вопросам обращаться @fomkin и @optician_owl

Это разве актуальный адрес офиса?

Это разве актуальный адрес офиса?

конечно, нет. @fomkin мы в БЦ Водный, Головинское Шоссе, 5

конечно, нет. @fomkin мы в БЦ Водный, Головинское Шоссе, 5

Сори сейчас поправлю

но синтакцис foo( x y z )в моей голове редуцируется в foo(x y z) а не в foo(x, y, z)

Поэтому в обсуждении в scala contributors рассматривался отдельно вариант только для именованных параметров, когда запятые выводятся только для foo ( par1 = expr1 par2 = expr2 )

ну короч, сложно мне понять профит

ну короч, сложно мне понять профит

Профит -- только когда бесит писать запятые при длинных списках чего-либо. Кстати, там ещё гипотетически можно Haskell-Python-like meaningful identation использовать, например foo( a b c ) выводится в foo(a, b, c), а foo( a b c d ) выводится в foo(a b c, d). Но это не выглядит в стиле Scala.

Профит -- только когда бесит писать запятые при длинных списках чего-либо. Кстати, там ещё гипотетически можно Haskell-Python-like meaningful identation использовать, например foo( a b c ) выводится в foo(a, b, c), а foo( a b c d ) выводится в foo(a b c, d). Но это не выглядит в стиле Scala.

это и не в стиле хашкеля

ну т.е. в то время как есть реальные проблемы с бойлерплейтом в скалке, обсуждать выбрасывание запятых, которые лично мне проблемой не кажутся.

Мне интересно, люди, которым это кажется проблемой

Для них это прям один из первичных источников бойлерплейта?

ну в текущей версии тот другой бойлерплейт никто убирать не будет)

Всем, привет. я в скала очень новый человек, пытаюсь повторить вот этот пример. https://spark.apache.org/docs/2.3.0/mllib-clustering.html но когда доходит до выполнения map, получаю play.sbt.PlayExceptions$CompilationException: Compilation error[Unable to find encoder for type stored in a Dataset. Primitive types (Int, String, etc) and Product types (case classes) are supported by importing spark.implicits._ Support for serializing other types will be added in future releases.]

Всем, привет. я в скала очень новый человек, пытаюсь повторить вот этот пример. https://spark.apache.org/docs/2.3.0/mllib-clustering.html но когда доходит до выполнения map, получаю play.sbt.PlayExceptions$CompilationException: Compilation error[Unable to find encoder for type stored in a Dataset. Primitive types (Int, String, etc) and Product types (case classes) are supported by importing spark.implicits._ Support for serializing other types will be added in future releases.]

видимо в одной из колонок датасета у Вас находится кастомный тип

там же написано в тексте ошибки

можно использовать лишь примитивные типы или их продукты

так вот я и не пойму)) я пытаюсь сделать так.