tag:blogger.com,1999:blog-5888658295182480819.post4999132093476897202..comments2022-04-05T09:43:19.308-03:00Comments on Alaska Ataca a Kamtchatka: The elusive Binary SearchMatÃas Giovanninihttp://www.blogger.com/profile/17772004856076119446noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5888658295182480819.post-78707269968834018032010-05-05T13:23:10.715-03:002010-05-05T13:23:10.715-03:00Anonymous, OCaml defines Sys.max_array_size <&l...Anonymous, OCaml defines Sys.max_array_size << max_int. It is possible for integer arithmetic to overflow in OCaml (e.g., (max_int + max_int)/2 is -1), but never for the midpoint calculation with valid array indices.Chrishttps://www.blogger.com/profile/09497993096630160212noreply@blogger.comtag:blogger.com,1999:blog-5888658295182480819.post-86870431310318736462010-05-05T06:28:43.095-03:002010-05-05T06:28:43.095-03:00Could you be more specific on `the midpoint calcul...Could you be more specific on `the midpoint calculation cannot overflow in OCaml'?Anonymousnoreply@blogger.com