implicit double dispatch in scala

in Scala generic type parameters can also be restricted by specifying a view bound. We can thus define

def foo[T <% Dispatcher[T]](x: T) { ... }  

for some type Dispatcher[T]. Now foo can be called for any type which is convertible to type Dispatcher[T]

патриот и выборы

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

Но вот настаёт момент выборов. И патриот волшебным образом меняется. Вдруг оказывается, что тот же самый народ совершенно недоспел до какой-либо демократии, голосует всё неправильно, и самое лучшее, что можно сделать для его же блага - это наебать его, подделав все результаты голосования и сказать что так и было. Потому что начальству виднее.

Потом шум утихнет - и патриот опять за народ, за его вековую мудрость и выдающиеся способности совершать чудеса.

В США, кстати, это двойственное отношение к демократии описывает не патриота а т.наз. либерала-прогрессиста.

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

the power of scala meta

here

object Naturals {  
  trait NAT {  
    type a[s[_ <: NAT] <: NAT, z <: NAT] <: NAT  
    type v = a[SUCC, ZERO]  
  }  
  final class ZERO extends NAT {  
    type a[s[_ <: NAT] <: NAT, z <: NAT] = z  
  }  
  final class SUCC[n <: NAT] extends NAT {  
    type a[s[_ <: NAT] <: NAT, z <: NAT] = s[n#a[s, z]]  
  }  
  type _0 = ZERO  
  type _1 = SUCC[_0]  
  type _2 = SUCC[_1]  
  type _3 = SUCC[_2]  
  type _4 = SUCC[_3]  
  type _5 = SUCC[_4]  
  type _6 = SUCC[_5]  
  
  trait ADD[n <: NAT, m <: NAT] extends NAT {  
    type a[s[_ <: NAT] <: NAT, z <: NAT] = n#a[s, m#a[s, z]]  
  }  
  trait MUL[n <: NAT, m <: NAT] extends NAT {  
    trait curry[n[_[_], _], s[_]] { type f[z] = n[s, z] }  
    type a[s[_ <: NAT] <: NAT, z <: NAT] = n#a[curry[m#a, s]#f, z]  
  }  
  
  // aliases for nicer syntax  
  type +[n <: NAT, m <: NAT] = ADD[n, m]  
  type x[n <: NAT, m <: NAT] = MUL[n, m]  
}  

just found...

to the center of Uranus

javanus.com