@scala_ru
Artem08.02.2017
15:03:37
15:03:37
16-го Февраля пройдет первая встреча PapersWeLove Spb в этом году.
На встрече выступит Виталий Брагилевский, преподаватель ЮФУ (Ростов-на-Дону), член комитета Haskell 2020, контрибьютор в GHC и Idris.
Виталий сделает доклад по мотивами известной публикации "Propositions as Types" P. Wadler — это введение в теорию вычислений, логику, соответствие Карри-Ховарда и проблематику формальной верификации ПО.
Vasily08.02.2017
15:03:38
15:03:38
Нижняя челюсть внушает уважение
Nikolay08.02.2017
15:37:34
15:37:34
https://github.com/lampepfl/dotty/pull/1958
https://github.com/dotty-staging/dotty/blob/a51a963005eb6f5a42a0cef7420a7008956e622a/tests/run/enum-Color.scala
https://github.com/dotty-staging/dotty/blob/a51a963005eb6f5a42a0cef7420a7008956e622a/tests/run/enum-List1.scala
Anton08.02.2017
15:48:17
15:48:17
Во втором скала подкасте обсуждают какой-то панс или панц от твиттера для модулей или подпроектов, как он по-английски пишется или дайте пожалуйста линк.
Google
Grigory08.02.2017
15:49:21
15:49:21
штанишки?
Anton08.02.2017
15:51:10
15:51:10
http://www.pantsbuild.org/index.html
Вот про это речь ?
Aleksei08.02.2017
15:51:58
15:51:58
они да
Oleg08.02.2017
15:52:02
15:52:02
https://github.com/lampepfl/dotty/pull/1958
https://github.com/dotty-staging/dotty/blob/a51a963005eb6f5a42a0cef7420a7008956e622a/tests/run/enum-Color.scala
https://github.com/dotty-staging/dotty/blob/a51a963005eb6f5a42a0cef7420a7008956e622a/tests/run/enum-List1.scala
выглядит как очередной ультрасахар на тему case class, который будет меняться сто раз
sealed trait вполне реализует GADT, остальную херню можно и макросами нагенеритьNikolay08.02.2017
15:55:02
15:55:02
ну да, он и есть
Alex08.02.2017
16:08:50
16:08:50
https://github.com/typelevel/scala/blob/typelevel-readme/notes/2.12.1.md
Aleksey08.02.2017
16:13:01
16:13:01
Alex08.02.2017
16:14:40
16:14:40
чо, писанины меньше
Nikolay08.02.2017
16:16:18
16:16:18
enum class List[T] это да
GoogleNikolay08.02.2017
16:17:13
16:17:13
это WIP в любом случае
Dmitry08.02.2017
16:17:19
16:17:19
какая то гошечка выходит
Nikolay08.02.2017
16:17:47
16:17:47
ну, знают куда нужно стремиться
Grigory08.02.2017
16:18:02
16:18:02
рейжанет и все типы разрушит как это уже было однажды
Nikolay08.02.2017
16:18:31
16:18:31
рейжанет?
DenisGrigory08.02.2017
16:19:16
16:19:16
в раж войдет*
Nikolay08.02.2017
16:20:11
16:20:11
да ну, они кажется осторожны насчет обратной совместимости
новые типы - да, чтобы все перехерачить - вряд ли
Grigory08.02.2017
16:20:36
16:20:36
это была шутка насчет дженериков...
Nikolay08.02.2017
16:21:10
16:21:10
?
Kirill08.02.2017
16:24:47
16:24:47
А че, удобно, ну не хочу я для перечисления цветов писать трейты, а это довольно удобно
Nikolay08.02.2017
16:25:33
16:25:33
enum Color { case Red, Green, Blue } - так было бы хорошо
Kirill08.02.2017
16:25:56
16:25:56
да, вообще кайф был бы
хотя нет, "это же как в джаве", поэтому такое нельзя делать ни в коем случае
Diemust08.02.2017
16:31:51
16:31:51
ну тогда хотя бы так
enum Color ~{=$ case Red, Green, Blue $=}~
Nikolay08.02.2017
16:36:50
16:36:50
it Color { when Red, Green, Blue }
Sergey08.02.2017
20:36:13
20:36:13
Всем привет, ребята! Приятно видеть, что тут приличное такое количество людей
Я в Scala новичок, но хочу от нее пропереться :)
Сам под Android пишу, даже после Kotlin'a немного голова кружится.
В общем, нужен ваш совет.
Разрабатываю сервак (scala + play + anorm)
Выстроил схему бд и не знаю как быть с моделями.
Простой пример - есть сущность Company со стандартными полями типа id, title, и т.д.
И есть Product. Связь между ними 1:M.
Как лучше организовать модельку Company что бы удобно было делать выборку из бд, фаршировать объект и через api json'ом его отдавать?
На гитхабе как то не густо с этим делом. Приличных разжеванных примеров не видно. Или может я не так ищу :)
Зачем тут sql, возьми mongodb например и мапь туда в json-е без всяких лишних преобразований
Denis08.02.2017
20:44:16
20:44:16
> возьми mongodb
Ты чего такое советуешь.
GoogleGrigory08.02.2017
20:44:41
20:44:41
вроде хайп по монге прошел.
Vasily08.02.2017
20:45:03
20:45:03
type Color=|Red=0
Artem08.02.2017
20:45:10
20:45:10
нет к ней доверия после тех потерь данных )
Sergey08.02.2017
20:45:36
20:45:36
На гитхабе чтоли?
Denis08.02.2017
20:46:43
20:46:43
У всех наверное в той или иной степени припекло как-то
Sergey08.02.2017
20:47:15
20:47:15
Она офигенно удобная, бесструктурная. По сравнению с sql просто прорыв
Sergey08.02.2017
20:47:42
20:47:42
Для большинства проектов
Denis08.02.2017
20:47:47
20:47:47
У нас было что индекс перестал умещаться в оперативе (64 Гб, 64!! КАРЛ!!) и монга стала отвечать от 200мс до бесконечности. Сам понимаешь что все остальное схлопнулось
Grigory08.02.2017
20:48:21
20:48:21
во была такая пробелма решается двумя способами: тюнишь конфиг (ну она не оч слушается) иделаьный вариант тюнить конфиг сувать в контейнер и ограничивать контейнер по памяти
Denis08.02.2017
20:48:27
20:48:27
Ах да, забыл сказать что это было 2 шарды, каждая по реплике
6 Серверов под 64 Гб
И еще седьмой монгос
Grigory08.02.2017
20:48:44
20:48:44
а у нас реплика не поспевала помню за монгой
?Ivan08.02.2017
20:48:48
20:48:48
Grigory08.02.2017
20:48:52
20:48:52
это был феерический посос в плане консистентности
Sergey08.02.2017
20:49:05
20:49:05
Какой индекс
Vasily08.02.2017
20:49:18
20:49:18
Хипстерство это все
Grigory08.02.2017
20:49:19
20:49:19
гео
GoogleVasily08.02.2017
20:50:07
20:50:07
Sql на 64 гигах тоже будет неплохо жить
Sergey08.02.2017
20:50:40
20:50:40
Это все от неумения выбирать инструмент под задачу
Vasily08.02.2017
20:50:41
20:50:41
Хотя блобы лучше не в нём хранить
Nick08.02.2017
20:50:51
20:50:51
@CapDev я в шоке с твоих советов
Grigory08.02.2017
20:50:53
20:50:53
лол тыж ток что горил что почти везде монга уместная
неумение выбрать инстурмент под задачу какраз советовать вместо рдбмс документоориентированую дб
Vasily08.02.2017
20:51:45
20:51:45
Если данные сильно связаны, то лучше sql,имхо
AdminERROR: S client not available
Nick08.02.2017
20:52:09
20:52:09
@pomadchin посоны,я пишу консольную утилиту типа grep - нужна монга!
или акка
Grigory08.02.2017
20:52:16
20:52:16
конечно
стримы и монга
напсиать все на го
портировать акку на го перед этим
а рутины фиг с ними
Vasily08.02.2017
20:52:44
20:52:44
Если это какие-нить ордера, которые надо тащить целиком-то лучше монга, наверное
Sergey08.02.2017
20:53:02
20:53:02
Для примера она хорошо подходит. Большинство проектов такие и есть, что то нада сохранить а потом достать.
Grigory08.02.2017
20:53:31
20:53:31
честно говоря, я не понял место применение монги; на слишокм больших данных она разваливается даже несмотря на интересную тайгерфс
на маленьких она и жрет много и скорее всего постгря быстрее будет но не проще конечно
Nick08.02.2017
20:53:42
20:53:42
@CapDev а че не leveldb
Vasily08.02.2017
20:53:48
20:53:48
Ну я больше про атомарность того, что надо достать
Google
Nikita08.02.2017
20:53:58
20:53:58
постгрес + jsonb обгоняет монгу
Sergey08.02.2017
20:54:11
20:54:11
Монга + Акка вобще огонь!)
Denis08.02.2017
20:54:26
20:54:26
Без Го все ацтой
Vasily08.02.2017
20:54:29
20:54:29
Как кэш неплоха,наверное
Nikita08.02.2017
20:54:45
20:54:45
редис быстрее будет, наверное
Nick08.02.2017
20:55:03
20:55:03
@pomadchin подгорает от джуниров?)
Sergey08.02.2017
20:55:04
20:55:04
Denis08.02.2017
20:55:21
20:55:21
Можн
Nick08.02.2017
20:55:35
20:55:35
@CapDev select * from chota where json like "%lol%"
Vasily08.02.2017
20:55:38
20:55:38
Jpath?
Grigory08.02.2017
20:56:04
20:56:04
да ладно; на самом деле лучшая дб это файлы.
Grigory08.02.2017
20:56:27
20:56:27
:D пропустил что ты упомянул
Открыть в Telegram