One strategy of Holocene climatic changes research is the select of key area to different time resolution.

全新世气候变化研究的策略之一就是不同时间分辨率的关键地点的选择。

The type safety allowed compile-time resolution of some things that C-style libraries resolve at run-time, thus giving excellent performance.

类型安全允许一些原本在C风格库中需要在运行时决定的事，可在编译时决定，因而提供了非凡的性能。