05/07/08 08:43:09
>>263
関数型言語は絶対に向いてないな。
ハードウェアって再起呼び出しできないし。
っていうか、HDL の類でも、レジスタ間の結線の仕方とかを記述する部分は
手続き型で書くのが一般的だし、実際それがベストだと思う。
ハードウェア記述する上で、手続き型言語に足りてない部分は、
モジュール記述の仕方と、ビット幅指定、並列化構文かな。
モジュールの記述はオブジェクト指向言語の、interface, class 的な構文、
ビット幅指定は C++ のテンプレートみたいな感じ、
（実際、↑の2つはSpecCとかではそういう文法になってるし）
並列化構文は、Cωの奴みたいなのがあって欲しいかも。
Cωの並列化構文は、↓の Cω Concurrency に概要説明あり。
URLﾘﾝｸ(research.microsoft.com)