Data types | Type theory

Void type

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 probably 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. (Wikipedia).

Video thumbnail

Void Pointers! C Tutorial 18

What void* type is and how it's used.

From playlist C Tutorial

Video thumbnail

The Loneliest Galaxy in the Universe - Void Galaxies and How They Form

You can buy Universe Sandbox 2 here: http://amzn.to/2yJqwU6 Or get a shirt: https://teespring.com/stores/whatdamath Hello and welcome! My name is Anton and in this never before seen video we will talk about the loneliest galaxy in the universe - mcg+01-02-015. I found this video in one

From playlist Galaxies, Quasars, Blazars

Video thumbnail

Null space of a matrix example

In today's lecture I work through an example to show you a well-known pitfall when it comes to the null space of a matrix. In the example I show you how to create the special cases and how to use them to represent the null space. There is also a quick look at the NullSpace function in Ma

From playlist Introducing linear algebra

Video thumbnail

Dark Energy: The Void Filler

Dark Energy: The Void Filler Join Squarespace today FOR FREE: https://www.squarespace.com/aperture Join the community Discord!: https://discord.gg/XjSEXMS Dark Energy is one of my favorite topics to ponder. I decided to focus here on understanding the fundamentals behind some of the leadi

From playlist Science & Technology 🚀

Video thumbnail

Empty Graph, Trivial Graph, and the Null Graph | Graph Theory

Whenever we talk about something that is defined by sets, it is important to consider the empty set and how it fits into the definition. In graph theory, empty sets in the definition of a particular graph can bring on three types/categories of graphs. The empty graphs, the trivial graph, a

From playlist Graph Theory

Video thumbnail

Category Theory 2.2: Monomorphisms, simple types

Monomorphisms, simple types.

From playlist Category Theory

Video thumbnail

LESSON 33: Understanding Arduino Local and Global Variables

You guys can help me out over at Patreon, and that will keep this high quality content coming: https://www.patreon.com/PaulMcWhorter In Lesson 32 we learned how to break complicated tasks into simple chunks of code called Functions. Once we start using functions, we need to understand th

From playlist Arduino Lessons

Video thumbnail

Lecture 5 | Programming Paradigms (Stanford)

Lecture by Professor Jerry Cain for Programming Paradigms (CS107) in the Stanford University Computer Science department. In this lecture, Prof. Cain focuses on linear search and stack within the C programming language. Programming Paradigms (CS107) introduces several programming langu

From playlist Lecture Collection | Programming Paradigms

Video thumbnail

Void Linux: First Impressions

Today I talk about my first impressions of Void Linux. 👇 PULL IT DOWN FOR THE GOOD STUFF 👇 Patreon - https://patreon.com/thelinuxcast Liberapay - https://liberapay.com/thelinuxcast/ Youtube - https://www.youtube.com/channel/UCylGUf9BvQooEFjgdNudoQg/join ===== Follow us 🐧🐧 ====== Discord

From playlist First Impressions

Video thumbnail

The C programming language (unit 2) - 3 of 5 (old version; watch new version instead)

A continuation of discussing the C programming language. This unit goes more into depths on pointers and arrays. Visit http://codeschool.org

From playlist The C language (unit 2)

Video thumbnail

Lecture 4 | Programming Paradigms (Stanford)

Lecture by Professor Jerry Cain for Programming Paradigms (CS107) in the Stanford University Computer Science department. In this lecture, Prof. Cain discusses C and C++ programming, including bit patterns, memory copy, and linear search. Programming Paradigms (CS107) introduces severa

From playlist Lecture Collection | Programming Paradigms

Video thumbnail

Lecture 6 | Programming Paradigms (Stanford)

Help us caption and translate this video on Amara.org: http://www.amara.org/en/v/BHhE/ Lecture by Professor Jerry Cain for Programming Paradigms (CS107) in the Stanford University Computer Science department. In this lecture, Prof. Cain discusses C language programming by focusing on dif

From playlist Lecture Collection | Programming Paradigms

Video thumbnail

C Programming: Function Pointers and qsort

In this video I will show you the basics of function pointers in C. They are useful for passing a function as a parameter into another function such as qsort.

From playlist C Programming

Video thumbnail

Category Theory 1.2: What is a category?

What is a Category?

From playlist Category Theory

Video thumbnail

Data Types

This is CS50

From playlist CS50 Sections 2015

Related pages

Bottom type | Top type | Type conversion | Polymorphism (computer science) | Pointer (computer programming) | Unit type