Scala

[metaclass]

Читаю книжку Одерского, до основной шизы еще не добрался, но такое ощущение, что в скале чрезмерно много синтаксического сахара. Типа "тут вы можете скобки опустить, а тут вместо скобок использовать фигурные скобки, а тут мы прямо в параметрах класса сделаем их полями, а в multiline string literal вы можете сделать отступ и stripMargin" и прочая и прочая в том же духе.
Основное из этого, видимо - function literals и вызов методов в стиле a methodName b, без точек и скобок, что делает код более лаконичным, одновременно позволяя при желании превратить код в нечитабельный ад.

Заодно по наводке jdevelop глянул на http://spray.io/ https://github.com/spray/spray/wiki
Примеры там, конечно, знатный abuse возможностей языка и вычислений на типах, типа extraction-директив с HList в качестве параметра типа.

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

PS: Вот, к примеру:
https://github.com/spray/spray/blob/master/docs/documentation/spray-routing/code/docs/HttpServiceExamplesSpec.scala

В SimpleService HttpResponse реализован как html-код написанный прямо внутри скала-кода. Сижу уже 30 минут ищу, где это преобразование реализовано и как. Т.е. не видя отдельных литералов и их типов (которые без загрузки всего оного кода с зависимостями в IDE/интерпретатор еще и не увидишь), с ходу догадаться, что происходит, достаточно сложно. XML literals, встроенные в язык и где-то implicit для конверсии.

PPS: implicit evidence:
http://jim-mcbeath.blogspot.com/2008/11/scala-type-infix-operators.html
http://stackoverflow.com/questions/3427345/what-do-and-mean-in-scala-2-8-and-where-are-they-documented

По-моему, это уже достаточно сложно, чтобы увлечь психов и стать новыми крестиками. Вот xeno_by еще приделает макросы - и совсем хорошо станет.

Comments

[berezovsky.livejournal.com]

охх

[thedeemon.livejournal.com]

Что скала - это такой С++ для JVM, давно уже говорят. И еще больше будут. Нагромождение фич не способствует простоте.

[xeno-by.livejournal.com]

http://xeno-by.livejournal.com/79953.html

[isorecursive.livejournal.com]

@ в скале чрезмерно много синтаксического сахара
Ну, по сравнению с лиспами, согласен.

@ вызов методов в стиле a methodName b, без точек и скобок,
Я для себя решил использовать это, если methodName match {
case [слово] (например, "getOrElse") => только в тривиальных выражениях (например, состоящих из одной аппликации)
case [оператор] (например, ">>", "+", "<*>") => всегда
}

@ По-моему, это уже достаточно сложно, чтобы увлечь психов и стать новыми крестиками
В крестиках же нет ничего прогрессивного и полезного. Там "психи" делают тривиальные вещи замороченными трюками.
По мне, если что-то сложное используется для решения каких-то сложных задач - это нормально, если для простых - изврат.

@ type-infix-operators
Есть в хаскеле и, можно сказать, во всех ml-подобных функциональных языках ("->" в "f: a -> b").

@ implicit evidence
Конструктивный теорем-прувинг по Карри-Говарду аля Агда. Это же хорошо, что такие вещи потихоньку начинают внедрять ИРЛ.
Да и вообще, хаскельные тайпклассы и агдовые/скальные имплициты - это (наконец-то) использование типов для более интересных вещей чем просто статическая верификация структурных инвариантов.

[migmit.livejournal.com]

Умгум. Парочка ссылок:

уно) http://yz.mit.edu/wp/true-scala-complexity/
дос) http://www.reddit.com/r/haskell/comments/zxcks/haskell_vs_f_vs_scala_a_highlevel_language/c68ybn1

[xeno-by.livejournal.com]

Спасибо за примеры. Они неплохо подчеркивают то, что я хотел сказать, но не знал в каком контексте это представить.

