Кіріспе
Компьютерлік бағдарламалау тілдерінде мән қайтармайтын функциялар үшін қайтарым түрі. Void түрі – C және Algol68 тілдерінен тараған бірнеше бағдарламалау тілдерінде функцияның қалыпты түрде аяқталуын, бірақ шақырушыға нәтиже мәнін бермеуін білдіреді. Мұндай функциялар көбінесе жанама әсерлері үшін шақырылады, мысалы, белгілі бір тапсырманы орындау немесе шығыс параметрлеріне жазу. Мұндай жағдайда void түрін қолдану, Паскаль тіліндегі процедуралармен және Visual Basic тіліндегі кіші программаларды анықтайтын синтаксистік құрылымдармен салыстыруға болады. Бұл функционалдық бағдарламалау тілдерінде және типтер теориясында қолданылатын бірлік түріне де ұқсас. Қараңыз: Unit type#In programming languages. C және C++ тілдері void түріне нұсқаушыны (void * түрінде көрсетілген) де қолдайды, бірақ бұл басқа ұғым. Осы типтегі айнымалылар нақтыланбаған типтегі деректерге нұсқаушы болып табылады, сондықтан осы контексте (бірақ басқаларында емес) void * шамамен әмбебап немесе жоғары типке ұқсайды. Бағдарлама кез келген дерек типіне (функция нұсқаушысынан басқа) нұсқаушыны түрлендіріп, ақпаратты жоғалтпай бастапқы типіне қайта айналдыра алады, бұл осы нұсқаушыларды полиморфтық функциялар үшін пайдалы етеді. C тілінің стандарты әртүрлі нұсқаушы типтерінің бірдей өлшемге немесе сәйкестікке ие екендігіне кепілдік бермейді.
the void type in computer programming languages
The void type, in several programming languages derived from C and Algol68, is the return type of a function that returns normally, but does not provide a result value to its caller. Usually such functions are called for their side effects, such as performing some task or writing to their output parameters. The usage of the void type in such context is comparable to procedures in Pascal and syntactic constructs which define subroutines in Visual Basic. It is also similar to the unit type used in functional programming languages and type theory. See Unit type#In programming languages for a comparison. C and C++ also support the pointer to void type (specified as void *), but this is an unrelated notion. Variables of this type are pointers to data of an unspecified type, so in this context (but not the others) void * acts roughly like a universal or top type. A program can convert a pointer to any type of data (except a function pointer) to a pointer to void and back to the original type without losing information, which makes these pointers useful for polymorphic functions. The C language standard does not guarantee that the different pointer types have the same size or alignment.
Хаскел тілінде
C++-қа керісінше, функционалдық бағдарламалау тілі Haskell-де "void" түрі бос типті білдіреді, онда ешқандай элемент жоқ. "Void" түріне функция нәтиже қайтармайды, ал IO Void типтік қолтаңбасы бар жанама әсерлі бағдарлама тоқтамайды немесе қатемен аяқталады. Атап айтқанда, "void" түріне толыққанды функциялар болмайды.