很想皮一下，移植 Haskell 式 newtype 我们也弄一个 NewType 式的读写，语言内部的类型概念只用于区分，可是那不是很工程。

OneItem 吧。

可是那样不能使用 companion object, 虽然我承认这本身就是一种略带滥用的方法

好像不行，算了……

感谢 CSDN 用户【初级程序员虾饺】的博文，unsigned extension 终于写对了…… 我对补码什么的机器数值表现形式不是很了解

我和 duangsuse 考虑再三，决定 Contextual 不能替代专门的 Pattern<Cnt>.sizedByteArray()。

从根本上解决了 array, repeat, bytes『三要素』的混乱

开玩笑的，我就是 duangsuse。

说起来，要是想让 bin.pat.Pattern 架构支持静态长度写入，还得专门再加一个计算长度的操作，这样必须修改所有 Pattern 实现。

其实我没太大办法解决 Repeat(sizer, item); array(init, sizer); sizer.sizedByteArray 不对称的问题

我太难了，虽然『重写』毁掉过许多项目，我觉得它真的需要重写…… 可能需要更好的模块化吧。

我清理了一下代码，顺便删除了一些没用到并且令人困惑或者容易被滥用的定义

我不知道这么多文件该何去何从，怕是我已经开始沉迷于『大国梦』了，但要知道一个东西刻意做复杂，也就只有满足自己虚荣心的效果而已……

好多了，但是却觉得有点怪怪的

基本没问题了，就是本身就有点复杂的…… 再来只能用子项目了

我不得不承认，虽然没有一点可以简化的地方，但这简直是噩梦。当然我不是说别人写的就不噩梦了，但我写的会更显示出机械化的地方。

其实也不是没优化可能，ConstantInfo 现在更类似于一个 union 结构体，我可以把它弄成 tagged union（这里就是面向对象子类型啦）的形式

可以了。

其实 Cond 的读写也可以用反射来实现，但我担心反射会比较麻烦，那样不需要 pair