там ссылки на датасеты какие-то

https://github.com/banana-rdf/

м б это или типа того?

http://wiki.dbpedia.org/

https://dbpedia.org/sparql еще позволяет гонять sparql запросы по нему, очень удобно

сразу видно что под капотом малоизвестная бд Virtuoso

т.е. по своим данным

а если мне вика нужна?

т.е. то что в обычной википедии

насколько помню sparql позволяет и на внешние источники ходить в рамках одного запроса

но это не точно

т.е. то что в обычной википедии

оно по ней и гоняет (по сабсетам, если точнее)

можно и на вообще всю википедию натравить, думаю

не, передумал, мне совсем простые вещи, дешевле селениум

не, передумал, мне совсем простые вещи, дешевле селениум

https://en.wikipedia.org/wiki/Wikipedia:Database_download

Видимо не плохо вчера в jb посидели)

не ставится скала плагин теперь

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

да уже скачался

видимо сервер отваливался

edu tools тема

https://twitter.com/am_i_tom/status/938411470743851009

https://twitter.com/milessabin/status/938457896022675456

Coflatmap для Task...

Вдруг припомнил...

https://twitter.com/milessabin/status/938457896022675456

а в какой релиз?

2.12 , или уже 2.13?

https://twitter.com/milessabin/status/938457896022675456

Ещё один бастион пал.

13 наверное

https://github.com/scala/scala/pull/6155

и это (сам пр) https://github.com/scala/scala/pull/5310

есть ли в котах тайпкласс для collect? Что-то типа MapFilter

есть M[A] - нужно получить M[B], где B extends A

о, FunctorFilter

о, FunctorFilter

У тебя какие то старые коты, их же выпилили

Полагаю, он cats-mtl имеет в виду

Полагаю, он cats-mtl имеет в виду

Там же вроде FunctorEmpty

Или опять переименовали?

Нет, ты прав

Скаланы, есть под рукой статья типа введение в тайпклассы?

http://eed3si9n.com/learning-scalaz/index.html

http://danielwestheide.com/blog/2013/02/06/the-neophytes-guide-to-scala-part-12-type-classes.html

http://okmij.org/ftp/Computation/typeclass.html

http://okmij.org/ftp/Computation/typeclass.html

самое нежное интро, что я видел

http://okmij.org/ftp/Computation/typeclass.html

адуха :)

http://danielwestheide.com/blog/2013/02/06/the-neophytes-guide-to-scala-part-12-type-classes.html

Этот хороший

есть ли общепринятое название для такого типа type None[T] = Unit?

В котах по моему был

Можно там подглядеть

Нет, в котах есть только Const[A, B](a: A) эквивалент хаскелёвого Tagged, только с типами в обратном порядке ,что затрудняет объявить для него профунктор

Такой тип в Хачкеле называется Proxy

А, точно

Но у себя я его называю Empty

trait Empty[+A] case object EmptyInst extends Empty[Nothing] object Empty { def apply[A](): Empty[A] = EmptyInst implicit def instance: Monad[Empty] with Contravariant[Empty] = new StackSafeMonad[Empty] with Contravariant[Empty] { def pure[A](x: A): Empty[A] = EmptyInst def flatMap[A, B](fa: Empty[A])(f: A => Empty[B]): Empty[B] = EmptyInst def contramap[A, B](fa: Empty[A])(f: B => A): Empty[B] = EmptyInst } } }

А зачем вам такой тип?

у меня есть тайпкласс, который определяет по M[_] как читать респонс из базы, Id, Option, List, Iterator, вот нужен ещё для не-читания ничего из респонса

pastebin для слабых))

Такс-такс, человек с дескрипшеном java dev

заблудшая душа

pastebin для слабых))

телеграм вполне хорошо код отображает, как мне кажется. ну, до 20 строк вполне читаемо

телеграм вполне хорошо код отображает, как мне кажется. ну, до 20 строк вполне читаемо

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

ну, такое

не понимаю зачем они ограничили ширину сообщений на десктопе

ERROR: S client not available

и зачем убрали стену вк

дуров, верни стену

ты на десяток лет опоздал

всегда было интересно, ее вернули в итоге?

нет (вроде)

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

код на телефоне это вообще так себе идея

ohrly

пробывал кто в новой идеи скрипты амонитовые ?

чет все так-же подсвечивает с ошибками в 2017.3

в рамках оффтопа, кажется я что-то пропустил :slowpoke: , кто-нибудь может объяснить любовь к MongoDB в этом чатике?

пробывал кто в новой идеи скрипты амонитовые ?

пробовал, у меня норм

ну, такое

Кто не понял, тот поймёт. Там 95% кода самоочевидна и он парсится одним взглядом

пробовал, у меня норм

есть магия кроме как -имя файла *.sc - #!/usr/bin/env amm в начале файла ?

есть магия кроме как -имя файла *.sc - #!/usr/bin/env amm в начале файла ?

1. в File | Settings | Languages & Frameworks | Scala | Worksheet ставишь "Always treat as ammonite" 2. PROFIT

1. в File | Settings | Languages & Frameworks | Scala | Worksheet ставишь "Always treat as ammonite" 2. PROFIT

thx

Вот есть mtl который позволяет удобно работать со стеком возможностьей некоего F[_], есть ли название у подхода который позволяет удобно работать со стеком контейнеров данных, не залезая в его кишки. Например что-то типа @typeclass trait Has[A, B] { def get(a: A): B } type Timestamped[A] = Has[Timestamp, A] type Positioned[A] = Has[Location, A] type Authenticated[A] = Has[UserId, A] def doWithTimestampedAndPositioned[A: Timestamped: Positioned: Has[Foo, ?]](a: A): Result = { val foo = a.get[Foo] val location = a.get[Location] val timestamp = a.get[Timestamp] magic(foo, location, timestamp) } case class Enriched[M, A](meta: M, a: A) val foo: Enriched[(Timestamp, Position, UserId), Foo] = ... doWithTimestampedAndPositioned(foo)

То есть хочется на стороне вызова иметь возможность добавлять и менять местами мета информацию, но оставить функцию doWithTimestampedAndPositioned как есть

Линзы?

Оптика в целом?

Comonad Трансформеры?

непонятно, какой кусок кода нужно переписать?

или написать

хочу заменить val foo: Enriched[(Timestamp, Position, UserId), Foo] = ... на val foo: Enriched[(Timestamp, Position, UserId, BTCUSDTicker), Foo] = ...

например

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

аналогия такая

ну фактически ты работаешь с метаинформацией как с обобщённым набором данных оптика не рассматривает момент, как ты обращаешься с подвластными ей типами монады\комонады в чистом виде не позволяют тебе менять тип эффекта Я бы назвал это Indexed Functors + Generic Programming

Ща, вернусь с обеда продолжу ))

а какую изначально задачу хочется решить?