JATS-UG - Japan ATS User Group
ATSは何に向いているのか ATSは現実的なプログラミングの正確さを強化できます。 ATSは改良に基づくソフトウェア開発を促進します。 ATSでは効率的な関数型プログラミングをすることができます。 にもかかわらず生のアンボックス化されたデータ表現を直接操作できます。 ATSの線形型を使うことでプログラムのメモリのフットプリントを削減できます。 ATSでは証明器を使うことでプログラマがプログラムの安全性と効率を向上させることができます。 ATSを使えばOSのkernelのような低レイヤーのコードを安全に書くことができます。 ATSは型理論を教えたり、高品質なソフトウェアを構築する際の型の力と可能性を教えるのを助けます。 ATSの学習に際しての提案 ATSは (C++のように) 機能豊富です。 MLをベースにした関数型プログラミングとC言語をベースにした命令型プログラミングの知識はATSの学習
Io 文書 (Io Docs)
Translated by kizz, 2004 この文書はプログラミング言語 Io の言語資料 Io Documentationの非公式で不完全な日本語訳です。 迷訳・誤訳が大量に混じっているものと思われます。内容の保証はご勘弁を。 翻訳物の著作権について疎いのですが、そういうことが問題になるときは原文と同じライセンスということでお願いします。 誤訳の指摘は歓迎したいのですが、現在訳者への確実なアクセス手段がありません。 訳に自信がないので、殆どの部分に灰色で原文が残してあります。 そのため原文とデザインが違います。というかレイアウトは殆ど wxWidgets の資料の翻訳を参考にしています。 灰色の日本語部分、及び二重括弧 (()) 内は訳注です。 動作の確認している箇所があれば、それは 2004-08-01 版で行っています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ロベールのＣ＋＋教室
io - about
