@scala_ru
Grigory26.02.2017
18:45:34
18:45:34
?
Sergey26.02.2017
18:45:37
18:45:37
ну или если это слишком простая задача. то если нужны алгоритмы по бектрекингу и просчету в глубину, нафига мне весь этот оверхед с высшими типами?
Grigory26.02.2017
18:46:34
18:46:34
ну это не оверхед; если найдешь баланс; будешь писать быстрее код меньше кода и он у тебя с меньшей вероятностью должен валиться в рантайме; другое дело конечно насоклько он у тебя правильно работает поэтому тесты все равно нужны
Oleksandr26.02.2017
18:47:29
18:47:29
для каких задач это вообще нужно? ну скажем если мне нужно написать скрейпер для сайтов или что-то по типу как для Megogo писали тут тестовое(опрашивать апи, с учетом лимитов, ретраев и тд). как мне все эти типы помогут в этом всем?
окей, для апи:
1) пусть у тебя запрос к апи не зависит от предыдущих ответов
2) тебе надо учитывать лимит
3) ты можешь написать такой аппликативный функтор, что он будет делать все запросы параллельно и с учетом этого лимита
профит в том, что внешне это будет выглядеть как самый обычный forGoogleOleksandr26.02.2017
18:49:06
18:49:06
тут могу отослать к http://blog.colinbreck.com/akka-streams-a-motivating-example/
можно это считать продвинутым (очень) развитием идей с алгребрами
Oleksandr26.02.2017
18:52:20
18:52:20
не люблю теоркат, оно для меня слишком абстрактное
я имел в виду алгебру типа https://ru.wikipedia.org/wiki/%D0%9E%D0%B1%D1%89%D0%B0%D1%8F_%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0
Dmitry26.02.2017
18:58:30
18:58:30
в моей шараге такое не читалось, но полукольца, группы и тд нам читали в курсе дискры
вполне хватает для понимания
Oleksandr26.02.2017
18:59:37
18:59:37
основные "структуры" алгебры понимаются за пол-часа
где-то был шикарный блогпост на эту тему, но я фиг его найду
Grigory26.02.2017
19:12:58
19:12:58
интересная ссылка
ах; давно видел; странно что его не форсят нигде а сам поект аткивно развивается
Dmitry26.02.2017
19:19:11
19:19:11
а вообще здесь кто нибудь теорем прувингом за деньги занимался?
GoogleDmitry26.02.2017
19:19:38
19:19:38
ну или хотя бы пет проджектах?
можно ли понимать тайплевел программирование как прувинг или я не понимаю что такое теорем прувинг?
Читал тут статью за 2014 год, и там написано что была летняя школа по зависимым типам в СпбГу с подачи Дмитрия Булычева.
Но про это событие ничего не гуглится. Может кто был очно или что знает про это? А может даже какой материал остался?
Alex26.02.2017
20:07:30
20:07:30
так-то любое программирование с типами можно назвать прувингом
def id[A](a: A): A = a
теорема что для любого а a=a
Sergey26.02.2017
20:16:33
20:16:33
просто функция которая возвращает аргумент) зачем все так сложно обзывать то
Alex26.02.2017
20:18:03
20:18:03
http://www.haskellforall.com/2017/02/the-curry-howard-correspondence-between.html
Alexander26.02.2017
22:49:10
22:49:10
ну или хотя бы пет проджектах?
Писал прувы для разных теорем про натуральные числа. Где-то даже ссылка на репозиторий по теме есть.Описываешь аксиомы Пеано - и погнал.
Dmitry26.02.2017
22:49:57
22:49:57
ну да, я таких примеров много видел
Alexander26.02.2017
22:50:10
22:50:10
Alexander26.02.2017
22:55:12
22:55:12
Спасибо, гляну.
Dmitry26.02.2017
22:56:34
22:56:34
https://github.com/slamdata/matryoshka
Alexander26.02.2017
23:14:00
23:14:00
Подскажите, пожалуйста, либу для логов. Не безумно навороченную, но и не совсем нубскую. Кто что предпочитает?
Alexey27.02.2017
02:41:18
02:41:18
GoogleAlexey27.02.2017
02:46:34
02:46:34
ну логбек это бекенд к slf4j
scalalogging кому-то заходит. мне не влом написать val log = LoggerFactory...
Kirill27.02.2017
03:40:18
03:40:18
scala-logging, ofc, extends lazylogging и погнали, супер удобно же
Denis27.02.2017
03:53:41
03:53:41
Ofc?
Denis27.02.2017
04:16:27
04:16:27
Нет, как то не подходит к контексту тем более, подумал что еще одна либа.
Daniel27.02.2017
04:37:41
04:37:41
scalalogging кому-то заходит. мне не влом написать val log = LoggerFactory...
extends StrictLogging для ленивых.27.02.2017
04:48:12
04:48:12
Может кто-то знает, как в akka-http обработать ошибку в случае валидации на websocket handshake. Т.е. вернуть пользователю сообщение об ошибке например?
.27.02.2017
04:50:16
04:50:16
Хотя бы сторону в которую копать. Сейчас я возвращаю Route с ошибкой, но что-то мне подсказывает что это не верно.
Aleksei27.02.2017
04:54:01
04:54:01
там же можно реджектить со своей ошибкой по условию вроде
. https://github.com/unicorndevru/auth/blob/master/akka/src/main/scala/auth/handlers/AuthHandler.scala#L32 типа такого?
.27.02.2017
05:00:48
05:00:48
Не совсем. Но похоже, спасибо, почитаю
там же можно реджектить со своей ошибкой по условию вроде
Сейчас так и делаю, но реджект проходит до установления wss. Проблема в том, что мне нужно в рамках соединения отправить ошибку и оборвать соединение корректно.
Sergey27.02.2017
05:50:26
05:50:26
По сравнению с другими яп, в частности с нодой и джавой.
Проект - система ботов связанная между собой, с большим потоком сессий и юзеров
Сделать упор на то что типа да, ты прав, этот проект можно сделать на многих языках, но когда пойдет успех и нагрузка, то вместо того чтобы переписавать на что то подходяшее с нуля, как это обычно бывает, теряя пользователей и волну, на Scala его можно грамотно масштабировать <Акка> и обслуживать милионы пользователей, ботов, сессий или чего у вас там. Заказчик изначально верит в успех своего детища и поэтому купится с потрохамиAlexander27.02.2017
05:52:08
05:52:08
А если ещё взять монго..
Sergey27.02.2017
05:52:27
05:52:27
Вобще это задача ПМа общаться с заказчиком на его языке, а не разработчика
GoogleSergey27.02.2017
05:59:18
05:59:18
Жопу с пальцем сравнивать нe надо тут :0
Ты чертовски прав, я на секунду усомнился в божественности монги)Grigory27.02.2017
05:59:39
05:59:39
Конечно, конeчно!
Только слишком толсто, зачкм озвучивать было
Всe и так поняли
AdminERROR: S client not available
Sergey27.02.2017
06:01:00
06:01:00
Интересно а по базам данных есть каналы
Grigory27.02.2017
06:01:35
06:01:35
Монгоканалы
Grigory27.02.2017
06:10:50
06:10:50
Монганалы
Nick27.02.2017
06:10:55
06:10:55
Хочу услышать опыт использования скалажс
Sergey27.02.2017
06:18:41
06:18:41
Да интересная штука
Я кстати в печали. Выпиливаю из игрового сервера typed акторы, введенные самого начала на скорую руку, занимаются хранением сессий и записью в бд, оказывается там конкурентный доступ внутри...
Юрий27.02.2017
06:23:16
06:23:16
Это новые или старые?
Sergey27.02.2017
06:24:06
06:24:06
Старые, новые не смотрел еще
Юрий27.02.2017
06:24:49
06:24:49
так они выпилины же уже, не?
Sergey27.02.2017
06:24:56
06:24:56
Кстати у кого есть опыт использования нового akka typed расскажите в двух словах в чем там идея
GoogleDaniel27.02.2017
06:31:43
06:31:43
Нет, они оставлены для совместимости с ООП кодом
порой мне кажется, что ты можешь много нового об акке рассказать её разрабамSergey27.02.2017
06:35:39
06:35:39
порой мне кажется, что ты можешь много нового об акке рассказать её разрабам
Об этом написано в документацииЯ всего лишь счастливый пользователь Акки)
Daniel27.02.2017
06:38:43
06:38:43
> This module will be deprecated as it will be superseded by the Akka Typed project which is currently being developed in open preview mode.
Где написано?
Sergey27.02.2017
06:41:38
06:41:38
Typed actors are nice for bridging between actor systems (the “inside”) and non-actor code (the “outside”), because they allow you to write normal OOP-looking code on the outside
А насчёт выпелены, ещё же не заменён, akka typed пока экпериментал
так они выпилины же уже, не?
Да я неправильно понял, с точки зрения будущего использования - выпилины. Ты правильно сказалNikita27.02.2017
07:11:17
07:11:17
Я кстати в печали. Выпиливаю из игрового сервера typed акторы, введенные самого начала на скорую руку, занимаются хранением сессий и записью в бд, оказывается там конкурентный доступ внутри...
Так и в обычных акторах ты можешь устроить конкурентность - future.onComplete и всеОткуда у тебя там конкуренция? В тайп акторах?
Mikhail27.02.2017
07:14:59
07:14:59
Так и в обычных акторах ты можешь устроить конкурентность - future.onComplete и все
это будет не в акторахGrigory27.02.2017
07:23:45
07:23:45
диалоги о какке
Sergey27.02.2017
07:30:16
07:30:16
Так и в обычных акторах ты можешь устроить конкурентность - future.onComplete и все
насколько я понял, если вызывать sessionsTyped.getUserName(userId)
из разных акторов то эти вызовы могут исполниться на разных потоках и соответственно внутри getUserName будет конкурентный доступ.
и похоже что с future и ask будет тоже самое.
Поэтому сейчас я стараюсь делать всё на UntypedActor-ах
sessionsUntyped.tell(new SesNameRequest(userId))
и обрабатываю ответ в сообщении
SesNameResponse
всё идёт через mailBox и поэтому доступ синхронный и не блокирующий
Vladimir27.02.2017
07:33:56
07:33:56
Невероятно звучит, если честно. Основной контракт актора, каким бы он ни был - отсутствие конкурентности внутри, вызов же будет через проксю. Разные потоки - да, одновременно - едва ли.
Mikhail27.02.2017
07:35:46
07:35:46
насколько я понял, если вызывать sessionsTyped.getUserName(userId)
из разных акторов то эти вызовы могут исполниться на разных потоках и соответственно внутри getUserName будет конкурентный доступ.
и похоже что с future и ask будет тоже самое.
Поэтому сейчас я стараюсь делать всё на UntypedActor-ах
sessionsUntyped.tell(new SesNameRequest(userId))
и обрабатываю ответ в сообщении
SesNameResponse
всё идёт через mailBox и поэтому доступ синхронный и не блокирующий
сам то понял, что сказал? "синхронный и неблокирующий" ? ты уверен, что ты внутри getUserName все синхронно получаешь из бд?Grigory27.02.2017
07:36:56
07:36:56
мне кажется очередной тонкий (нет, толстый) наброс на вентилятор.
Dmitry27.02.2017
07:38:27
07:38:27
наверное он имел ввиду сиквентальный какой-нибудь
Открыть в Telegram