Page Index - seagull-kamome/Idris2 GitHub Wiki

26 page(s) in this GitHub Wiki:

• Home
• branches
• やってみたい事
• erase intToBool
• unboxing関係
• PrimOp呼び出し後のremoveReference除去
• Pluggable value type
• Value_Headerのサイズを節約
• よく使うサイズのオブジェクトをキャッシュしてフリーリスト割当する
• よく使う値を静的割当する
• 循環参照
• multi threading対応
• Cから外部schemeインタプリタにFFIできればコンパイラをRefCにコンパイルしてREPLも動くようにできるのでは？
• supportライブラリのドキュメント
• branches erase_trivial_constructors
• Please reload this page
• branches main
• Please reload this page
• branches refc sticky value
• Please reload this page
• branches sort_concase
• Please reload this page
• branches suppress_arglist_wrapper
• Please reload this page
• branches unbox_small_int
• Please reload this page