TopCoder で見つかったような問題文を読んで、それをラムダ計算表現に変換した場合、これを Haskell または Lisp コードに「変換」するのは簡単な演習ですか?
言い換えれば、ラムダ計算形式システムを使用して問題を解決し、関数型プログラミング言語で自明に実装できるでしょうか?
TopCoder で見つかったような問題文を読んで、それをラムダ計算表現に変換した場合、これを Haskell または Lisp コードに「変換」するのは簡単な演習ですか?
言い換えれば、ラムダ計算形式システムを使用して問題を解決し、関数型プログラミング言語で自明に実装できるでしょうか?
Haskell の構文は、ラムダ計算に非常に似ています。問題は、型指定されていないラムダ計算の一部の項が Haskell の型チェッカーによって受け入れられないことです。
好奇心から、一体誰がラムダ計算を使って TopCoder を解いたのでしょうか? それは非常に重要なことに聞こえます。o_O
それは難しい質問です。理論的には、そうです。実際には、一種の。一般に、定義された計算可能な関数は (プログラマーの努力の時間空間で) 効率的に実装できると思いますが、そうできるかどうかは、プログラミング言語と問題の数学に精通しているかどうかにかかっています。 . たとえば、ラムダ計算インタープリターを実装できると思います。自明化ラッパーに含まれるチューリングのモデルの例については、 ['Visual Automata Simulator]' 1を参照してください。