はじめに

このプロジェクトは鋭意開発中であり、現状ではHello Worldのコードすらコンパイルできません。

概要

redy は、高いパフォーマンスと堅牢なメモリ安全性の両立を目指す新しいプログラミング言語です。

豊富な計算資源がある時代に忘れられがちな、計算量の削減、メモリ効率の向上、コンパイル後のバイナリサイズの最小化など、真のパフォーマンスを重視しています。

ほとんどの機能はまだ実装されていませんが、ロジックの設計自体はすべて完了しています。

redyは、Rustにインスパイアされた所有権システムを採用しています。すべてのヒープメモリはスコープを抜けると自動的に解放され、メモリリークを完全に防ぎます。

潜在的な不正なメモリアクセスはすべてコンパイル時に検出されるため、ランタイムのオーバーヘッドはありません。セグメンテーション違反とはもうお別れです！

境界チェックなどのランタイムコストは、さまざまなコンパイル時解析手法によって最小限に抑えられ、最高のパフォーマンスを実現します。

コンパイラは、Rustよりも柔軟でありながら安全性を保つ 非語彙的制約ベースライフタイムチェッカー(NLCBL)を使用します。変数のライフタイムの関係が直感的な場合、コンパイラはほとんどの場合、明示的なアノテーションを必要とせずに推論できます。

redyをインストールする方法は2つあります。 1. ビルド済みのバイナリをインストールする（推奨）。 2. ソースコードからビルドする。

詳細な手順については、インストールガイドを参照してください。

redyのソースファイルには拡張子として.ryを使用します。まず空のディレクトリとその中にmain.ryというファイルを作成し、それを適当なテキストエディタで開きましょう

さあこれで準備はできました、Hello Worldに進んで、初めてのプログラムを書いてみましょう!