length is implemented in constant time in the ATerm library. In Stratego, it’s a fold over the list. This is cute, but for such a common strategy, this is way too expensive. Implementation in native code will save a lot of time.

Submitted on 22 May 2006 at 03:26