Kazuki Tanaka gogotanaka

## gist:b8c5688863d9c4774cd8

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                gogotanaka
                / gist:b8c5688863d9c4774cd8
            
            
              Last active
              August 29, 2015 14:12
            
              
                Zコンビネーター、Ruby
              
          
    http://qiita.com/gogotanaka/items/3a0b285f893428fc69c8

Zコンビネーター、Ruby

Z = ->(f) {
  ->(x) {
    f[ ->(y) { x[x][y] } ]
  }[
    ->(x) {
 f[ -&gt;(y) { x[x][y] } ]

  
## file0.coffee
A       # 命題Aが真である事の宣言
A -> B  # 命題A->Bが真である事の宣言
B?      # Aが真かつA-BならばBは真
#=> TRUE
	A # 命題Aが真である事の宣言
	A -> B # 命題A->Bが真である事の宣言
	B? # Aが真かつA-BならばBは真
	#=> TRUE