Challenge: implement binary search. Do not use library functions. Do not write or run tests, not even manually. Asking the compiler for correctness is allowed, but nothing more. Not even looking up pseudocode for binarysearch.

Can you do it?



And.... It doesn't work because the top-level index isn't tracked down into the recursion.

Sign in to participate in the conversation
Mastodon for Tech Folks

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!