←back to thread

What is going on right now?

(catskull.net)
378 points todsacerdoti | 1 comments | 22 Aug 25 07:08 UTC | HN request time: 0s | source
Show context
mensetmanusman ◴[22 Aug 25 13:18 UTC] No.44984308[source]▶
Not being a programmer, I have a question.

Can any program be broken down into functions and functions of functions that have inputs and outputs so that they can be verified if they are working?

replies(13): >>44984336 #>>44984354 #>>44984459 #>>44984510 #>>44984549 #>>44984555 #>>44984562 #>>44984865 #>>44984968 #>>44985022 #>>44986774 #>>44988388 #>>45001896 #
1. Disposal8433 ◴[24 Aug 25 06:36 UTC] No.45001896[source]▶
The real answer is no. You either have to use mathematical verifications with very specific tools (way too hard to use), or use languages that have this built-in (like Ada) but it hasn't been trendy for the past 40 years and people prefer dynamic languages (like JavaScript) where you can do anything without caring about quality.