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

тогда школа твиттера

Ну вот и бери книгу Одерски.

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

тогда школа твиттера

Уже) Только подробнее

Слишком уж без пояснений

как и в coursera

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

не читал, только toc

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

в 212 относительно мало изменений

2015 последнее издание?

http://www.artima.com/shop/programming_in_scala_3ed

String interpolation Futures and concurrency, including new methods added in 2.12 and asynchronous testing with Futures in ScalaTest 3.0 Wildcard types New recommendations for writing hashCode The close integration of Scala 2.12 and Java 8, most significantly the new ability to use function literals to express instances of SAM types The latest recommendations for Scala coding style Implicit classes Creating your own AnyVals The context bounds syntax for type classes

вот и дифф, к слову

А чо про всякие dynamic не написал, интересно.

Ребята, а кто-нибудь может дать отзыв об организации www.eastwind.ru? не знаю, уместен ли этот вопрос, но вакансия связана с позицией scala разработчика, может, кто есть тут, кто там работает или работал.

Ребята, а кто-нибудь может дать отзыв об организации www.eastwind.ru? не знаю, уместен ли этот вопрос, но вакансия связана с позицией scala разработчика, может, кто есть тут, кто там работает или работал.

Насчет компании ничего не скажу, но лэйаут сайта под 4.5" несколько сломан. А это довольно странно для компании которая заявляет себя как технологическая. Я бы насторожился пользоваться услугами например зубного с кариозным зубом.

ок, спасибо

Пытаюсь разобраться с dependent types.. Возможен ли в скале (с использованием shapeless?) тип вида лист, каждый элемент которого удовлетворяет некоторому предикату? Вообще, концепция предполагает проверку лишь на уровне компиляции или затрагивает рантайм?

возможен, причем даже в джаве

Пытаюсь разобраться с dependent types.. Возможен ли в скале (с использованием shapeless?) тип вида лист, каждый элемент которого удовлетворяет некоторому предикату? Вообще, концепция предполагает проверку лишь на уровне компиляции или затрагивает рантайм?

Да, можно, смотри hlist

если инкапсулировать все методы модификации и в каждом проверять этот предикат (см. NonEmptyList) но это без всякой магии, скучно

Если проверка типов то говоря о завис типах всегда речь идет о компайл тайме

Ты можешь в компиляции доказать типы

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

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

т.е элементы должны быть захардкожены в скала-коде?

Пытаюсь разобраться с dependent types.. Возможен ли в скале (с использованием shapeless?) тип вида лист, каждый элемент которого удовлетворяет некоторому предикату? Вообще, концепция предполагает проверку лишь на уровне компиляции или затрагивает рантайм?

https://github.com/milessabin/shapeless/blob/master/core/src/main/scala/shapeless/ops/hlists.scala#L2819

LiftAll, если оформишь свой предикат как "существование тайпкласса". Если как Poly, которая возвращает синглтон подтип Boolean, можно Mapper, а потом LiftAll с true =:= ?, но лучше свой оператор

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

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

В то же время, "извне" можно получить данные и в компайл тайме. Макрос может прочитать файл, законнектиться к базе или запустить сервер

Кто пробовал Dotty, подскажите, в офф мануале для IDEA сказано "Create a new Dotty SDK", "Replace Scala SDK with Dotty SDK". Что подразумевается под Dotty SDK? Нигде ссылок на скачивание дистра как для скалы не нашёл, только если репо с гитхаба клонировать

Dotty лежит в репах, в последний раз, когда я проверял, IDEA справлялась с импортом подобных проектов https://github.com/smarter/dotty-example-project

Обычно для скалы SDK - это три либы runtime, compile, reflect

IDEA умеет создавать такие SDK для себя из ivy cache

В то же время, "извне" можно получить данные и в компайл тайме. Макрос может прочитать файл, законнектиться к базе или запустить сервер

это скаловский макрос имеется ввиду? или что другое

В то же время, "извне" можно получить данные и в компайл тайме. Макрос может прочитать файл, законнектиться к базе или запустить сервер

Ничосе ты извращенец)

это скаловский макрос имеется ввиду? или что другое

скаловский, да

Можно и биткоин маинер сунуть

Ничосе ты извращенец)

https://github.com/jonifreeman/sqltyped

лезет в СУБД, читает DDL и выводит типы на их основе

До скалы добралась концепция type provider из f#?

В скале она была гораздо раньше

и в f# её не изобрели

лезет в СУБД, читает DDL и выводит типы на их основе

Сумасшедшие)) но может быть полезно

Олег,а поподробнее можно суждение развернуть?Пока выглядит как no u

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

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

Второе.

бхахах

джит вообще не знает, о джавовом коде

Гугл кажет такое: http://docs.scala-lang.org/overviews/macros/typeproviders.html

