Haskell凯撒密码解密功能异常求助：代码报错原因排查

问题分析 #

你的代码存在三个核心问题：

• 命名冲突：shift函数名与encrypt、decrypt的参数名重复，导致函数调用时类型不匹配
• 字符数值运算错误：Haskell不允许Char与Int直接加减，需转换为ASCII码后操作
• 索引计算逻辑错误：未正确基于字符在自定义字母表中的位置计算偏移

修复后的代码 #

module CaesarCipher where

import Data.Char (fromEnum, toEnum)

-- 重命名移位函数避免冲突，同时修正运算逻辑
shiftChar :: Char -> Int -> Char
shiftChar ch n =
  let alphabet = ['a' .. 'z'] ++ ['A' .. 'Z'] ++ ['0' .. '9'] ++ [' ']
      wrapAround = length alphabet
  in if elem ch alphabet
     then let -- 获取字符在字母表中的初始索引
              idx = fromEnum ch - fromEnum (head alphabet)
              -- 计算偏移后的索引，取模实现循环
              newIdx = (idx + n) `mod` wrapAround
          in toEnum (fromEnum (head alphabet) + newIdx)
     else ch

encrypt :: String -> Int -> String
-- 使用重命名后的shiftChar，避免参数名冲突
encrypt text n = map (\ch -> shiftChar ch n) text

decrypt :: String -> Int -> String
-- 解密只需传入负的移位值
decrypt text n = encrypt text (-n)

关键修复点说明 #

1. 重命名函数：将原shift函数改为shiftChar，避免与encrypt、decrypt的参数n（原shift）冲突，解决类型不匹配问题。
2. 字符与数值转换：用fromEnum将字符转为对应的ASCII整数，运算完成后用toEnum转回字符，符合Haskell类型系统要求。
3. 修正索引计算：先计算字符在自定义字母表中的初始索引，加上移位值后取模字母表长度，确保循环移位正确。
4. 简化解密逻辑：解密本质是加密的逆操作，直接调用encrypt并传入负的移位值即可，无需重复写map逻辑。

内容的提问来源于stack exchange，提问作者just coding