是否存在1≤x≤255的Int类型？Haskell编译期类型约束咨询

首先，Haskell标准库没有直接提供限定在1≤x≤255范围的Int类型，不过Word8（来自Data.Word）是0-255的无符号8位整数，如果你能接受包含0的范围，可以直接用它；但如果必须严格从1开始，就得自定义类型来实现约束。

接下来针对你的需求，提供两种实现方式：

一、编译期强制检查（依赖GHC扩展） #

通过GHC的类型级编程特性，在编译阶段就阻断超出范围的数值。需要启用几个扩展：DataKinds、TypeOperators、ConstraintKinds、GADTs。

{-# LANGUAGE DataKinds, TypeOperators, ConstraintKinds, GADTs #-}

import GHC.TypeLits
import Data.Proxy

data Color = B | W deriving Read

-- 定义类型级约束：数值必须在1到255之间
type Between1And255 n = (1 <= n, n <= 255)

-- 包装符合范围的自然数，类型参数对应具体数值
newtype LimitedInt (n :: Nat) = LimitedInt Int

-- 智能构造函数：只有当类型参数n符合范围时才能编译通过
mkLimitedInt :: (Between1And255 n, KnownNat n) => LimitedInt n
mkLimitedInt = LimitedInt $ fromIntegral $ natVal (Proxy :: Proxy n)

-- 定义带约束的Cell类型
data Cell where
    Cell :: Between1And255 n => Color -> LimitedInt n -> Cell

比如你尝试构造mkLimitedInt :: LimitedInt 0或者mkLimitedInt :: LimitedInt 256，编译器会直接报错，因为违反了Between1And255的约束。

二、运行时检查+构造器封装（更简单） #

如果不想依赖复杂的类型扩展，可以用新类型封装Int，只暴露经过范围检查的智能构造函数，用户无法直接构造超出范围的值（除非用unsafeCoerce，但那是故意绕过）。

data Color = B | W deriving Read

-- 隐藏构造器，只暴露智能构造函数
newtype LimitedInt = LimitedInt Int deriving (Show, Read)

-- 智能构造函数：返回Maybe表示是否成功创建
mkLimitedInt :: Int -> Maybe LimitedInt
mkLimitedInt x
    | x >= 1 && x <= 255 = Just (LimitedInt x)
    | otherwise = Nothing

-- Cell类型现在只能用合法的LimitedInt构造
type Cell = (Color, LimitedInt)

这种方式是运行时检查，但只要所有创建Cell的地方都通过mkLimitedInt来生成LimitedInt，就能保证不会出现超出范围的值，配合-Wall编译警告还能避免不小心直接构造。

内容的提问来源于stack exchange，提问作者F. Zer