PureScript新手遇类型匹配错误，求解决元组列表转换问题

错误原因分析 #

你遇到的Could not match kind Type -> Type with kind Type错误主要来自三个问题：

• 类型签名错误：getTheFirstInTuple的类型(List -> Tuple)完全不符合实际需求，Tuple是带类型参数的类型构造器（需要Tuple a b而非裸Tuple），且函数实际要处理的是元组列表，不是从List到Tuple的函数。
• 参数类型不匹配：你传入的toplevelDecisions是Map.Map类型，但unzip只能处理元组列表，需要先将Map转换为元组列表。
• 函数逻辑的不必要绕路：其实不需要用unzip再取fst，直接用map fst就能提取元组列表的所有首元素，更简洁高效。

修正后的代码 #

module Main where

import Prelude

import Data.Map as Map
import Data.List (map)
import Effect (Effect)
import Effect.Console (log)
import TryPureScript

data Item a = Left a

toplevelDecisions :: Map.Map String (Item String)
toplevelDecisions = Map.fromFoldable 
  [ Tuple "Notify Individuals" (Left "omitted")
  , Tuple "Assessment" (Left "omitted")
  ]

-- 正确的类型签名：接受元组列表，返回所有首元素组成的列表
getFirstElements :: List (Tuple a b) -> List a
getFirstElements = map fst

main = render <<< withConsole do
  -- 先将Map转为元组列表，再提取首元素列表
  log $ getFirstElements $ Map.toList toplevelDecisions

关键说明 #

1. Map转元组列表：使用Map.toList将Map k v转换为List (Tuple k v)，这是连接Map和列表操作的关键步骤。
2. 提取首元素：map fst遍历元组列表，对每个元组应用fst（取第一个元素），直接得到目标列表。如果你坚持想用unzip，也可以写成fst <<< unzip，效果完全一致，但map fst更直观。
3. 类型一致性：修正后的getFirstElements类型明确，编译器能正确推导所有类型，避免了类型不匹配错误。

运行修正后的代码，控制台会输出["Notify Individuals", "Assessment"]，完全符合你的需求。

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