馬氏 小禄殿内（ばうじ おろくどぅんち）は、唐名（カラナー）・馬良詮、（大）を元祖とする琉球王国の士族（首里士族）。五大姓（五大名門）の一つ、馬氏の大宗家（本家）。王国末期に小禄間切（現：那覇市（小禄地区））の総地頭を務めた琉球王国の名門氏族。
開発体制.
設計と特徴.
パラダイム.
言語実装手法においてのプログラミングパラダイムは特定の実装手法に限定されない非純粋なマルチパラダイムプログラミング言語である。文法の表面的な記述は手続き型プログラミング、ブロックコードのまとまりの意味論は関数型プログラミング、型システムを用いたオブジェクト構造はオブジェクト指向プログラミングのパラダイム特性を持つ。特定のプログラミングパラダイムのみを使用してソースコードを記述することはなく、要所々々の必要な所で必要なパラダイムを使用してソースコードを記述することになる。
その他のパラダイムとして、関数の入出力パラメータにジェネリック型を指定するジェネリックプログラミング、非同期機能を実現する並行計算のパラダイム特性を持つ。
基礎文法.
Hello World.
「Hello, world!」を標準出力に出力するHello worldプログラム。
階乗.
変数.
型システム.
型推論.
リソース管理.
所有権.
参照.
参照（）は「他者所有値の一時的な借り受け」を表現する値である。すなわち参照とは、値の所有権を元の所有者に置いたまま作成される、値へのアクセス扉である。参照を介して参照先の値を読み書きできる一方、参照を解放しても（所有権がないので）参照先の値は存在し続ける。参照は常に有効な参照先を指すと保証されている。参照を得ることを借用（）という。
ボローチェッカー.
既に解放されたリソースを指し続ける参照はバグを引き起こす（例: ダングリングポインタ）。もし静的にこれを検証できれば、オーバーヘッド無しに安全性を担保できる。また検証により不正な参照を避けられるため参照へのヌル代入が不要となり、ヌルポインタチェックを不要にできる。
特異なリソース型.
境界チェック.
ライフタイム.
ライフタイム（）はジェネリック型の一種で、リソースやそれらへの参照の生存期間を表す。