関数型言語で高位合成をがすでにプロダクトになっていた。 まずはこのPDF見て欲しい。 Future Programming of FPGAs 英語だけど、10ページくらいしかないから大丈夫。 40年前の話を持ち出して、ソフトウェアの世界では、FortranとCは成功したけどLisp/Prologは失敗したよね。 でもハードウェアの世界は違うよ。C/C++/Javaが失敗して、Bluespecが成功するよ。からプレゼンは始まる。 最後は、ソフトウェアの歴史から学んだ教訓を忘れるな!で終わる。 cf. why Fortran and C succeeded cf. why Lisp/Prolog/Functional Languages (mostly) failed cf. why automatic parallelization (mostly) failed トレーニングの資料も公開さ