関数型プログラミング向けに最適化されたプロセッサ

興味深いコンセプトは、EPRSC（英国物理科学技術会議）のエンジニアによって開発されました。 これは、関数型プログラミング、つまりXQuery、Scala、Haskell、LISP、F＃などのプログラミング言語向けに特に最適化されたReduceronマシンです。



このバージョンでは、Reduceronはクロック周波数96 MHzのFPGAタイプのプログラマブルチップに実装されていますが、特別なタスクでは高い並列性が特徴で、周波数が3 GHzのCore 2 Duoの25％のパフォーマンスを示しますが、通常の手続き型タスクではCore 2 Duoは1桁ですより高速なFPGA。 たとえば、Pentium 4 2.8 GHzと比較して、HaskellコードはReduceronでより高速に実行されます。



関数型プログラミングは、プログラムの状態を明示的に保存せずに、計算プロセスが後者の数学的な理解における関数の値の計算として扱われるプログラミングパラダイムです。 これは、一連の状態変化として計算プロセスを記述し、変数を操作する命令型（手続き型）プログラミングとは対照的です。



誰が知っているか、Reduceronのようなプロセッサーは、算術コプロセッサーがあったように、補助モジュールとしてPCにインストールできますか？