
KrivdaAllStars
14.02.2018
14:39:49

Alexey
14.02.2018
14:40:05
через evedence выведется

KrivdaAllStars
14.02.2018
14:40:14
когда задаешь, что должна быть функция в классе и больше ничего не хочешь делать

Oleg
14.02.2018
14:40:16

Google

Oleg
14.02.2018
14:40:27
вот так тоже не вывелось
implicit class Ops[T](val x: T) {
def go[R](implicit ev: T <:< {def execute(): R}): R = x.execute()
}
case class Lol() {
def execute(): Int = 3
}
Lol().go()
вообще не выводятся короч тайп-параметры из структурных сигнатур

Alexey
14.02.2018
14:42:41
?

Nikita
14.02.2018
14:42:57
object Test {
implicit class Ops[A, R](a: A) {
def bar(implicit ev: A <:< { def run(): R }): R = a.run()
}
}
class Foo {
def run(): String = "foo"
}
import Test._
new Foo().bar

Alexey
14.02.2018
14:43:00
ща как нибудь "обманем"

Nikita
14.02.2018
14:43:19
Все выводится

Alexey
14.02.2018
14:43:38
ты go со скобками написал

Nikita
14.02.2018
14:43:50
Ты go написал
А там дженериков нет

Grigory
14.02.2018
14:44:21
не ожидал я такого в скала чяте

Oleg
14.02.2018
14:44:29
хммммммм
мда

Google

Oleg
14.02.2018
14:44:40
теперь надо вспомнить, зачем мне это надо было
спс, пацаны, спс, кому там это надо было, он уже ушёл, спасибо небу, спасибо Аллаху

Александр
14.02.2018
14:45:50
не ушел
я въезжаю

Alexey
14.02.2018
14:46:00

Александр
14.02.2018
14:46:50

KrivdaAllStars
14.02.2018
14:47:23
жалко школы нет в онлайне

Nikita
14.02.2018
14:48:02

Олег
14.02.2018
14:50:11
если используется Future/Task, то оно уже оборачивает эксепшоны внутри, т.ч. получится масло-масляное
однако, если каждый слой явно имеет свою иерархию ошибок, то вполне можно использовать Either, но от рантайм эксепшонов все равно не защитит (и их, вероятно, обработает какой-то errorHandler на верхнем уровне)
Однако, надо быть аккуратным, т.к. если замесить типы ошибок из разных слоев, можно вызвать призрак Сабина с копродуктом
Спасибо за аргументированный ответ!

Nick
14.02.2018
17:26:11
https://m.habrahabr.ru/company/jugru/blog/349024/%D0%9D%D0%BE%D0%B2%D0%BE%D1%81%D1%82%D0%B8+%D0%BC%D0%B5%D1%80%D0%BE%D0%BF%D1%80%D0%B8%D1%8F%D1%82%D0%B8%D0%B9+JUG.ru+GroupEMAIL_CAMPAIGN_2018_02_14
Понеслась

Vadim
14.02.2018
17:28:40
ну все тайпинференс есть - скала и котлен не нужны - расходимся

Nick
14.02.2018
17:29:09
HotSpot VM теперь может выделять хиповую память на других девайсах, например, на NV-DIMM.

Oleg
14.02.2018
17:29:31

Nick
14.02.2018
17:29:36
Грааль притащили
И походу скоро будет алпаин нормальный собираться

Nikolay
14.02.2018
17:33:21
притом k не русская, а из латинского алфавита

Daniel
14.02.2018
17:42:07
Грааль притащили
Экспериментально. На кошках. Ибо с ними должно быть лучше всего. Да и скалистов не жалко. Но это если они модули наконец освоят.

Nikolay
14.02.2018
17:43:47

Google

Daniel
14.02.2018
17:55:48
будете у себя внедрять?
Хочу попробовать, но там где нагрузки сейчас всякие спарки и флинки. Придется поприсидать и не факт что получится.

KrivdaAllStars
14.02.2018
17:58:57

Oleg
14.02.2018
17:59:38
Я вообще ничё не знаю про грааль, но правда ли, что я теперь смогу свои фриманатки\тайплевел DSLы проецировать сразу в AST и ЖВМ сможет мне их компилировать и запускать?
и автоспециализацию и всякую херь сможет скалка делать даже без дотти линкеров?
ну может быть не фриманатки, но что-то такое фри

