According to one of the comments on the link I posted:
“in section 6.2.1 of his ‘Sorting and Searching,’ Knuth points out while the first binary search was published in 1946, the first published binary search without bugs did not appear until 1962” (Programming Pearls 2nd edition, “Writing Correct Programs”, section 4.1, p. 34).
Besides, it’s not like higher-level languages are immune to subtle bugs, though in general they’re less susceptible to them.
edit: Also, if you’re working on something as crucial as FAI, can you trust the implementation of any existing higher-level language to be completely bug free? It seems to me you’d have to try to write and formally prove your own language, unless you could somehow come up with a sufficiently robust design that even serious bugs in the underlying implementation wouldn’t break it.
According to one of the comments on the link I posted:
“in section 6.2.1 of his ‘Sorting and Searching,’ Knuth points out while the first binary search was published in 1946, the first published binary search without bugs did not appear until 1962” (Programming Pearls 2nd edition, “Writing Correct Programs”, section 4.1, p. 34).
Besides, it’s not like higher-level languages are immune to subtle bugs, though in general they’re less susceptible to them.
edit: Also, if you’re working on something as crucial as FAI, can you trust the implementation of any existing higher-level language to be completely bug free? It seems to me you’d have to try to write and formally prove your own language, unless you could somehow come up with a sufficiently robust design that even serious bugs in the underlying implementation wouldn’t break it.