忍者ブログ

LAL 昭和な気まぐれ飛行機

LALのブログです。 http://eisl.kan-be.com/index.html

型推論実験版

×

[PR]上記の広告は3ヶ月以上新規記事投稿のないブログに表示されています。新しい記事を書く事で広告が消えます。

コメント

ただいまコメントを受けつけておりません。

型推論実験版

EISLをアップデートしました。型推論を追加、効率の良いコードを生成することを目的としています。また、副次的に型が矛盾しているコードにつき警告を発します。

型推論はまだまだ不完全であり竹内関数やアッカーマン関数のような単純な場合にしか対応できていません。


しかしながら、これらの計算ではSBCLの最適化されたものよりも、好成績を出すことがわかりました。ほぼC言語並みの速度を出しています。

詳細はQiitaに投稿してあります。
https://qiita.com/sym_num/items/136c802df8117c0df08e


PR

コメント

プロフィール

HN:
笹川
性別:
非公開

P R