Functional encodings turning the world inside out episode artwork

EPISODE · Feb 11, 2020 · 8 MIN

Functional encodings turning the world inside out

from Iowa Type Theory Commute · host Aaron Stump

Functional encodings take programming language features like pattern-matching and recursion and move them from outside of data to inside of data.

Episode metadata supplied by the publisher feed · Published Feb 11, 2020

Embed this episode

NOW PLAYING

Functional encodings turning the world inside out

0:00 8:36

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

No similar episodes found.

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Iowa Type Theory Commute?

This episode is 8 minutes long.

When was this Iowa Type Theory Commute episode published?

This episode was published on February 11, 2020.

Can I download this Iowa Type Theory Commute episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.
URL copied to clipboard!