From your link:
"...I actually had no idea how the function worked. I simply wrote a function that matched the required type."
I guess everybody have done that. But releasing it without testing... I'm just impressed, in both a good and a bad way.
"...I actually had no idea how the function worked. I simply wrote a function that matched the required type."
I guess everybody have done that. But releasing it without testing... I'm just impressed, in both a good and a bad way.
So, it's a gamble---do there exist any other non-trivial programs at this type?
If not, then I know my code written is correct without testing.
If there are, then I'm risking that I found the right one.
This is why Haskellers get so excited about "parametricity". It's the core tool that exacts this property of "there are only a small number of programs which could ever exist at this type" which drives correctness.