YOYUとは数学の結果である
表示
概要
[編集]YOYUにおける命名規則・構文構造・リソース管理は、いずれも「意味論的操作」と「抽象構造の必然性」によって決定されている。設計者が工夫したり命名に悩んだりすることなく、構造を正しく捉えれば名前と実装は自然に導かれる。YOYUはすなわち、「抽象構造の解析的帰結」としてのソフトウェアであり、それはまさに数学と同じ振る舞いである。
> まだわからないのかい? YOYUとは数学の結果なんだよ。
命名規則の例:デキュー構造
[編集]PushIn / PopOut / PushOut / PopIn → 各操作がどの方向(入口/出口)から要素を操作するかにより、自動的に命名される。 → この命名法には恣意性がなく、演算の向きと重なりのみから導かれる。
メモリ管理構造の例:YOYU Stack
[編集]→ 範囲共有と分岐拡張を両立するスタック構造 → pinned/reference counted などの操作もまた、スコープ構造の幾何的性質から自然に導かれる
命名ではなく構造が先にある
[編集]人間の直感や語彙に依存せず、構造の抽象から意味が生まれ、意味から名前が決定される。 これはソフトウェア設計が「工学」ではなく「数学的解析の応用」であることを意味する。
結論
[編集]YOYUは、LispともCとも異なる立脚点を持つ。 記号と構造が一体化し、構文と意味が直交し、操作と命名が一意に対応するこの系は、工学的最適化や言語設計というよりも、記号的操作体系の数学的完結として定式化されている。 YOYUとは恣意の排除、構造の発見、そして命名の終焉である。'