или рассматривают

я не с++, я что-то в википедии читал

я так понимаю по крестам тут только cher zaude рубит

Это пока моноид https://gist.github.com/sherzodv/3e9c6b4d7d7df07cf7ecaf382edac999

> моноид > HK scala

просто форвардну для токсичности

> моноид > HK scala

ну да счас надо тип с дыркой

А вот функтор https://gist.github.com/sherzodv/3e9c6b4d7d7df07cf7ecaf382edac999

Без лифта, очень зубодробильный синтаксис получается

ребят, кто говорил что-то вроде "Для каждой задачи свой язык"?

экклезиаст?

class list { std::array<A, 10> impl;

10 элементов вполне хватит всем (с) Шер Гейтс

экклезиаст?

не, какой-то айтишник)

Коллеги, может есть у кого запись с SPb Scala Meetup 2018.1 ?

https://youtu.be/skzzgvbvRlY?t=5906

https://youtu.be/skzzgvbvRlY?t=5906

Спасибо

Где в питере посидеть с ноутом можно в центре нормально?

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

https://youtu.be/skzzgvbvRlY?t=5906

Блин предыдущий был записан лучше....

Организаторы поменялись?

Блин предыдущий был записан лучше....

Ждите апдейт

Организаторы поменялись?

Локация и, соответственно, оборудование

Подскажите, как-нибудь можно из ReaderT[Result,A,B] получить обратно Reader[A,Result[B]]? Вообще хочу Either.left.flatMap.

Новые стикеры как раз для токсичных чатов :)

Самый токсик

Подскажите, как-нибудь можно из ReaderT[Result,A,B] получить обратно Reader[A,Result[B]]? Вообще хочу Either.left.flatMap.

эмммм Reader(x.run)?

эмммм Reader(x.run)?

Не запуская никак, значит?

ReaderT[F, A, B] - это обёрнутая в Kleisli A => F[B]

https://twitter.com/propensive/status/961991112750718976?ref_src=twcamp%5Eshare%7Ctwsrc%5Eios%7Ctwgr%5Eorg.telegram.TelegramHD.Share%7Ctwcon%5E7100%7Ctwterm%5E0

снять обёртку можно взяв аргумент run

Ахахахахаха

Простите

https://twitter.com/propensive/status/961991112750718976?ref_src=twcamp%5Eshare%7Ctwsrc%5Eios%7Ctwgr%5Eorg.telegram.TelegramHD.Share%7Ctwcon%5E7100%7Ctwterm%5E0

выглядит пугающе. Аннотацииииииииии

но интересное развитие может получиться в рамках какого-то Generic, если юзать AnnotatedParam

Да классная штука ) можно сделать спринг

Можно придумать всякие фичи для вещей типа Json - кодеров В circe сейчас, к примеру дискриминатор в женерик можно задавать только через экстрас и через некий implicit Configuration А так можно было бы @discriminator("kind") sealed trait Animal

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

Блин предыдущий был записан лучше....

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

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

Есть боты которые генерируют нужную тебе коллекцию стикеров

Сложна

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

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

баян

https://www.reddit.com/r/scala/comments/7wdcms/on_performance_of_the_new_collections/?st=JDG7SDJC&sh=98de41b8

https://www.reddit.com/r/scala/comments/7wdcms/on_performance_of_the_new_collections/?st=JDG7SDJC&sh=98de41b8

чёт грустно, я намеревался увидеть там +700%

а там сколько?

-700%

?

а там сколько?

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

Но это, как я понял, инлайны подргнанные под бенчмарк

А вью-бейзд даже с подогнанными инлайнами медленнее

по разному на разных операциях

http://www.scala-lang.org/resources/img/blog/new-collections-performance-flatMap.png

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

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

а планируется какой-то глобальный (на одном наборе операций по коллекции) оптимизатор, типа спарковского ?

это ж вроде петрашко пилил как раз

в итоге там может быть хороший профит

может в доччи и будет

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

Видать не на iOS

это ж вроде петрашко пилил как раз

это его последние труды или первая студенческая работа? на последнюю он забил из-за каких-то проблем и переключился на что-то смежное

ну линкер там по его словам типа обобщал блиц

Видать не на iOS

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

это ж вроде петрашко пилил как раз

ну да, так оно будет или нет, в итоге?

сам-то он забил

щас одерского спрошу

на той же конфе в Лондоне Петрашко обещал некую "бомбу" вскоре, но деталей не сказал, только понагонял тумана

щас одерского спрошу

прямая связь с императором?

через варп ага

через варп ага

но глаза-то все на месте

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

More significant performance improvements can be achieved by using different data structures. For instance, we recently merged a completely new implementation of immutable Set and Map based on compressed hash-array mapped prefix-trees. This data structure has a smaller memory footprint than the old HashSet and HashMap, and some operations can be an order of magnitude faster (e.g. == is up to 7x faster).

наверняка же есть такой либ

наверняка же есть такой либ

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

наверняка же есть такой либ

а как в хацкелле тот же deforestation сделан? библиотека с вектором это умеет, значит это не прибито к компилятору

падажите а разве старые не были уже на HAMTах?

а, это CHAMP

а как в хацкелле тот же deforestation сделан? библиотека с вектором это умеет, значит это не прибито к компилятору

да.ну вот в хачкеле это Rewrite rules которые должны были стать киллер фичей dotty linker а рядом с автоспециализацией

More significant performance improvements can be achieved by using different data structures. For instance, we recently merged a completely new implementation of immutable Set and Map based on compressed hash-array mapped prefix-trees. This data structure has a smaller memory footprint than the old HashSet and HashMap, and some operations can be an order of magnitude faster (e.g. == is up to 7x faster).

да, тут ссылка еще была про эту структуру https://michael.steindorfer.name/publications/oopsla15.pdf

для нормального фюжена нужна линейщина как известно www.cse.chalmers.se/~josefs/publications/vectorcomp.pdf

меня правда смущает шо в этой статье не интуиционистское а прям весь CLL

я только https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/deforestation-short-cut.pdf читал зато для простых смертных и вдохновляюще =)

гибонсовщина с фолдами?

нет, фендеровщина с флойд росами! =)

гибонсовщина с фолдами?

1ое слово не знаю, 2ое да, на foldr переписывание

но пейпер старенький, 90х годов

у Jeremy Gibbons была пачка статей про жонглирование фолдами

тоже в начале-середине 90х

сейчас это всё абстрагировалось в Datatype-Generic подход, типа тех деревьев что я днем кидал

http://www.cs.ox.ac.uk/people/publications/date/Jeremy.Gibbons.html