Most functional

もっとも関数的

Line wrap

Highlight

       Int L[A],m,b,*D=A,
        *c,*a=L,C,*U=L,u;s
         (_){u--&&s(a=*a);}
          char*B,I,O;S(){b=b
           --?b:m|read(0,&I,1
            )-1;return~I>>b&1;
             }k(l,u){for(;l<=u;
              U-L<A?*U++=46^l++[
               "-,&,,/.--/,:-,'/"
               ".-,-,,/.-,*,//..,"
              ]:exit(5));}p(Int*m){
             return!*U?*m=S()?U++,!S
            ()?m[1]=p(++U),2:3:1,p(U)
           :S()?U+=2:p(U[1]++),U-m;}x(
          c){k(7*!b,9);*U++=b&&S();c&&x
         (b);}d(Int*l){--l[1]||d(l[d(*l),
        *l=B,B=l,2]);}main(e){for(k(10,33
       ),a[4]-=m=e-2&7,a[23]=p(U),b=0;;e-2
      ?e?e-3?s(D=a),C=a  [3],++1[a=a[2]],d(
     D):c?D=c,c=*D,*D=    a,a=D:exit(L[C+1])
    :C--<23?C=u+m&1?O      =O+O|C&1,9:write(m
   ||(O=C+28),&O,1)+        1:(S(),x(0<b++?k(0,
  6),U[-5]=96:0)):(          D=B?B:calloc(4,X))
 ?B=*D,*D=c,c=D,D[            2]=a,a[++D[1]]++,D
[3]=++C+u:exit(6)              )e=L[C++],u=L[C];}

引用元：https://www.ioccc.org/2012/tromp/tromp.c

審査員・作者による説明：https://www.ioccc.org/2012/tromp/hint.html

動作

バイナリラムダ計算のインタプリタ。

ヒルベルト曲線を描くプログラムを実行する例。

$ gcc -m32 -DInt=int -DX=4 -DA=500000 -o tromp tromp.c

$ ( cat hilbert.Blc; echo -n 1234 ) | ./tromp
 _   _   _   _   _   _   _   _
| |_| | | |_| | | |_| | | |_| |
|_   _| |_   _| |_   _| |_   _|
 _| |_____| |_   _| |_____| |_
|  ___   ___  | |  ___   ___  |
|_|  _| |_  |_| |_|  _| |_  |_|
 _  |_   _|  _   _  |_   _|  _
| |___| |___| |_| |___| |___| |
|_   ___   ___   ___   ___   _|
 _| |_  |_|  _| |_  |_|  _| |_
|  _  |  _  |_   _|  _  |  _  |
|_| |_| | |___| |___| | |_| |_|
 _   _  |  ___   ___  |  _   _
| |_| | |_|  _| |_  |_| | |_| |
|_   _|  _  |_   _|  _  |_   _|
 _| |___| |___| |___| |___| |_

素数列挙。素数番目のビットが1になっている。

$ cat primes.blc | ./tromp -b
001101010001010001010001000001010000010001010001000001000001010000010001010000010001000001000000010001010001010001000...

解説

バイナリラムダ計算は、作者自身が開発したラムダ計算のバイナリ表現方法。

ラムダ抽象は 00 <term>
関数適用は 01 <term> <term>
変数参照は1 1* 0（中の1の数はde Bruijnインデックス）

拡張子が.Blcなファイルはバイナリ表現のソースコードで、.blcはテキスト表現（0と1の列）。テキスト表現のソースコードを実行するときは”-b”というコマンドライン引数を与える。

入力のバイト列は、長さ8のブーリアンのリストのリスト（チャーチエンコーディングによって表現されている）によって渡される。同じフォーマットのデータを評価結果とすることで、出力もできる。

入力をそのまま出力するプログラムは、引数をそのまま返す恒等関数（\x x）なので、0010とエンコードされる。 4ビットなので、「ハーフバイト」と主張している。 hint.textには、自分自身のインタプリタ、素数のふるい、ヒルベルト曲線、BrainFuckインタプリタなどのサンプルコードが掲載されている。

実装詳細は見ていないが、問いかけがあるので興味のある人は見てほしい。 how13ファイルに、大まかなデータ構造と各変数および関数の目的が書かれているので、解析するときは参考になる。