total functional programming

non-Turing-complete programming paradigm restricted to provably terminating programs

en-GB/ˈtəʊtl ˈfʌŋkʃənəl ˈpɹəʊɡɹæmɪŋ/
en-US/ˈtoʊtəl ˈfʌŋkʃənəl ˈpɹoʊɡˌɹæmɪŋ/

Κατηγορίες:

programming paradigmpurely functional programming