包含标签：data-kinds 的文章
-
我可以教 GHC 数学归纳法吗？
我试图创建一个表示无限多种类型的元组的数据类型： {-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE QuantifiedConstraints #-}……啊Q 2022年8月16日
啊Q
2022年8月16日