Мотивация для выражения матч синтаксиса

Question

Синтаксис для спичечных выражений довольно хороший:

expr match { 
    case Test(l1) => ... 
    ... 
} 

Но это сводит меня с ума, что я не понимаю мотивацию к тому, почему этот этот синтаксис используется вместо match (expr) ..., как разветвление заявления в приличном потомке C!

Я не вижу разумного объяснения этому. И я не нахожу ответа ни на Программе в Scala, ни на сайте Scala, in this paper, this thesis, и здесь, и на других сайтах.

Это не то, что с ним что-то не так, просто, что это полная тайна. И когда match работают таким образом, почему бы и нет if и for?

Кто-нибудь знает? Я не думаю, что смогу больше использовать язык, не узнав об этом. Я думаю об этом все время. Я с трудом могу спать по ночам.

Answer 1

Для того, чтобы подобные немного синтаксиса Scala, охранники в шаблоне соответствующих случаях не требуют скобок вокруг их условных выражений-например, следующее:

case i if i % 2 == 0 => i/2 

так же действуют, как это:

case i if (i % 2 == 0) => i/2 

Придерживаясь стиля C-семейства, это означает, что требуется последняя форма, даже если скобки не нужны для устранения неоднозначности. Разработчики языка Scala решили, что снижение линейного шума привело к тому, что в этом случае семейное сходство сведено.

Я думаю, что подобная мотивация на работу в синтаксисе match, и на мой взгляд match (expr) { ... } действительно выглядит довольно ужасно (и вводит в заблуждение) по сравнению с expr match { ... }.

Кроме того, только сегодня днем ​​я реорганизовал чужие x match { ... } на Option на x map { ... } вместо этого. match как оператор инфикса делает очевидным сходство между этими двумя выражениями.

По вопросу о том, почему match это не просто метод, вот пять лет вопрос от Дэвида Поллака на the scala-debate mailing list:

Почему «матч» уровень языковой конструкцией, а не метод на Любые?

И Martin Odersky's answer:

Раньше считалось, что путь в Scala 1. Я больше не знаю, почему мы изменили. подсветка синтаксиса? Отчет об ошибках? не уверен. Я не думаю, что имеет значение в любом случае.

Я с Мартином на этом.

Обратите внимание, что существует несколько практических различий (кроме простого вопроса «точка или нет»).Например, это не компилируется:

def foo[A, B](f: PartialFunction[A, B])(a: A) = a match f 

Если match еще метод на Any, требуя буквальным кучу случаев будет довольно странное требование.