Есть куча высказываний на тему "я попытался сделать в Скале как в Хаскелле и получилась какая-то фигня". Эти высказывания многими считаются критикой Скалы. Но в обратную сторону это почему-то не работает. "Я попытался сделать в Хаскелле трейты как в Скале и получилась какая-то фигня" - такого в интернетах не видел ни разу.

[migmit.livejournal.com]

Ну, собственно, и "я попытался сделать в C++ как в Хаскелле и получилась какая-то фигня" тоже предостаточно, а вот наоборот - не видел.

[evil-invader.livejournal.com]

Согласен. Начал изучать скалу, потому что не хватало функциональщины в джаве (скучно стало, душа просит). Но как только узнал, что собираются добавить в java 8, то теперь уже особой надобности (для себя) в скала я не вижу. Интересная штучка, но не более.

[jakobz.livejournal.com]

О, почитал. Из Java будут делать C#. Как показывает практика, получается ничего так - ФП не сильно расползается, можно давать индусне.

[xeno-by.livejournal.com]

А можно подробнее про что именно впечатлило в джаве 8? Только лямбды или что-то еще?

Также интересно, что ты думаешь про трейты в общем смысле и про кейк-паттерн в частности. Были ли бы они для тебя полезны? Есть ли для них аналог в восьмой джаве?

Насчет сложности Скалы и причем здесь макросы

[livejournal.livejournal.com]

User xeno_by referenced to your post from Насчет сложности Скалы и причем здесь макросы (http://xeno-by.livejournal.com/79953.html) saying: [...] ительную реакцию по поводу сложности Скалы. Уважаемые френды отпостились у себя в бложеках: раз [...]

[xeno-by.livejournal.com]

http://xeno-by.livejournal.com/79953.html

[divine-assass1n.livejournal.com]

Читаю ту же книгу. Для того, что в скалу насували, нормально получилось. Значительная часть синтаксиса и не синтаксис вовсе, а вызовы методов

Something(...) это вызов метода apply на companion object
Something(...) = ... это вызов метода update на companion object

Map(1 => 2, 3 => 4) опять же не какой-то особый синтаксис, 3 => 4 это 3.=>(4), который возвращает tuple (3,4)

И так далее, можно продолжать

[divine-assass1n.livejournal.com]

впрочем, да, это не лисп :)
основательная такая хрень получилась

[golikov konstantine (from livejournal.com)]

Вообще Map(1 => 2, 3 => 4) не сработает

Map(1 -> 2, 3 -> 4)

"=>" это про другое

[sum-erman.livejournal.com]

Сей пост чуть менее чем полностью передаёт мои ощущения от языка. Добавлю что паттерн матчинг в его нынешнем виде неудобен и многословен, а необходимость указывать типы во вложенных функциях это просто садизм :)

[divine-assass1n.livejournal.com]

я приятно удивился, что он там вобще есть, но конечно с эрланговским pattern matching ему не сравнится

[xeno-by.livejournal.com]

Можете.пожалуйста пояснить что не так с паттерн матчингом?

[golikov konstantine (from livejournal.com)]

"а необходимость указывать типы во вложенных функциях"
можно вот тут поподробней?

[v-l-a-d.livejournal.com]

>в скале чрезмерно много синтаксического сахара

ну если сравнивать с AST-дампом компилятора в виде S-выражений, то да, действительно много:)
а если с каким-нибудь хипсторуби - то вполне ок

[sum-erman.livejournal.com]

В хипсторуби — меньше

[metaclass.livejournal.com]

Вот к руби оно неоправданно близко :)

[bydl0coder.livejournal.com]

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

[divine-assass1n.livejournal.com]

http://ro-che.info/ccc/17.html :)

Scala: Call-by-Need

[livejournal.livejournal.com]

User isorecursive referenced to your post from Scala: Call-by-Need (http://isorecursive.livejournal.com/1482.html) saying: [...] Во время дискуссии [...]