Хде?
в превью кора 3.0
Dmitry
Igor
а я ничо не понял. ЧТо в превью кора?
Igor
Andrew
Удивительно почему этого раньше не запилили в виде глобал тулы для dotnet
Andrew
dotnet CLI существует уже довольно давно
Фил Ранжин
Гайз, кто шарит за котлин. У них там есть женерики как в F#,
когда ты можешь указать, что фн принимает любую сущность, у которой есть такое-то свойство с такой-то сигнатурой?
Фил Ранжин
я тут готовлю атаку на бреслава
Bonart
Как на F# генериков нет нигде кроме C#. Type Erasure неотвратим
Фил Ранжин
а структуры у них есть?
Romɑn
Фил Ранжин
srtp google it
ну бля, гуглятся их классы данных, но без тонкостей вроде того, где оно хранится
Bonart
ну бля, гуглятся их классы данных, но без тонкостей вроде того, где оно хранится
Все просто - если эти классы из явы видны как классы - это точно НЕ структуры
Bonart
В яве нет непримитивных структур
Фил Ранжин
окей, рискну наехать
Фил Ранжин
Где структуры, бреслав?
Romɑn
ну бля, гуглятся их классы данных, но без тонкостей вроде того, где оно хранится
Я про сам сртп. Ты спросил про дженерики, а имел ввиду сртп
Igor
к сожалению kotlin не решает многих проблем, у них там в жаве почему-то все слишком заморочено. Я когда-то написал плагин на котлине для эклипса и вот сейчас я смотрю код и там муйня какая-то: Сначала нужно получить Провайдера сервиса, потом через него получить провайдера ресурсов, он в свою очередь может вернуть нужного тебе провайдера, который вычислит какую хрень! Какая-то абстрактная фабрика провайдеров фабрик
Igor
и дженерики какие-то упоротые
Igor
val typesComputer = getService(TypesComputer::class.java)
Sergey
Это не наезд - это же рантайм а не язык ограничивает
Кажется, рантайм не ограничивает. В скале есть value types (https://docs.scala-lang.org/overviews/core/value-classes.html)
Bonart
Кажется, рантайм не ограничивает. В скале есть value types (https://docs.scala-lang.org/overviews/core/value-classes.html)
Я не великий спец по JVM, надо смотреть как оно реализуется и совместимо ли с явой
Bonart
Кажется, рантайм не ограничивает. В скале есть value types (https://docs.scala-lang.org/overviews/core/value-classes.html)
Что-то там унутре одно поле примитивного типа
Sergey
Я не великий спец по JVM, надо смотреть как оно реализуется и совместимо ли с явой
Я не думаю, что в котлине так уж все совместимо с Java (корутины? non-nullable?), так что, наверное, могли бы и value type при желании завезти
Bonart
Я не думаю, что в котлине так уж все совместимо с Java (корутины? non-nullable?), так что, наверное, могли бы и value type при желании завезти
Посмотри - там похоже ограничение таки есть
Bonart
A value class …
… must have only a primary constructor with exactly one public, val parameter whose type is not a user-defined value class. (From Scala 2.11.0, the parameter may be non-public.)
Bonart
Ну все, приехали. ТОЛЬКО обертка над примитивным типом
Sergey
Да, и правда
Sergey
В котлине такая же тема
Sergey
Видимо, и правда не поддерживается на уровне JVM. Ждут project valhalla
Bonart
Видимо, и правда не поддерживается на уровне JVM. Ждут project valhalla
Судя по названию живыми не дождутся
Sergey
Судя по названию живыми не дождутся
В Java дождались сначала лямбд, а потом и var. Они терпеливые :)
Bonart
В Java дождались сначала лямбд, а потом и var. Они терпеливые :)
Первое можно было сделать без допила в рантайме, второе и так без него. И про var они громко хором кричали что НИНУЖНО
Igor
var добавили в 10 жаву, но на нее еще почти никто не перешел
Sergey
var добавили в 10 жаву, но на нее еще почти никто не перешел
Видимо, потому что не LTS и это означает что поддержка полгода
Igor
даже хуже, у 10 уже поддержка кончилась))
Sergey
Кстати, интересно было бы какую-нибудь стату по .net core посмотреть кто какую версию юзает
Bonart
Посмотрел. В Java 10. Надо вместо слоупока кофейник постить
Sergey
Aleksandr
Нормальные генерики есть ТОЛЬКО в дотнете
Ну, уже который год целое сообщество людей не может придумать как в этих нормальных генериках можно выразить HKT
Aleksandr
Слишком нетривиальная задача. Слышал, что как раз по этой причине остановили разработку scala.NET
Bonart
Ну, уже который год целое сообщество людей не может придумать как в этих нормальных генериках можно выразить HKT
Серебряной пули нет. JVM имеет космического уровня оптимизатор но примерно ту же производительность в среднем по больнице что и дотнет.
Bonart
При этом явовский исходник, заточенный под перф выглядит как ассемблерный. А шарповый нормально. Потому что типы-значения и генерики
Bonart
Под нкт надо рантайм проектировать специально
Vladyslav
что такое нкт?
Aleksandr
Higher-Kinded types
Ayrat
Ну, уже который год целое сообщество людей не может придумать как в этих нормальных генериках можно выразить HKT
В фшарпе на сртп можно) но выглядит вырвиглазно
Ayrat
Оно же инлайнится?
Ну никто эти хкт в рантайме не обещал, их там нет. Хаскель вообще типы стирает, там тоже все только в компайл тайме
Igor
в сртп бы вызов метода до человеческого привести и разрешить их объявлять в расширениях
Aleksandr
Ну никто эти хкт в рантайме не обещал, их там нет. Хаскель вообще типы стирает, там тоже все только в компайл тайме
Не помню как называется эффект, когда много оверюза инлайна и макросов ведет к неадеватному росту объемов бинарника и просадке в производительности.
Меня вот эта штука больше напрягает на самом деле
Bonart
Не помню как называется эффект, когда много оверюза инлайна и макросов ведет к неадеватному росту объемов бинарника и просадке в производительности.
Меня вот эта штука больше напрягает на самом деле
Пока генерики на структурах инлайнятся на классах нет. Хотелсь бы ручками указывать но чего нет того нет
x
сегодня был на экскурсии в геймдеве, на хайлоад-сервере. На дотнете. Поспрашивал про Orleans, сказали ты чо, это же не про хайлоад, это же просто акторы и акка.нет лучше.
x
🤔
x
а как же halo 4 спросил я, но был не понят
Igor
и большой сервер?
Ayrat
ну вообще орлинс в геймдеве я еще у кого-то помню. Варгеймс и танки, не?
Bonart
x
всё равно хочу там работать ) но не возьмут же
Анна
x
playtika
Igor
там чо на f# пишут?
x
ну вообще орлинс в геймдеве я еще у кого-то помню. Варгеймс и танки, не?
помню какого-то чела с митапа, он рассказывал что у них там эрланг\эликсир в бекенде, но хотели на что-то переписывать. Но вроде не орлинз
Фил Ранжин
так
Фил Ранжин
я тупой
Фил Ранжин
var requestTasks = this.carriersProvider.CarrierTokenItems.Select(x => this.hydraSdk.GetCurrentUser(x)).ToList();
var results = await Task.WhenAll(requestTasks).ConfigureAwait(false);
Фил Ранжин
или этот код неправильный?
Фил Ранжин
нет, это я тупой, всё норм