monomorphic

monomorphicは、分野によって異なる専門的な意味を持ちますが、共通して単一の形態や型を持つという核心的な概念を含んでいます。生物学では、個体群内の差異のなさを指し、コンピューターサイエンスでは型の制約を指します。

生物学における形態的意味

生物学の文脈では、主に二つの意味で使われます。一つは、同じ種のオスとメス、あるいは異なる個体群の間で外見上の区別がつかない状態を指します。これは dimorphic（二型の）の対義語です。もう一つは、昆虫などのライフサイクルにおいて、幼虫から成虫への劇的な変態がなく、生涯を通じてほぼ同じ形態を維持することを指します。

例：雌雄に形態的な差がない種を monomorphic と呼びます。

コンピューターサイエンスにおける型理論

プログラミング言語や型理論においては、関数や変数が特定の単一のデータ型にのみ紐付いている状態を指します。これは、複数の異なる型を柔軟に扱える polymorphic（多型の）とは対照的な概念です。monomorphic な関数は、あらかじめ定義された特定の型（例えば整数型のみ）しか受け取ることができず、汎用性は低いものの、動作が予測しやすく最適化しやすいという特性があります。

例：特定の型に固定された関数は monomorphic な関数と呼ばれます。