Haskellはダメだったので、今度はJavaScriptでやってみる。まず、関数iを定義する。 折り返して書いたけど、実際の構造はreturn f (function(x)...) (function(x)...); function i(f){ return f(function(x){return function(y){return function(z){return x…

本物のIotaはこれ。 http://ling.ucsd.edu/~barker/Iota/ これをHaskell上で再現してみる。まず、関数iを定義する。 i f = f (\x y z->x z (y z)) (\x y->x)テストしてみる。 iにiを適用すると恒等関数になるはずなのでi i 0は0を返すはず。 Main> i i 0 <interactive>:1:</interactive>…

<form onsubmit='foo();return false'>またはfoo()がfalseを返すようにしておいて <form onsubmit='return foo()'>ただし、foo()内でfalseを返しているだけではダメなので注意。関数内でのreturn falseとイベントハンドラ内のreturn falseはよく考えると別物ですね。 自分で作った関数のリターン値なんて、誰もみてくれないんで</form></form>…