啊啊啊啊啊啊啊啊, 其实我不晓得到底该取什么名字, type-challenge? 还是 type-exercise? 可是好像也没有想出好多好多题的意思!
叫 type-gymnastics? 英文里面的类型体操也这样叫的吗? 可 gymnastics 这个词好不直观简单的感觉!
所以还是叫作 typed-magic 吧, 意味着类型化的魔法, 将魔法寄宿于类型系统之中

赋予了这么一个笨蛋中二的意义的我好像是有那么一点中二笨蛋的感觉?
该死, 你为什么要这么纠结名字啊喂!!!

言归正传, 以下是目录, 随缘更新, 随时鸽子, 使命不达 (bushi)
说是类型体操, 其实也没有那么类型体操啦, 仅仅是些比较常见比较有趣的东西而已