Haskell: 開発ツールと汎用Hoogle
–
· Japan, 〒101-0041 Tokyo, Chiyoda City, Kanda Sudachō, 2-chōme−3−12 12 KANDA
Haskellの開発ツールにおける最近の進歩として、実行時の分析、デバッグ、プロファイリング環境の改善、特にGHCのアップデートについて説明します。また、カリー・ハワード同型対応を応用した、言語に依存しない型ベースのAPI検索エンジン「TypeSearch」についても紹介し、型付きプログラミング言語におけるコード合成への活用方法を解説します。
Learn More ↗