Observations

С утра ходил на рассказ Маниша из Нетфликса, как оно там с аккой и плеем; но по большей части добрый Маниш рассказывал идиотам, что не наадо бояться скалы - а идиоты зубоскалили, спрашивали, а что там за патерн матч, как в регекспах, что ли? А я ляпнул с последней парты - "как в Хаскеле" - чем заметно обидел идиотов. Вот! Вот оно как!

Народу знакомого полно, но ещё больше тех, кто меня знает в лицо, а я понятия не имею. Ну у меня же хвост, легко отличить.

В будке Пивотала раздают значки. Я взял значок про Томката - Пивотал заявляет, что это всё они. Что они разработали Tomcat, Groovy, Rabbit MQ. Охуели ребята, конечно. Я их подначивал, типа и храм 14-го века тоже вы? Они с кривой улыбочкой - тоже мы.

Ходил ещё на "tcp/ip программистам" - классная лекция, красивая. Узнал кое-что; в частности - что есть такие тулзы... ну вы поняли, я ж теоретик. Я пакет нюхаю, может, раз в пять лет.

Потом один, слегка подзапоздавший к раздаче Скалы, чудак из мира Преподавателей Чего Угодно, впаривал "Скалу для Джавщиков", я туда пошел просто перекантоваться, но там не было коннекции, и я пошел туда, где коннекция есть.

В 5 здесь Aaron Schlesinger из Stackmob стал рассказывать про их красивый пакет, Newman, для рестфул веба.

Ррекомендую!!! Не зря пришел.

У них, кстати, есть класс Result, в lift-json-scalaz. От же ж.

Заодно... сначала оказалось, что у Арона нет штучки, чтобы мак к rgb присобачить, а у меня есть. И тут же дошло, а мне тоже кое-что надо. Не сможет ли Стакмоб похостить 14-го, Грегори Мередит приезжает.

А ещё развиртуализовался с scolar.

private[this] final val  µs_per_ns = 1000L

(that's scala.concurrent.duration.Duration)

Пока я чесал репу, не хватит ли уже наслаждаться скалой, и не выйти ли из этой зоны комфорта в стратосферу хаскеля, выяснилось, что Эрик Мейер вдруг перебежал из лагеря хаскельщиков в лагерь скальщиков.

Ну хм.

What makes me sit in the middle of Sunday and write code? It's fun!!!
Below, with comments

почему в субботу нельзя включать телевизор?

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

В джаваскрипте есть ценный метод, toSource(); он, правда, только к функциям применяется - но я тут понарисовал для скалы, чтобы вот взял какую-нибудь структуру, и её в лог гонишь в таком формате, что можно потом прямо в юниттест вставлять, удобно ж.


List(List("Claim Number:", "19130723010200", "Date Paid:", "", "Date of Claim:", "07/16/1913", "Total Charges: 1", "1", "£1,350.00", "End Service Date:", "07/16/1913", "Plan Paid: 1", "1", "", "Status:", "IN REVIEW", "You Pay: 1", "1", "", "Member:", "LEOPOLD BLOOM", "", "", "Member ID:", "XXXXXXXXX-01", "", ""))


It asks me how to do international calls, what's my country code and areacode. Weird.

You know the stupid problem with Java/Scala collections: their contains() method takes any type; the explanation being that for this method to be type-dependent, we need contravariance, while collections are (mostly) covariant. So there.

Well, a natural transformation from a covariant functor to a contravariant is not only possible, it's a relatively popular thing. So, does it mean we can make contains() method type-dependent? The answer is YES!

  trait MyList[+T] { // declare a simple collection, e.g. list; it is covariant
    def head:T
    def tail:MyList[T]
    def ::[U>:T](x:U) = HeadAndTail(x, this)
    def size: Int
  }

  case object EmptyList extends MyList[Nothing] { // it's okay that it's a list of Nothing
    def head = error("This list is empty")
    def tail = error("this list is empty")
    def size = 0
  }

  case class HeadAndTail[T](head:T, tail: MyList[T]) extends MyList[T] {
    def size = 1 + tail.size
  }
// All the stuff above allows us to treat lists in a covariant way, like this:
      case class A(name: String) {override def toString = "A(" + name + ")"}
      case class B(override val name: String) extends A(name) {override def toString = "B(" + name + ")"}

      val listB = B("1") :: B("2") :: EmptyList
      listB.size must_== 2
      val listA = A("3") :: listB
      listA.size must_== 3
      val listC: MyList[Any] = listA
// See, MyList is covariant, so if B is a subtype of A, List[B] is a subtype of List[A]

And now... introduce a contravariant trait:
  
  trait Container[-T] {
    def contains(t:T): Boolean
  }

// and the natural transformation from MyList[+T] to Container[-T]:

  implicit def asContainer[T](list:MyList[T]): Container[T] = new Container[T] {
    def contains(t:T) = list.size > 0 && (list.head == t || asContainer(list.tail).contains(t))
  }

And it works. I can draw the appropriate commutative diagrams later, if it is not obvious.

      listA contains A("3") must beTrue
      listA contains B("1") must beTrue
//      listA contains "abracadabra" is a compilation error
      listC contains "abracadabra" must beFalse
      listC contains B("2") must beTrue

Questions? :)

I think it's cool; category theory applied directly to solve a code design problem.

http://jscala.org/

Генерация джаваскрипта из скалы.