да, но вот чтоб получить какую-то формулу(алгоритм) ее нужно доказать) а эт по сути фри плей

аа, ну вот этот фри плей был много сотен лет назад)

ну да, были индусики которые эт 600 лет назад делали

всякие топари в Европке попотели на наше благо

@gurinderu фриплей был у всяких Гауссов и прочих. Нам они оставили формулы, которые суть алгоритм.

я об этом и говорю

что по сути в математике везде фриплеи

просто к моим словам выше - топология и функан сейчас заруливают, как области математики

Возвращаясь к фантастичности. Просто есть же конструктивный подход, в котором экземпляр типа, реализация является доказательством соответствующего ему утверждения и наоборот, единственный способ найти доказательство утверждения - найти экземпляр типа. Естественно, очень долго работали, чтобы найти такой базис, чтобы на него можно было наслоить существующие достижения в математики. Нельзя же всё просто выбросить из-за того, что всё время пользовались Аксиомой Исключённого Третьего. Такой математический базис был бы полезен и математикам, которые получили бы сверхмощные помощники по доказательству и верификации и программистам, которые могли бы вместо выборочных тестов использовать строгие доказательства корректности. Тема очень старая, известная и давно понятно, что это нужно, даже если большинству пока сложновато с этим работать. Поэтому и ищут хороший способ, примирить программистов с математиками, разработав общий базис понимания и конструирования, и это офигенно важная тема, компания, выпустившая что-то ещё более приятное и эффективное, чем Idris имеет потенциал стать определяющей в развитии CS в ближайшую декаду. И насколько бы фантастично это не звучало, это более, чем реально

Алексей - мне вот эта статья нравится - https://habrahabr.ru/post/246009/

и в комментах норм обсуждения

В телеграмме нет плюсиков и лайков. Упущение.

@dmsol Я Саша. Спасибо ?

Ой, извини, Саша)

Коллеги, подскажите с задачей, я думаю тут многие сталкивались

Пошел изучать ? Ничего страшного, вы же не знали)

по теоркату для программистов есть серия лекций Бартоша на ютубе

необходимо хранить файлы, осуществлять поиск по ним, версионировать, какой инструмент выбрать?

нужно мутить маиндмапу

что современные технологии предлагают?

как понять чатик скалистов

по теоркату для программистов есть серия лекций Бартоша на ютубе

Спасибо!

необходимо хранить файлы, осуществлять поиск по ним, версионировать, какой инструмент выбрать?

вспомнился HBase xDD

необходимо хранить файлы, осуществлять поиск по ним, версионировать, какой инструмент выбрать?

ftp

что современные технологии предлагают?

файловая система?

вот пиздюки в нетти, класс интерфейсом сделали)

А может кто-нибудь в двух словах, в чем преимущество протобуф перед case class + jackson ? Кроме декларативного описания DTO ( это ведь DTO, по факту?)

Кроссплатформенность?

по теоркату для программистов есть серия лекций Бартоша на ютубе

Очень крутые лекции у него!

Да и скорость/размер

Очень крутые лекции у него!

скиньте ссылку что-ли

скиньте ссылку что-ли

http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

И вторая часть лекций там тоже есть в плейлистах

Да и скорость/размер

эт все фигня, они могут быть медленными и большими

Кроссплатформенность?

JVM кроссплатформенна, глобально. JSON\XML тоже (должны быть :)

Да и скорость/размер

зависит ведь от того, что именно делают?

Если что, не ерничаю. Прочел заглавную и пролистал примеры - вроде, из плюсов только генерация из деклараций.

json тоже можно генерировать)

прост бинарный протокол

логично что он меньше json будет

А, т.е. кроссфплатформенность в том сымсле, что на принимающей стороне тоже протобуф и оно совместимо.

http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

Спасибо!

А, т.е. кроссфплатформенность в том сымсле, что на принимающей стороне тоже протобуф и оно совместимо.

между языками он может юзаться

и бинарный формат

а причем тут кросплатформенность?

json/xml - тоже самое

json/xml не бинарный формат

а причем тут кросплатформенность?

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