Алексей
14.02.2018
18:03:41
https://github.com/oracle/graal/tree/master/truffle маби вот эта часть поможет, но хз

Daniel
14.02.2018
18:06:18
трюфель скорее о том что пишешь на одном языке, получаешь любой другой (утрировано)
он еще оч далек от нашей реальности
есть экспериментальная реализация рубей и р

Oleg
14.02.2018
18:07:13

Алексей
14.02.2018
18:07:36
https://github.com/oracle/graal/blob/master/truffle/docs/Languages.md списочек ведут )

Oleg
14.02.2018
18:07:56
кложура бустанётся, наверное, просто до небес

Daniel
14.02.2018
18:08:07
грааль - замена c2 (возможно с аот будет)
и пока он для джавки просто шило на мыло, но вот для скалки у твиттеровцев хорошие результаты вышли

KrivdaAllStars
14.02.2018
18:08:25

Oleg
14.02.2018
18:08:47

Mikhail
14.02.2018
18:08:51

Oleg
14.02.2018
18:09:12
я такой сделал себе типа DSL на каких-то своих странных эффектах

Andrey
14.02.2018
18:09:32
Учим кложу?
Чего там учить? Скобка налево, скобка на право...

Oleg
14.02.2018
18:09:40
Но он такой с кучей аллокаций

Daniel
14.02.2018
18:09:43

Oleg
14.02.2018
18:09:49
Я взял и прямо в АСТ нахреначил

Google

KrivdaAllStars
14.02.2018
18:09:58

Oleg
14.02.2018
18:10:00

Mikhail
14.02.2018
18:10:09
как это не надо
граалю все равно что ты там хочешь. ему готовые жарники с .class файлами подавай. твои свистоперделки на уровне исходного кода ему по барабану.

Luger
14.02.2018
18:10:14

Oleg
14.02.2018
18:11:10

Daniel
14.02.2018
18:11:43
трюфель настолько сырой еще, что про него разве что научные статьи есть

Oleg
14.02.2018
18:12:48

Daniel
14.02.2018
18:13:35
я хз что там у руру, мож он компилит бинарник без рантайма
грааль делает бинарник с вм

Алексей
14.02.2018
18:13:38

Daniel
14.02.2018
18:14:23

Nick
14.02.2018
18:15:01

Daniel
14.02.2018
18:16:30
дык скала вроде работает
то что я видел по ишью две недели назад, статус такой что джарка скалки запускается на 9ке
но сбилдить проект с таргетом 9ки это пока проблема
про сбт вообще молчу

Nick
14.02.2018
18:16:37
должно с 9 работато все

Daniel
14.02.2018
18:18:37
то во что лично я вляпался
хотел глянуть пр в финч, где юзался класс джавовый отъехавший из стд в отдельный модуль в 9ке
модуль пока не ясно как подключить
их там нежно втролили, что уже 10ка на носу, на что лайтбенд сказал что полноценная поддержка 9ки сейчас с наивысшим приоритетом
да и ваще, нет шенанды в 10ке, сидим на 8ке

Google

Daniel
14.02.2018
18:22:06
грааль можно и сейчас юзать (линух онли, 64х), отдельно скачивается

Nick
14.02.2018
18:22:45

Daniel
14.02.2018
18:22:50
про трюфель если кто будет ковырять, то поделитесь мнением
выглядит как космос, применимость еще вопрос

Nick
14.02.2018
18:22:58

Daniel
14.02.2018
18:23:36
собирай сам
бинарник из под грааля я еще могу затащить, а за левую ждк на меня одмины обижаются

Alexander
14.02.2018
19:12:33
В котах\шейплесе есть что-нибудь вроде Iso[A,B]?

Dmitry
14.02.2018
19:20:27
Эм, ~>
Natural transformation?

Alexander
14.02.2018
19:26:47

Dmitry
14.02.2018
19:28:15
Аа, стрелка
Ну б-г в п-мщ

Vadim
14.02.2018
19:39:59
йо - мы теперь кстати в оф листе чатиков https://scala-lang.org/community/#chat-rooms

KrivdaAllStars
14.02.2018
19:40:34
Вот бы ещё в скалатаймс добавляли митапы

Nick
14.02.2018
19:44:07

Alex
14.02.2018
19:55:22
для изоморфизма ж надо тип равенства
https://github.com/idris-lang/Idris-dev/blob/master/libs/base/Control/Isomorphism.idr#L11