更新说明： 2017-02-04（yaya） Ls command: Empty Folder returns false. 2016-12-08（yaya） 修正lz4、vhd不显示解压缩进度指示。增加lzma解压缩进度指示。 2016-11-09（不点） 0x8205 bit 5 = 1: 使checkkey闲置循环停止指令。 2016-04-13（yaya） 支持动画菜单 setmenu --graphic-entry=类型=菜单行数=菜单列数=图形宽(像素)=图形高(像素)=菜单行间距

类型集 奉献精神 障碍不必阻止您。 如果碰到墙，不要转身放弃。 弄清楚如何攀爬，穿过它或围绕它工作。 -Michael Jordan，关于Haskell的复杂性分析 概述 您讨厌在类型级别上编程，但是只能使用列表吗？ 一百万？ 两百万？ 一些数学家怀疑，仇恨可能更大。 输入type-sets 。 它们是在类型级别设置的！ 检查一下： {-# OPTIONS_GHC -fplugin=Type.Compare.Plugin #-} import Type.Set type MySet = I