purescript - Purescript 中的新类型是否可能存在约束？

Question

是否可以对 Purescript 中的类型构造函数施加某些限制？例如:

newtype Name = Name String
   -- where length of String is > 5

Answer 1

正如在另一个答案中提到的，你需要一些更高级的类型系统才能像那样编码它，所以通常实现你想要的方法是为 newtype 提供一个“智能构造函数”然后不导出构造函数本身，这样人们将只能使用您想要的属性构造 newtype 的值:

module Names (runName, name) where

import Prelude
import Data.Maybe (Maybe(..))
import Data.String (length)

newtype Name = Name String

-- No way to pattern match when the constructor is not exported,
-- so need to provide something to extract the value too
runName :: Name -> String
runName (Name s) = s

name :: String -> Maybe Name
name s =
  if length s > 5
  then Just (Name s) 
  else Nothing