Pre-Scheme
NewsProjectsReferencesRoadmapPre-Scheme is a statically typed dialect of the Scheme programming language, combining the flexibility of Scheme with the efficiency and low-level machine access of C. The compiler uses type inference, partial evaluation, and other correctness-preserving transformations to compile a subset of Scheme into C with no additional runtime overhead. This makes Pre-Scheme a vi
translate/Web/cs.likai.org/ats/ml-programmers-guide-to-ats.md at master · jats-ug/translate
ATSでは、3つの世界でプログラミングをすることを覚えておくと良いでしょう。 Dynamics(動的な世界): プログラムを実行した時に評価される部分です。これは既存のプログラミング言語に馴染んだプログラマにとってもっとも親しみ深い部分でしょう。 Proofs(証明の世界): 動的な特性を静的な特性に結びつけます。Proofs(証明)はプログラムの動的な部分と考えることができます。しかし証明はコンパイル後では消滅してしまい、実行時には存在しません。コンパイラはあなたが書いた証明を検査し、動作可能なコードを生成する前に削除するのです。 Statics(静的な世界): 型検査時にコンパイラによって評価される部分です。静的な部分では静的な式の評価は常に終了しなければなりません。そのため型検査は決定可能です。 ATSの前身であるDependent MLでは、静的な世界からは依存型を通して動的な世界
GitHub - carp-lang/Carp: A statically typed lisp, without a GC, for real-time applications.
We now have an official Discord server (invite) - future discussions about the language will most likely happen there, come join! WARNING! This is a research project and a lot of information here might become outdated and misleading without any explanation. Don't use it for anything important just yet! Version 0.5.5 of the language is out! Carp is a programming language designed to work well for i
Fail-Safe C: Top Page
Fail-Safe C は、メモリ安全性を保証する ANSI C 言語のフルスペックの実装です。 ANSI C 言語の仕様で定められた全てのメモリ操作（キャストや共用体を含む）に対し その安全性を保証し、全ての危険なメモリアクセスを事前に検知し防止します。 Fail-Safe C では、コンパイル時や実行時の様々な最適化手法を組み合わせる ことで、実行時検査のオーバーヘッドの削減を行っています。このコンパイラ を用いることでプログラマは、既存のプログラムを大幅に書き換えたり別の言 語に移植したりすることなく、そのままプログラムを安全に実行することがで きます。 詳細については次の文献もごらん下さい。 Yutaka Oiwa. Implementation of the Memory-safe Full ANSI-C Compiler. ACM SIGPLAN Conference on P
tgmath - 兼雑記
http://alohakun.blog7.fc2.com/blog-entry-624.html#comment 別に標準の範囲で実装できるんじゃないかなぁと思います。 #include <math.h> #include <complex.h> #define mysin(X) \ ((sizeof(X)==4) ? sinf(X) : \ (sizeof(X)==8) ? \ (sizeof(X*_Complex_I)==8) ? csinf(X) : sin(X) : \ (sizeof(X)==16) ? csin(X) : \ (sizeof(X)==12) ? sinl(X) : \ (sizeof(X)==24) ? csinl(X) : assert(0)); int main() { float f; double d; long double l; _Complex
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - google/zerocopy: Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
newtype in C, a touch of strong typing using compound literals. - Not A Number
