如何根據參數的類型使用函數？

Question

我使用的是Haskell和OpenGL。 OpenGL的有一個方式來加載變量使用一組統一功能：

glUniform1i location intValue 
glUniform1f location floatValue 
glUniform2i location intValue1 intValue2 
... etc. 

我想翻譯成更地道哈斯克爾這一點。我想編寫一個函數：

uniform :: String -> a -> IO() 
uniform location value = ... 

我的問題是，我所說的功能是依賴於a值。有沒有辦法做到這一點，而不寫n不同的功能？定義這樣的功能

Answer 1

的一種方式是定義新的type class像：

class GlUniformable a where 
    uniform:: String -> a -> IO() 

每個實例可以具有定義像

instance GlUniformable Int where 
    uniform location value = ... 

其中value將由編譯器被理解爲Int類型的參數