在SML中進行類型轉換

Question

我是SML的新手，正在使用SMLNJ方言。

出於某種目的，我一直試圖強調3到3.0（int爲真實）。

找不到出路。我怎樣才能做到這一點？我怎樣才能在類型之間轉換？

Answer 1

您可以使用功能real（或Real.fromInt）將int轉換爲real。

有關更多信息，請參閱頂級環境here中的可用功能列表以及基礎庫here的概述。

Answer 2

SML沒有類型轉換。類型之間的任何映射都需要通過函數完成。

real(3)的外觀和行爲非常像C風格的類型轉換，但real: int -> real只是標準基礎中的另一個功能。另一方面，int(3.0)不起作用，因爲int函數不存在。

通常，當您需要在類型之間進行轉換時，您只需挖掘該庫以獲取適當的功能。在real -> int的情況下，只需在top level environment中搜索「real - > int」即可得到round,trunc,floor和ceil。