- Output for 5.4.0 - 5.4.32, 7.2.29 - 7.2.33, 7.3.16 - 7.3.31, 7.4.3 - 7.4.32, 8.0.0 - 8.0.12, 8.0.14 - 8.0.30, 8.1.0 - 8.1.27, 8.2.0 - 8.2.18, 8.3.0 - 8.3.4, 8.3.6
- <?hh $zero = $f ==> $x ==> $x; $one = $f ==> $x ==> $f($x); $two = $f ==> $x ==> $f($f($x)); $three = $f ==> $x ==> $f($f($f($x))); $five = $f ==> $x ==> $f($f($f($f($f($x))))); $true = $x ==> $y ==> $x; $false = $x ==> $y ==> $y; $if = $f ==> $f; $isZero = $f ==> ($f($x ==> $false))($true); $increment = $n ==> $f ==> $x ==> $f(($n($f))($x)); $decrement = $n ==> $f ==> $x ==> (($n($g ==> $h ==> $h($g($f))))($y ==> $x))($y ==> $y); $add = $m ==> $n ==> ($n($increment))($m); $subtract = $m ==> $n ==> ($n($decrement))($m); $multiply = $m ==> $n ==> ($n($add($m)))($zero); $power = $m ==> $n ==> ($n($multiply($m)))($one); $pair = $x ==> $y ==> $f ==> ($f($x))($y); $car = $p ==> $p($x ==> $y ==> $x); $cdr = $p ==> $p($x ==> $y ==> $y); $toNum = $f ==> ($f($x ==> $x + 1))(0); $toBool = $f ==> (($if($f))(true))(false); $toTextBool = $f ==> $toBool($f) ? 'true' : 'false'; echo $toTextBool($isZero($zero));
- Output for 8.3.5
- Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0 <?hh $zero = $f ==> $x ==> $x; $one = $f ==> $x ==> $f($x); $two = $f ==> $x ==> $f($f($x)); $three = $f ==> $x ==> $f($f($f($x))); $five = $f ==> $x ==> $f($f($f($f($f($x))))); $true = $x ==> $y ==> $x; $false = $x ==> $y ==> $y; $if = $f ==> $f; $isZero = $f ==> ($f($x ==> $false))($true); $increment = $n ==> $f ==> $x ==> $f(($n($f))($x)); $decrement = $n ==> $f ==> $x ==> (($n($g ==> $h ==> $h($g($f))))($y ==> $x))($y ==> $y); $add = $m ==> $n ==> ($n($increment))($m); $subtract = $m ==> $n ==> ($n($decrement))($m); $multiply = $m ==> $n ==> ($n($add($m)))($zero); $power = $m ==> $n ==> ($n($multiply($m)))($one); $pair = $x ==> $y ==> $f ==> ($f($x))($y); $car = $p ==> $p($x ==> $y ==> $x); $cdr = $p ==> $p($x ==> $y ==> $y); $toNum = $f ==> ($f($x ==> $x + 1))(0); $toBool = $f ==> (($if($f))(true))(false); $toTextBool = $f ==> $toBool($f) ? 'true' : 'false'; echo $toTextBool($isZero($zero));
- Output for 8.0.13
- Parse error: syntax error, unexpected variable "$zero" in /in/gLVSI on line 3
Process exited with code 255. - Output for 7.3.32 - 7.3.33, 7.4.33
- Parse error: syntax error, unexpected '$zero' (T_VARIABLE) in /in/gLVSI on line 3
Process exited with code 255.