MiniAgda的ScopeChecker和TypeChecker是分离的，如何评价这种做法？

因为似乎这和不少其他的DT语言背道而驰。

预览: