I suppose they're ideal for cases where there's a simple, obviously correct but slow implementation that you can use to test a more complex but faster implement

I suppose they're ideal for cases where there's a simple, obviously correct but slow implementation that you can use to test a more complex but faster implementation.