Что означает тильда (~) в этом примере Scala?

Question

http://woss.name/2012/04/02/retrieving-bigdecimals-from-a-database-with-anorm-scala/

object Site { 
    val allFieldsParser = { 
    get[Pk[Long]]("sites.id") ~  // Help me parse this syntax 
    get[String]("sites.name") ~ 
    get[BigDecimal]("sites.latitude") ~ 
    get[BigDecimal]("sites.longitude") map { 
     case id ~ name ~ latitude ~ longitude => 
     Site(id, name, latitude, longitude) 
    } 
    } 

    def findAll(): Seq[Site] = { 
    DB.withConnection { implicit connection => 
     SQL("SELECT * FROM sites").as(Site.allFieldsParser *) 
    } 
    } 
} 

Answer 1

В вашем примере, ~ используется двумя различными способами, чтобы означать две разные вещи. В первой части у вас есть

get[Pk[Long]]("sites.id") ~  // Help me parse this syntax 
get[String]("sites.name") ~ 
get[BigDecimal]("sites.latitude") ~ 

и т.д. Как уже было сказано, это просто вызов метода, это то же самое, как

get[Pk[Long]]("sites.id").~(get[String]("sites.name").~(... 

Вы можете посмотреть на the definition of this method in the anorm source. Это метод на RowParser[A] (синтаксический анализатор, который разбирает A, который принимает RowParser[B] (синтаксический анализатор, который анализирует B) и возвращает парсер, который разбирает A ~ B. Это A ~ B является вторым смыслом для ~. Это теперь идет не к способу, но к case class defined in the same file here.

case class ~[+A, +B](_1: A, _2: B) 

Это просто своеобразный способ обращения к классу ~[A,B]. на уровне типа, когда у вас есть конструктор типа в два аргумента, вы можете использовать имя класс в инфиксной нотации. Это не что-то особенное о ~, оно будет работать с любыми двумя конструктор типа аргумента. Если у вас есть trait Foo[A,B], вы можете называть это как A Foo B. Аналогично, в сопоставлении с образцом, переменных a и b может быть связан с использованием синтаксиса a Foo b, который упоминается как инфиксной операции Pattern в разделе 8.1.10 на language specification.

Во второй части вашего примера у вас есть:

case id ~ name ~ latitude ~ longitude => 

Это сопоставление с образцом на этих ~ случае clases, которые являются результатом запуска разобрана вы сконструированный выше. Так что это действительно лучший способ написать:

case ~(~(~(id, name), latitude), longitude) => 

Answer 2

В Scala

a ~ b 

означает

a.~(b) 

Так он вызывает метод ~ на a и дает b в качестве аргумента. Также обратите внимание, что любой оператор, не заканчивающийся :, лево-ассоциативный.

Ваш пример вновь будет:

get[Pk[Long]]("sites.id").~( // Help me parse this syntax 
get[String]("sites.name").~(
get[BigDecimal]("sites.latitude").~(
get[BigDecimal]("sites.longitude")))) map { 
    case id ~ name ~ latitude ~ longitude => 
    Site(id, name, latitude, longitude) 
}