странное ощущение

От чтения записок Керсновской. Вот она уже пошла на перевал Бечо, мимо ледника Долра, вдоль речки Юсеньги.

Рехнуться можно. И так уже как родственница мне стала, а тут ещё по знакомым местам.

А, и там же. С Юсеньги она утверждает что видела Эльбрус, только одну вершину вместо двойной. Я думаю на самом деле она видела Дангузарун а не Эльбрус.

А вот уже она любуется Ушбой - Ушба, по-моему, самая красивая гора из тех, что я видел.

[Scala] vaguelly getting into "existential types"

After reading this

class Term[X]
case class App[Y,Z](fun:Y=>Z, arg:Y) 
  extends Term[Z]

def foo[X](x:Term[X]) = x match {
  case app: App[y,z] => ... 
  // ok, some y,z exists, you know the deal.
}

Now... what happens, if the App pattern is an extractors? That is, a user-defined method that will test-and-deconstruct a Term[X] into the things that form an App

class Term[X]
object App { 
  // i'm hidden
  case class InternalApply[Y,Z](fun:Y=>Z, arg:Y) extends Term[Z]

  def apply[Y,Z](fun:Y=>Z, arg:Y): Term[Z] = 
    new InternalApply[Y,Z](fun,arg)
  def unapply[Y,Z](app:InternalApply[Y,Z]) = 
    Some(app.fun, app.arg)
}