<p>This episode reviews some of the applications of GADTs we have discussed so far, and discusses an example where we want to write a function that consumes a number of inputs that is controlled by an argument to the function.  </p>

This episode reviews some of the applications of GADTs we have discussed so far, and discusses an example where we want to write a function that consumes a number of inputs that is controlled by an argument to the function.

<p>This episode reviews some of the applications of GADTs we have discussed so far, and discusses an example where we want to write a function that consumes a number of inputs that is controlled by an argument to the function.&nbsp;&nbsp;</p>

GADTs for programming with representations of types

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

Share GADTs for programming with representations of types

Sign up to save your podcasts

GADTs for programming with representations of types

GADTs for programming with representations of types