取消装箱:通过背包尝试未上课的课程 源码
拆箱 这是一个小程序包,探讨如何重载Prelude类型类以在多个RuntimeRep上工作。 最终结果是使用足够的扩展名(包括NoImplicitPrelude和RebindableSyntax ,导入Unlifted.Prelude将允许您在任何TYPE r使用Eq , Ord , Num等,而不仅仅是TYPE 'LiftedRep 。 这允许在未提升的类型(例如Int#或Float#使用数字文字(例如3)。 如果您使用Type类型的类型,则此包将委派给普通的Prelude实例,因此您不必提供重复的定义。 除了重载类之外,还提供了一些有限的数据类型。 尤其是提升或未装箱价值列表以及提升或未提升价值的Maybes清单。 当GHC 9.2着陆时,希望能够支持拆箱数据类型,然后应该有可能取消清单。 允许这样做的关键操作是Unlifted.Levitation Lev 。 通过观察核心中
文件列表
unboxed-main.zip
(预估有个62文件)
unboxed-main
internal
AddrRep.hs
85B
NilReps.hs
149B
WordRep.hs
85B
Word8Rep.hs
87B
LiftedRep.hs
89B
Word16Rep.hs
89B
Int8Rep.hs
85B
Int64Rep.hs
87B
暂无评论