Making #Haskell run fast: the many faces of reverse
Perhaps this is a stupid way of looking at it, but everything gets compiled to assembly code, where it seems there is only one way of reversing an immutable linked list in linear time, so maybe it's inevitable reverse' and reverse'' end up equivalent 🤔
Sure, but it may still seem a stretch that both optimize as far as that!
Yeah, it is pretty interesting they're the exact same at the Core level!
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !