3 ms·
Who said anything about termination? The original point was about composition. The guarantees of the component parts are the same as the composition. It's neit
by louthy 3y ago
Who said anything about termination? The original point was about composition. The guarantees of the component parts are the same as the composition. It's neither clear that f or g will terminate, and it's the same for f . g
If the halting problem is really your biggest concern when developing software then you're lucky!