Hel*_*hne 5 conditional-compilation agda
如何针对标准库的多个版本编写Agda代码？
例如Data.Maybe.IsJust,重命名为Data.Maybe.Is-just.同样地Data.Fin.Props转向Data.Fin.Properties.遗憾的是,投入很少的工作来保持向后兼容性,因此即使针对相邻版本也很难实现.像运行cpp作为预处理器这样的常规选项是不方便的,因为它们打破了emacs agda2-mode.
| 归档时间： |
|
| 查看次数： |
95 次 |
| 最近记录： |