|
|
|
|
|
|
by seanhunter
242 days ago
|
|
|
Totally agree. In addition, one of his examples (Mars Pathfinder) has absolutely nothing to do with functional programming or simplifying assumptions of any kind. The mars pathfinder problem was caused by a priority inversion on a mutex - exactly the sort of thing that all programmers rightly consider hard and that things like software transactional memory in FP would prevent. Here’s the famous email “What Really Happened on Mars?” which was written by the a pathfinder software engineer and explains the issue https://dataverse.jpl.nasa.gov/dataset.xhtml?persistentId=hd... Even by the standards of substack TFA is an extraordinarily poor blogpost. |
|
|