如何將類型設置爲polyml中的函數參數？

Question

我想覆蓋ml的類型檢測，並希望參數被允許按照指定的類型。

Answer 1

做到這一點的方法是使用

Unsafe.cast 

，其類型爲'a -> 'b。

你永遠不應該使用這個 - 如果你認爲你需要，你可能應該考慮是否你想要做的是一個好主意。這被稱爲不安全的原因。