Спасибо всем.

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

ну не всегда будет хорошо, не везде к примеру есть unsigned

свяжи

через работы Монтегю думаю вполне реально :)

Вот это HoTT - это как-то связано с творчеством Романа Михайлова?

роман вощем то даже интервью брал у воеводского :)

http://baaltii1.livejournal.com/198675.html http://baaltii1.livejournal.com/200269.html

@dmsol я сейчас ударился в теорию категорий, и теперь мне немного неясно, как полностью её понятия связать с понятиями из того же Хаскелла. Есть что-то почитать на эту тему?

http://www1.eafit.edu.co/asr/pubs/others/cain-screen.pdf например

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

протобаф бинарный, но есть проблема с эволюцией схемы и так далее, thrift нужно посмотреть еще

> но есть проблема с эволюцией схемы и так далее если делать все поля optional то проще

А может кто-нибудь в двух словах, в чем преимущество протобуф перед case class + jackson ? Кроме декларативного описания DTO ( это ведь DTO, по факту?)

schema evolution

> но есть проблема с эволюцией схемы и так далее если делать все поля optional то проще

O_O

в protobuf 3 нет понятия optional)

все optional же

вернее подожди. для примитивов вроде бы дефолтные значения, а для прочих типов - optional

и на самом деле эт не поможет

особенно когда у тебя и старый и новый api используются

объясни

старый и новый api - что имеешь в виду?

ну часто бывает так, что у тебя клиенты используют разные версии

ERROR: S client not available

разве клиент который использует старую версию API упадет если ты добавишь новое поле в схему?

если новое нет)

но как часто все решается только добавлением?

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

Народ, может кто подсказать чего оно хочет? https://pastebin.com/iLM8vx3W

dependency injection плея?

там guice используется?

угу, ток я не понимаю чего именно он хочет. inject в классе UserDAO где всё считается есть. А он хочет еще и в контроллер как я понимаю, но всё что *Table - это trait

Slick

как выглядит конструктор UserDAO?

class UserDAO @Inject()(protected val dbConfigProvider: DatabaseConfigProvider, val roleTable: RoleTable, val roleInGroupTable: RoleInGroupTable, val userInGroupTable: UserInGroupTable) extends UserTable with HasDatabaseConfigProvider[JdbcProfile] {

вот собственно UserTable: private[dao] trait UserTable { self: HasDatabaseConfigProvider[JdbcProfile] => protected[UserTable] class UserTable(tag: Tag) extends Table[User](tag, "user") { И везде по аналогии

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

мы прост другой protobuf файл создаем для таких

и имеем кучу хендлеров

а откуда берутся RoleTable и прочие Table?

По аналогии с UserTable: https://pastebin.com/1zzHw37P

Плюс просто роль: case class Roles(id: Long = 0, name: String, description: Option[String])

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

Диковинность ситуации ещё и в том, что Тиньков считает это годным пиаром :/

Соглашусь с благородным доном.

А акка стримы под капотом батчами все обрабатыват как фс2? Где про это можно почитать?

в блоге попробуй поискать, что-то было

В доке написано, что стримы построены с back pressure, дескать обработка идет частями относительно возможностей чтобы не было что быстрый продюсер забьет медленного консьюмер, если мне не изменяет память

А акка стримы под капотом батчами все обрабатыват как фс2? Где про это можно почитать?

Да, почитай про пуш пулл модель у них в доках

Почему нет апи чтобы с этими чанками работать, приходится какой-то groupby писать, вотчто я не понял

Oleg у вам там какая т жопа с смсками ?

Потому что это лоулевел

Можешь свой stage написать

Там как раз с ними работать надо

Ну оок,спасибо. Сложна!

Почему нет апи чтобы с этими чанками работать, приходится какой-то groupby писать, вотчто я не понял

конкретно в ActorProcessor https://github.com/akka/akka/blob/master/akka-stream/src/main/scala/akka/stream/impl/ActorProcessor.scala техническая реализация

io.netty.handler.codec.http2.Http2Exception: First received frame was not SETTINGS гыгы

Но никакого API ты не получишь