关于RGL中Ord类型兼容序数词与最高级及合并为Det的技术问询

在RGL中，Ord是用于表示序数词（单词或数字形式）或最高级形容词的类型，现有构造器如下：

mkOrd : Numeral -> Ord --生成“twenty-second”这类单词序数词
mkOrd : Digits -> Ord  --生成“22nd”这类数字序数词
mkOrd : A -> Ord       --生成“smallest”这类最高级形容词

但现有定义无法同时表示像“第二大城市”这类结合了序数词与最高级的表述。

针对这个需求，有两种可行的解决思路：

1. 扩展Ord类型的构造器 #

直接新增支持序数词+最高级组合的构造器，让Ord可以直接承载两种语义：

mkOrd : Numeral -> A -> Ord --对应“second largest”“twenty-second biggest”这类表述
mkOrd : Digits -> A -> Ord  --对应“2nd largest”“33rd smallest”这类表述

通过这类构造器，你可以直接将序数词（Numeral/Digits类型）和最高级形容词（A类型）组合成一个Ord实例，生成符合需求的短语，适配“第二大城市”这类场景。如果是中文环境，只需确保构造器生成的短语符合中文语序（序数在前、最高级形容词在后）即可。

2. 在语法树上层将两个Ord合并为单个Det #

如果不想改动原有Ord的类型体系，可以在Det（限定词）层面新增规则，接受两个Ord实例（一个表示序数、一个表示最高级）并合并为复合限定词：

mkDet : Ord -> Ord -> Det

• 语义层面：将序数的排序语义与最高级的比较语义结合，实现“第X最...”的限定逻辑；
• 句法层面：按照目标语言的语序拼接两个Ord成分（比如中文里序数在前、最高级在后），生成正确的短语结构。

这种方式的优势是兼容现有Ord的所有构造器，无需修改底层类型定义，仅通过上层规则扩展功能。

内容的提问来源于stack exchange，提问作者Michal Měchura