а если просто внутри одного файла, там же все контексто зависимо, тем более таблица

а если ты гугл и амазон то тогда да кассандра со спарком

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

Задача: прочитать большой html файл, где данные в виде таблицы. Как лучше это сделать?

Jsoup или htmlcleaner

так че там на замену cake pattern-a лучше использовать

это конечно не совсем ответ на твой вопрос, но ознакомиться стоит - https://github.com/davegurnell/99-ways-to-di

это конечно не совсем ответ на твой вопрос, но ознакомиться стоит - https://github.com/davegurnell/99-ways-to-di

это там ещё нет eff и finally tagless

это там ещё нет eff и finally tagless

И спринга

И спринга

и наносервисов

и графтера

и actorPath

я знаю - вы можете и по делу сказать, не только шутки шутить

я знаю - вы можете и по делу сказать, не только шутки шутить

нет сынок, это фантастика

звучит, будто шутки - не дело

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

звучит, будто шутки - не дело

шутки - очень важное и полезное дело, не спорю

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

Ты хотел сказать ооп

Пока оно компилится мы тут шутки и шутим

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

пат и мат, оописты

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

?

Google & Stackoverflow driven development мир спасет наш

Какой ворнинг?

scala> implicit val val_int2str = (i: Int) => {println("val");i.toString} val_int2str: Int => String = <function1> scala> implicit def def_int2str(i: Int) = {println("def");i.toString} <console>:12: warning: implicit conversion method def_int2str should be enabled by making the implicit value scala.language.implicitConversions visible. This can be achieved by adding the import clause 'import scala.language.implicitConversions' or by setting the compiler option -language:implicitConversions. See the Scaladoc for value scala.language.implicitConversions for a discussion why the feature should be explicitly enabled. implicit def def_int2str(i: Int) = {println("def");i.toString} ^ def_int2str: (i: Int)String

в первом случае нет, во втором есть

и коллизии нет, в именно таком обьявлении

scala> val s: String = 2 val s: String = 2

а какой из двух отрабатывает?

первый, val написало

а

если поменять порядок обьявления, тоже val

а где эти результаты?

консоль?

ага

попробуй компильнуть

консоль та еще

тот же эффект

любопытно, что даже идея подсвечивает деф как "с ворнингом", но не вал

любопытно, что даже идея подсвечивает деф как "с ворнингом", но не вал

у меня не подсвечивает

No return type for implicit function

аа, так это не как ошибка. а как стайл гайд

я о том, что первое-то не подсвечивает, хотя стоило бы

при компиляции другой ворнинг, но, снова, только для def

А если объявить метод который принимает string и передать туда 2:Int, то какой из них будет использован?

никакой, ошибка будет

или ты про "метод который принимает int" ?

при компиляции другой ворнинг, но, снова, только для def

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

я о том, что первое-то не подсвечивает, хотя стоило бы

так ведь это стайл гайд. просто в идее не зашит стайл гайд для вала (и для лямбд тоже - потому что там по синтаксису же не проходит). а для дефа есть

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

в спеке речь только про implicit def

в спеке речь только про implicit def

это уже к компилятору. нет проверки на требования разрешить эксплиситли)

по хорошему оно вобще на амбигуоус должно ругаться, но видимо оно это проверяет в рамках групп по приоритетам. мне так это видится)

А если объявить метод который принимает string и передать туда 2:Int, то какой из них будет использован?

также вал. потому что приоритет опять таки)

в дотти ругается на "укажите явно тип для implicit val", но коллизии все равно нет

в спеке речь только про implicit def

прям в исходной спеке и именно про деф или про имплисит функцию? потому что implicit val val_int2str = (i: Int) => {println("val");i.toString} тоже по сути функция в рамках спеки и вполне проходит)

прям в исходной спеке и именно про деф или про имплисит функцию? потому что implicit val val_int2str = (i: Int) => {println("val");i.toString} тоже по сути функция в рамках спеки и вполне проходит)

https://www.scala-lang.org/files/archive/spec/2.11/07-implicits.html

мб не туда смотрю, конечно

