有一個通用的功能LanguagePrimitives.DivideByInt通過int不失一般性的行爲來劃分,我們可以用這樣的: let inline Divideby2 n = LanguagePrimitives.DivideByInt n 2
val inline Divideby2 :
^a -> ^a when ^a : (static member DivideByInt
在下面的示例中,我需要提取一些值。我有一個高效的提取器,可以與內置類型一起工作,以及一個低效的模板,可以處理所有事情。要在這些之間進行選擇,我想使用Function Overloading Based on Arbitrary Properties of Types。這裏是我的代碼: #include <string>
#include <iostream>
class extractor
我有一個函數,它有類型Read a => String -> a,是否有可能有另一個功能具有相同的名稱,做不同的事情a是例如String?是否有任何GHC擴展允許這樣做? 喜歡的東西: f :: Read a => String -> a
f = read
f :: String -> String
f = id