seems like a compiler bug

[juan_gandhi]

Welcome to Scala 2.12.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_92).
Type in expressions for evaluation. Or try :help.

scala> def f(x: Int) = 10 + x -> "ok"
f: (x: Int)(Int, String)

scala> f(10)
res0: (Int, String) = (20,ok)

scala> def g(x: Int) = 20 + x → "oops"
:11: error: overloaded method value + with alternatives:
  (x: Double)Double 
  (x: Float)Float 
  (x: Long)Long 
  (x: Int)Int 
  (x: Char)Int 
  (x: Short)Int 
  (x: Byte)Int 
  (x: String)String
 cannot be applied to ((Int, String))
       def g(x: Int) = 20 + x → "oops"
                          ^

Comments

[gonchar]

Может, шаловливая рука вместо английской Икс начала выводить русское Ха? :)

[juan_gandhi]

Выяснились детали. Стрелочки не эквивалентны (почти).

[gegmopo4]

А «->» и «→» идентичны в Скале?

[juan_gandhi]

Это то, чего я ожидал.

[spamsink]

Явно какая-то copy-paste error в таблице приоритетов.

Странно, что лексер не сводит немедленно -> и → в один токен, иначе как это объяснить?

[juan_gandhi]

Это очень странно.

[xacid]

def g(x: Int) = (20 + x) → "oops"

это просто ассоциативность немного хромает :)

а ваще вот что пишут

https://github.com/scala/scala/pull/7540

потомучто https://github.com/scala/bug/issues/11210

таки да, стрелочки всё ...

[archaicos]

Зачем вообще туда напихали это всё унишкодное? Мечтатели.

[xacid]

дык! ...

[epimorphisms_split]

Потому что фиксированный приоритет операторов, определяемый по первому символу — плохая идея. Очень, очень плохая. Фантастически неудачная.

[juan_gandhi]

Вот в чем кошмар-то.

[xacid]

требовался лабораторный эксперимент :)

[epimorphisms_split]

Эксперимент уже вроде как был, с Фортраном. Тип переменной определялся по первой букве.

[xacid]

строгий научный подход требует воспроизводимости результатов :)

[gegmopo4]

О, а это идея! Определять приоритет операторов по коду символов: % * + - /. А ещё глобальным переключателем можно менять порядок на обратный. Так и сделаю в своём следующем языке — муа-ха-ха!

[sassa_nf]

> глобальным переключателем можно менять порядок на обратный

/: vs :\

[juan_gandhi]

Да блин. Вот же швейцарцы хреновы.

[xacid]

советуют все стрелочки поменять на ascii и просто включить лигатуры

[juan_gandhi]

Ну придется. Потом.

[xacid]

лигатуры включить можно сразу (если еще нет)
я вот почитал - включил и результатом очень доволен )

а стрелочки вроде scalafmt умеет заменять
правда это конечно в git blame может аукнуться если дело на службе

[juan_gandhi]

И не слыхал раньше про scalafmt.
Я б его внедрил, да у нас style guide немножко с прибамбасами (надо б починить).

[xacid]

ну я про scalafmt тоже раньше както не думал особо много (ну то есть не знал потому что было пофиг)
но вобще это детище проекта scalameta https://scalameta.org/scalafmt/
а заморачиваться со scalafmt я пробовал потому-что идея дотти форматирует иногда очень странно
правда scalafmt вобще не работает пока с dotty (хотя и пытается - есть такой у нее диалект в ейном конфиге) но пока на тайплямбдах обламывается
а идея кстати уже вполне себе работает с доттей (если не считать безобразного форматирования - я им уже в спортлото написал но пока видимо разбираются в чем проблема или просто не руки ихние не доходят)

да, а вобще на scalafmt обратить внимание смысл есть - инструмент форматирует код в промышленных масштабах, и похоже что там настраивается вообще всё что имеет смысл, так что если есть время и желание можно на работе квадратно-гнездовой метод внедрять пробовать

[jurgen_svoloch]

Стрелочки?
Ну-ну…