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

[golikov konstantine (from livejournal.com)]

Guards есть http://metaclass.livejournal.com/741714.html?thread=14887506#t14887506

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

Вот например сбалансированные строки на скале

def isBalanced(list: List[Char]) = {
@annotation.tailrec
def countBracets(string: List[Char], count: Int = 0): Int = {
string match {
case '('::tail => countBracets(tail, count+1)
case ')'::tail => countBracets(tail, count-1)
case x::tail => countBracets(tail, count) // just skip if not bracet
case Nil => count
}
}

if (countBracets(list) == 0) true else false
}

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

[divine-assass1n.livejournal.com]

Ну что я могу сказать? Мне скала нравится. Когда начинал, не ожидал, что понравится.

[thesz.livejournal.com]

weight '(' = 1
weight ')' = -1
weight x = 0
balanced = check . scanl (+) 0 . map weight
    where
        check balances = all (>=0) balances && last balances == 0

Не мог удержаться. ;)

[metaclass.livejournal.com]

Ну вот зачем вы издеваетесь над людьми своим лаконичным хаскелем? :)
После скалы это выглядит как бальзам на душу.

[thesz.livejournal.com]

Мне можно. Я уже давно потерян для программистского общества. ;)

Это ещё и демонстрация, чем выгодна ленивость. В качестве бонуса. ;)

[golikov konstantine (from livejournal.com)]

плюсую
и вправду красиво и компактно

[andy legkiy (from livejournal.com)]

Сравнивают конкретный пример с рекурсией, так надо обязательно выставить HOF. Будто их больше нигде нет.

def balanced(seq: Seq[Char]) = {
  val balances = seq.view.map {
    case '(' => 1
    case ')' => -1
    case _ => 0}.scanLeft(0)(_+_)
  balances.forall(_ >= 0) && (balances.last == 0)
}

[thesz.livejournal.com]

Есть. Но не столь краткие и не так хорошо разделяют обязанности.

[xeno-by.livejournal.com]

Разделяют обязанности?

[thesz.livejournal.com]

Да. Separation of concerns. Не переводить же эту фразу, как "разделение беспокойств" или "разделение интересов".

[xeno-by.livejournal.com]

Я скорее хотел узнать в чем проявляется лучшее разделение обязанностей.

[thesz.livejournal.com]

В ленивости?

Как я понимаю, short circuit оператор && наверняка встроен в Scala.

[xeno-by.livejournal.com]

Понятно.

Оператор пока еще да, встроен.

[thesz.livejournal.com]

Вот-вот. И сейчас вы накрутите ещё всякого. ;)

[isorecursive.livejournal.com]

Наверное, встроен, для эффективности, но можно сделать и средствами языка:
http://www.scalakata.com/509a323ce4b093f3524f38fa
Но, конечно, это by-name, а не by-need.

[thesz.livejournal.com]

Вы определение && на Хаскеле видели?

И как я понимаю, булевский тип тоже встроен.

[isorecursive.livejournal.com]

Что-нибудь такое ?:

True && True = True
_    && _    = False

Дело в том, что паттерн-матчинг в хаскеле дешугарится в case, а это такой же встроенный примитив, как и if.

@ И как я понимаю, булевский тип тоже встроен.
Ну это всё мелочи, по-моему. Можно вот так:
http://www.scalakata.com/509a3b5ce4b093f3524f38fd
и так:
http://www.scalakata.com/509a3bb3e4b093f3524f38ff

[thesz.livejournal.com]

Нет, не такое. Ваш оператор не будет short circuit. В частности, для False && error "Badam!" будет вычислен error "Badam!"

True && x = x
False && _ = False

Видите ли, в чём дело. Я могу 1) сделать свой собственный if и 2) воспользоваться кодированием конструкторов и деструкторов (сравнение с образцом) через функции. Это так называемое кодирование Чёрча.

Если вы не знали, то вот вам пример (я уж задолбался его приводить):
*Main> let true = \a b -> a
*Main> let false = \a b -> b
*Main> let a &&& b = a b false
*Main> let ifThenElse c a b = c a b
*Main> ifThenElse (true &&& false) 10 12
12
*Main> ifThenElse (true &&& true) 10 12
10
*Main> ifThenElse (true &&& true) 10 (error "Badam!")
10
*Main> ifThenElse (false &&& error "Badam!") 10 12
12

Попробуйте сделать такое на Scala.

На таком кодировании основана AwesomePrelude - как можно взять практически обычный Хаскель (пара расширений) и скомпилировать его в JS библиотекой. Без макросов. Без трансляции, как у меня в HHDL. Простой библиотекой.

Short-circuit операторы я могу также сделать и для других значений. Например, для Q Bool, если сочту это нужным. Поэтому я и обратил ваше внимание на встроенность bool.

[xeno-by.livejournal.com]

Касательно AwesomePrelude предлагаю посмотреть в сторону http://infoscience.epfl.ch/record/179888/files/js-scala-ecoop.pdf. Тоже делается Скалой с парой расширений.

[metaclass.livejournal.com]

А что будет, если есть два импортированных класса с операторами &&& и implicit-конверсией - какой из них используется в этом случае?

[isorecursive.livejournal.com]

Если подходит первый (по типами и сигнатуре), то он, если нет - будет попытка использовать конверсию.
И это, наверное, самый сложный и хитрый момент в имплицитных конверсиях. По мне, лучше воздерживаться от них, и использовать только обогащения (новые implicit class, но их пока нет на scalakata), и только такие, которые не создают конфликтов имён.
И самое плохое в имплицитных конверсиях, что люди думают, будто имплицитные значения (type-directed скоупинг) - что-то близкое по духу, и тоже стрёмное.

[xeno-by.livejournal.com]

+1 про implicit vals

[xeno-by.livejournal.com]

Если подходят оба, будет ошибка компиляции.

[thesz.livejournal.com]

Язык Ада, в прямом и переносном смысле этого слова. В Аде точно такие же правила.

[thesz.livejournal.com]

Кстати, у вас код пропустит строку ")(". Код на Эрланге и мой не пропустят.

Мелочь, а приятно. ;)