а теперь что?

Успешный твиттер

можешь в Сохатского превратиться

как это связано?

ну он тоже в тибеты всякие ездил надолго

я про отдых говорю, а не про поездку на курсы хамов

=)

Одичал в горах

в тибет наверное полезно съездить, мозги прочистить

Можно обряд воздушного погребения посмотреть по соседству, для переоценки ценностей. Это вам не сноймана комментировать.

В Израиле тоже всякие обряды есть :)

у них и автоматические лифты есть по субботам

Шабесгои.

никогда не хочется колоть дрова

больше скажу, очень хочется их никогда не колоть

я бойлерплейт люблю, забыли?

А чо там в пейпере у Вадлера?

в каком?

Comprehending Monads.

или во втором, который The Essence of Functional Programming.

я вроде и не читал их

короче во втором пепере у него нет полиморфизма по m

так в хаскеле тогда конструктор-классов не было, какой полиморфизм?

How does one combine monads? The monads used in the Haskell compiler in volve a combination of features; for instance, the type inferencer combines state and exceptions. There is no general technique for combining two arbitrary monads. However, Section 3.3 shows how to combine con tinuations with any other monad and similar techniques are a vailable for the state, exception, and output monads [Mog 89a, Mog 89b ] One might form a library of standard monads with standard ways of combining them. This would be aided by parameterised modules, which are present in Miranda and StandardML, but absent in Haskell.

ну вот

значит HKT не нужен для монад по Вадлеру

предлагаю “неомонадное-программирование"

пост-вадлерное

норм

значит HKT не нужен для монад по Вадлеру

правда ради них их в онсовном и сделали

Господа знатоки, а кто может порекомендовать хороших статей/ресурсов на тему перформанс-тестирования или бенчмарков каких для многопоточных хаскель приложений?

бенчмарки смотреть в сторону criterion и какой-то ещё либы и докладов по ним, и в сторону книжке по статистике - любой

перформанс тестирование - тут сложнее, есть eventlog/ticky-ticky profiler но там как-то все плохо

perf-ом нормально не погоняешь

Ну т.е. у меня приложение, которое во много потоков работает с общими для всех потоков данными. Как мне можно быть уверенным, что при следующих изменениях я не сделаю сильно хуже? Обычные (однопоточные) бенчмарки мне не очень годятся.

Или это уникальная проблема и никто с таким не сталкивается?)

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

вообще нормальное решение это добавление метрик, у нас было через event log

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

но в end-to-end решение для ловли регрессий мы это не превратили

может на этой-следующей недели доведём до ума

Или это уникальная проблема и никто с таким не сталкивается?)

А в чем проблема запускать на больших фмксированных данных и смотреть общий результат?

А в чем проблема запускать на больших фмксированных данных и смотреть общий результат?

Видимо, такой вариант и остаётся. Я надеялся, что есть что-то более элегантное.

ну запустить программу скольки угодно поточную в criterion это вполне себе результат

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

а я её не знаю

ну запустить программу скольки угодно поточную в criterion это вполне себе результат

Т.е. никаких tips and tricks для многопоточных бенчмарков в criterion нет?

Может быть кто-то подскажет пример проекта с хорошими многопоточными бенчмарками на criterion?

Видимо, такой вариант и остаётся. Я надеялся, что есть что-то более элегантное.

Зато самый близкий к реальности результат

я вообще думаю что критерион выдает результаты искаженные по сравнению с реалистическим сценарием выполнения, когда ГЦ работает как обычно и т.д. так что я бы посоветовал, действительно, просто на таких данных запускать чтоб достаточно времени проработало и анализировать выхлоп ГЦ диагностики в машиночитаемом виде

Т.е. никаких tips and tricks для многопоточных бенчмарков в criterion нет?

а какие там могут быть, то?

он же просто запускает и ждет завершения

никакой разницы сколько там потоком нету

При всём уважении, это звучит примерно как "а какая может быть разница между многопточными и однопоточными приложениями? никакой разницы сколько там потоков нету" Разница есть.

"Приложение без потока подобно приложению с потоком - только без потока" (С)

При всём уважении, это звучит примерно как "а какая может быть разница между многопточными и однопоточными приложениями? никакой разницы сколько там потоков нету" Разница есть.

какая?

с т.з. того что критерион делает и как

или вопрос поставлен не достаточно точно

я вообще думаю что критерион выдает результаты искаженные по сравнению с реалистическим сценарием выполнения, когда ГЦ работает как обычно и т.д. так что я бы посоветовал, действительно, просто на таких данных запускать чтоб достаточно времени проработало и анализировать выхлоп ГЦ диагностики в машиночитаемом виде

я бы с критерионом сомневался что он запускает тест 100-500 раз увеличивающимися чанками

и нужно достаточно много чтобы статистика была нормальной

если каждый раз делать startup-teardown или терять потоки, то проблемы могут быть

:/

Кул стори дня. Когда давно во время одной из открытых вакансий мне пишет крендель, мол, хочу стажером, научите. Даю какую-то задачку для скрининга изначального, дальше общение в духе “чото не ок, давайте улучшим” и вторая итерация заканчивается через несколько месяцев, задача для скрининга почти решена. Пишу что долговато решали, дальше смысла продолжать нет. Сегодня получаю письмо: Хорошо, Денис. Сроки имеют значение. Я не совсем понимаю наш формат: обучение или экзамен. Я представлял, что это будет обучение в виде выполнения задач. А как вы видите формат взаимодействия?

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

Чё за таска-то?

И что такое скрининг? Пардон за нубизм.

на 5 минут ерунда для начинающих

скрининг это отсев первоначальный при найме

когда левых совсем отсеиваем

можно ли теперь писать в резюме, что у меня есть длительный опыт преподавания хаскелл?!

Не очень успешный опыт то

на 5 минут ерунда для начинающих

Покажи саму таску плз.

да

Покажи саму таску плз.

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

Покажи саму таску плз.

+

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

Куда идти?

Куда идти?

Работу ищете?

https://typeable.io

там ящик есть, можно писать туда

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

Пройти список целых и посчитать сколько элементов в нем делится на 3, 5 и 15. Объяснить почему утекает спейс.

не тот вид фолда взяли?

тут от аккумулятора зависеть будет

любой fold с проблемами будет

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

Стажер в типичном понимании скорее нет, но джуниора рассмотрим - присылайтесь

Пройти список целых и посчитать сколько элементов в нем делится на 3, 5 и 15. Объяснить почему утекает спейс.

Спейс утекает, потому что спейс маст флоу. Я прошел?

Спейс утекает, потому что спейс маст флоу. Я прошел?

Наняты!

успех!

Куда идти?

приходи к нам hi@serokell.io :)

Удивительно.

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

то java кому-то не нравится, то python

а как у нис с год поработаешь можно и к нам

мир меняется!

:D

так, ребзя, а почему вы от меня скрывали вот это https://github.com/ndmitchell/derive ?

кто скрывал?