GitHub - wolfgangj/bone-lisp: The Bone Lisp programming languageYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Cyclone
Cyclone is a safe dialect of C. Cyclone is like C: it has pointers and pointer arithmetic, structs, arrays, goto, manual memory management, and C’s preprocessor and syntax. Cyclone adds features such as pattern matching, algebraic datatypes, exceptions, region-based memory management, and optional garbage collection. Cyclone is safe: pure Cyclone programs are not vulnerable to a wide class of bugs
Monadic Regions
Introduction Simple IO regions, in Haskell98 + existentials Lightweight monadic regions Heavy-weight implementation of region calculus Tracking dynamic values in types Hindley-Milner type generalization and region-based memory management Introduction Monadic Regions is a technique for managing resources such as memory areas, file handles, database connections, etc. It was introduced by Tofte and T
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
静的なメモリ管理の話。リージョン推論とλ計算からRustまで | κeenのHappy Hacκing Blog
Regions
