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

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

Functional encodings turning the world inside out

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Functional encodings turning the world inside out

Sign up to save your podcasts

Functional encodings turning the world inside out

Functional encodings turning the world inside out