джит вообще не знает, о джавовом коде

Джава-байткод билзок к джава-коду.

Джава-байткод билзок к джава-коду.

wat O_o

Я делаю верное заключение,что тайп провайдеры в скале построены на макросах?

wat O_o

Что?

Что?

с чего ты делаешь такие выводы)

с чего ты делаешь такие выводы)

Достаточно того что в байткод 1 в 1 попадают декларации классов и интерфейсов. Это уже делает байткод подобным языку из которого он генерится.

ну может алексей имел ввиду что он читаем

Я делаю верное заключение,что тайп провайдеры в скале построены на макросах?

да, на whitebox macro, судя по всему, появились они в F# и scala одновременно - середина 2011

ну может алексей имел ввиду что он читаем

ассемблер тоже читаем, и что)

просто наверное джава байт код создавался для джавы? =)

ну вот мне джава байт код напоминает больше асемблер))

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

~~ток более умный чтоле~~

ERROR: S client not available

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

т.е. было сделано гораздо раньше, чем стоило бы?

т.е. было сделано гораздо раньше, чем стоило бы?

пожалуй

~~ток более умный чтоле~~

малословный, а не умный)

ну вот мне джава байт код напоминает больше асемблер))

Ассемблер для стековой машины внутри методов. Но и код внутри методов в джаве прост и "близок к природе".

да, на whitebox macro, судя по всему, появились они в F# и scala одновременно - середина 2011

Да, похоже, что одновременно.На самом деле с некоторых точек зрения интересно наблюдать за js стэком, как там появляются концепции типа реакта с лагом в 7-8 лет

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

помимо сказанного, стоит заметить пару вещей: 1. есть scala-js, совсем с другим JIT и scala-native, где всё предоптимизированно 2. Сейчас совместно с проектом dotty готовится dotty linker, который будет делать собственные оптимизации библиотек при подключении, подробнее в прикреплённом подкасте

да всеравно стекориентированый язык (но я не эксперт, так что поправляейте меня; хз есть ли слово то такое)

По идее же скалажс на выходе должен жс иметь

То есть большая часть магии jvm находится в классах, интефейсах, методах, свойствах, объектах. Это сущности jvm и ее байткода. Java как язык не добавляет в это хозяйство ничего нового. Именно это я имею в виду, когда говорю, что jvm-байткод подобен java.

https://github.com/milessabin/shapeless/issues/685

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

Интересно что там прям все с рабочей почты и еще и учетка рабочая )

интересно, зачем ему такой старый sbt

всем привет есть кто-то работавший с nagios?

значит, в скала проектах, использующих все возможности языка, предпочитают AOT компиляцию, если JIT помогает слабо? и еще интересует, есть ли у скалы какая-то предпочтительная стратегия GC, или тут выбирать как в джаве?

как в джаве

значит, в скала проектах, использующих все возможности языка, предпочитают AOT компиляцию, если JIT помогает слабо? и еще интересует, есть ли у скалы какая-то предпочтительная стратегия GC, или тут выбирать как в джаве?

Все как в джаве. В скале нет AOT. Scala.js и Scala.native это отдельные истории.

хехе

Насчет компании ничего не скажу, но лэйаут сайта под 4.5" несколько сломан. А это довольно странно для компании которая заявляет себя как технологическая. Я бы насторожился пользоваться услугами например зубного с кариозным зубом.

давным-давно меня окулисты настойчиво предлагали оперировать по поводу миопии, когда поехали обследоваться в МНТК, мы с маман были так шокированы количеством врачей в очках, что категорически передумали оперироваться

классный пример

универсальный

Ещё священников - педофилов приплетите

Ещё священников - педофилов приплетите

ну, это классика

Свидетели node.js

убери этот шлак, пожалуйста

только я там death/metalcore не услышал

а трэш да

симфоник какой то а не дез

как в скале грамотно обработать большой массив с интами, чтобы воспользоваться процессорными оптимизациями? (конструкция Array(1, 2, 3, ...) будет же представлена после компиляции как обычный джавовский массив с примитивами?) и потом правильно ли будет использовать for-comprehensions для этого (насколько знаю, сперва преобразуется в foreach, а будет ли он сконвертирован в обычный цикл, или тут уместнее использовать while)?

как в скале грамотно обработать большой массив с интами, чтобы воспользоваться процессорными оптимизациями? (конструкция Array(1, 2, 3, ...) будет же представлена после компиляции как обычный джавовский массив с примитивами?) и потом правильно ли будет использовать for-comprehensions для этого (насколько знаю, сперва преобразуется в foreach, а будет ли он сконвертирован в обычный цикл, или тут уместнее использовать while)?

https://www.chrisstucchio.com/blog/2014/learning_spire_cfor.html