Actually, your reimplementation can be identical to the original, in a language like ATS, as demonstrated by the article in question. This is one of the things

Actually, your reimplementation can be identical to the original, in a language like ATS, as demonstrated by the article in question. This is one of the things I find very compelling about ATS.