如何消除Haskell中输出类型不同的相同GUI函数的代码重复？

嘿，这个场景在Haskell开发里太常见啦——当你有逻辑完全一致但返回类型不同的函数时，我们可以通过多态抽象或者类型类来抽离公共逻辑，彻底干掉重复代码。

针对你给出的getWidgetSize函数，我给你两种实用的解决方案：

方案1：利用多态函数 + 标准类型约束 #

最直接的方式是把函数改成多态的，借助fromIntegral的类型约束来支持不同的数值返回类型。你的核心逻辑是获取控件的宽高（都是Int类型），然后转换为目标类型返回，所以我们可以把返回的宽高类型设为满足Num约束的任意类型：

getWidgetSize :: (Num w, Num h) 
              => Gtk.DrawingArea 
              -> Render (w, h)
getWidgetSize widget = do
    width <- Gtk.widgetGetAllocatedWidth widget
    height <- Gtk.widgetGetAllocatedHeight widget
    return (fromIntegral width, fromIntegral height)

怎么用？ #

• 当你需要Render (Int, Int)时，直接调用就行，Haskell的类型推断会自动匹配：

  sizeInt <- getWidgetSize drawingArea  -- 类型是Render (Int, Int)
  

• 当你需要其他数值类型（比如Double），可以显式指定类型或者让上下文推断：

  sizeDouble <- getWidgetSize drawingArea :: Render (Double, Double)
  

这个方案简洁高效，适合大多数简单的数值转换场景。

方案2：自定义类型类（更灵活的扩展） #

如果以后你需要支持更复杂的返回类型（比如自定义的尺寸类型），或者需要自定义转换逻辑，那么类型类会是更好的选择。我们可以抽象一个“可从控件尺寸转换而来”的类型类：

-- 定义类型类，抽象从Int到目标类型的转换
class WidgetDimension a where
    fromWidgetInt :: Int -> a

-- 为Int实现实例（直接返回原数值）
instance WidgetDimension Int where
    fromWidgetInt = id

-- 为Double实现实例（用fromIntegral转换）
instance WidgetDimension Double where
    fromWidgetInt = fromIntegral

-- 通用的getWidgetSize函数
getWidgetSize :: (WidgetDimension w, WidgetDimension h)
              => Gtk.DrawingArea 
              -> Render (w, h)
getWidgetSize widget = do
    width <- Gtk.widgetGetAllocatedWidth widget
    height <- Gtk.widgetGetAllocatedHeight widget
    return (fromWidgetInt width, fromWidgetInt height)

扩展新类型 #

比如以后你需要支持Float类型，只需要加一个实例就行：

instance WidgetDimension Float where
    fromWidgetInt = fromIntegral

这种方式的优势在于扩展性极强，不管以后需要什么类型，只需要新增类型类实例，完全不用修改核心的尺寸获取逻辑。

总结一下：如果只是简单的数值类型转换，方案1足够用；如果需要更灵活的扩展或者自定义转换规则，方案2是更好的选择。

内容的提问来源于stack exchange，提问作者ruby_object