（れいじーけー）は組み込み関数が3つしかない、純粋関数型言語である。似た言語として、同じような表記をする、非純粋関数型言語であるがある。純粋関数型言語として、チューリング完全でありながら、絶対必要なエッセンスだけを抜き出したプログラミング言語である。純粋関数型言語なので、遅延評価を行う。使用するにも、処理系を実装するにも、コンビネータ論理の知識が必要である。標準入力をプログラムである関数の引数として受け取る。ただし、標準入力は1バイトごとのチャーチ数のスコットエンコードされたリストとしてエンコードされ、出力も同様に1バイトごとのチャーチ数のスコットエンコードされたリストとなる。 の表記法を用いる。なお、codice_4 は codice_5 と codice_6 を用いて codice_7 と表せる。ソースコードの表記方法として、4種類用意されている。それらを混在させてコーディングすることができる。

出典:wikipedia