1
क्या किसी फ़ंक्शन के मेमोरी उपयोग जैसे गुणों को एक भरोसेमंद रूप से टाइप की गई भाषा में व्यक्त किया जा सकता है?
मान लीजिए कि कोई समग्रता और कार्यात्मक शुद्धता जैसी चीजों से परे कोड के गुणों के बारे में तर्क करना चाहता है - किसी को किसी फ़ंक्शन की मेमोरी खपत, या एल्गोरिथम जटिलता की भी परवाह है। क्या यह निर्भर टाइपिंग और प्रभाव प्रणालियों के माध्यम से किया जा सकता …