https://www.scala-lang.org/files/archive/spec/2.11/07-implicits.html

там нет ограничения на деф. речь идет о доступном методе. деф просто примером в коде идет

defined by an implicit value which has function type SS=>TT or (=>SS)=>TT or by a method convertible to a value of that type.

ну тем не менее, обьяснения "почему val приоритетнее" я там не вижу

ну тем не менее, обьяснения "почему val приоритетнее" я там не вижу

это может быть следствием конкретной реализации внутри

это может быть следствием конкретной реализации внутри

и случайно продублировано в дотти?

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

ну и между строк там в спеке вполне это может быть указано, там же никто валы валами и дефы дефами не называет)

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

я правильно понял, что в твоих типах T @@ X <: T ?

в супертаггед

никто тут не запилил ньютайпы без субтайпинга?

ERROR: S client not available

я правильно понял, что в твоих типах T @@ X <: T ?

так и есть. и если еще и овертаггет навернуть, то (T @@ X) @@ Y <: T @@ X <: T пример наследования и расширения наследников: https://gist.github.com/Rudogma/12ebcdae41423a76a3f59b70ef28607e

никто тут не запилил ньютайпы без субтайпинга?

а чем это мешает?

а чем это мешает?

в некоторых странных случаях инстансы не дерайвятся, т.к. они пересекаются с затэганным типом

никто тут не запилил ньютайпы без субтайпинга?

но тогда и значение перестанет быть исходным типом - это как-то вобще не айс

в некоторых странных случаях инстансы не дерайвятся, т.к. они пересекаются с затэганным типом

например? может это решено уже)

но тогда и значение перестанет быть исходным типом - это как-то вобще не айс

ну вон у сабина есть newtype

например? может это решено уже)

так сходу не скопипастишь

но с ньютайпами норм работает

т.е. там, где нет памяти о субтайпинге

ну вон у сабина есть newtype

type @@[+T, U] = T with Tagged[U] у него же тоже субтайпинг

это tag

а я про newtype

https://github.com/milessabin/shapeless/blob/0904b78eaeb377c3319aae4e343d15b3aba4dc92/core/src/main/scala/shapeless/typeoperators.scala#L36

так сходу не скопипастишь

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

def apply[Repr, Ops](r : Repr) : Newtype[Repr, Ops] = r.asInstanceOf[Any with Newtype[Repr, Ops]] - т.е. на самом деле это все тоже самое, что в супертаггет - тот же Raw with Tag[Raw,Ops] - просто назад возвращается без Raw with, а внутри метода используется asInstance[Any with ...] чтобы не было фактической попытки материализовать with NewType

он там вместо Any with , вполне мог Repr with поставить. тоже самое было бы

он там вместо Any with , вполне мог Repr with поставить. тоже самое было бы

нет, не то же самое

tag и newtype служат разным всё-таки целям

нет, не то же самое

сейчас гляну поближе

в newtype, ты, как видишь определяешь Ops

т.е. каноничное использование - это implicit class Ops(val u: Int) extends AnyVal ....

type MyInt = Newtype[Int, Ops]

тогда MyInt не субтайп Int а

Но у него доступны вот те Ops ы

ща накидаю пример

нет, не то же самое

да все тоже самое. вот гляди. техника то одна. https://gist.github.com/Rudogma/444b5e87b512398bcbc2921724911a11 понятно, что там есть следствия, но то что он назвал ньютайпом - просто обрезанный тегированный тип без основания. и да, там T with легко работает)

ща накидаю пример

давай)

да все тоже самое. вот гляди. техника то одна. https://gist.github.com/Rudogma/444b5e87b512398bcbc2921724911a11 понятно, что там есть следствия, но то что он назвал ньютайпом - просто обрезанный тегированный тип без основания. и да, там T with легко работает)

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

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

ну так все правильно. если нужен интероп нужно основание. если нужно полностью разделить - не проблема использовать теже супертаггет. если тебе требуется, я могу добавить коммит (доп метод к @@ который на выходе будет разделенный тип выдавать)

ноу проблемс

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