<?xml version="1.0" encoding="utf-8"?><feed xmlns="http://www.w3.org/2005/Atom" ><generator uri="https://jekyllrb.com/" version="4.3.3">Jekyll</generator><link href="https://blog.jez.io/feed/recitation.xml" rel="self" type="application/atom+xml" /><link href="https://blog.jez.io/" rel="alternate" type="text/html" /><updated>2026-01-21T18:17:55-05:00</updated><id>https://blog.jez.io/feed/recitation.xml</id><title type="html">Jake Zimmerman | Recitation</title><subtitle>A collection of blog posts about programming, software, types, programming languages, Sorbet, Vim, Markdown, and more.</subtitle><author><name>Jake Zimmerman</name></author><entry><title type="html">Notes on Continuations</title><link href="https://blog.jez.io/continuations-notes/" rel="alternate" type="text/html" title="Notes on Continuations" /><published>2019-06-18T21:03:13-04:00</published><updated>2019-06-18T21:03:13-04:00</updated><id>https://blog.jez.io/continuations-notes</id><author><name>Jake Zimmerman</name></author><category term="recitation" /><category term="plt" /><category term="types" /><summary type="html"><![CDATA[Some recitation notes on continuations from when I was a teaching assistant for 15-312 at CMU.]]></summary></entry><entry><title type="html">System Fω and Parameterization</title><link href="https://blog.jez.io/system-f-param/" rel="alternate" type="text/html" title="System Fω and Parameterization" /><published>2017-09-27T22:14:45-04:00</published><updated>2017-09-27T22:14:45-04:00</updated><id>https://blog.jez.io/system-f-param</id><author><name>Jake Zimmerman</name></author><category term="recitation" /><category term="sml" /><category term="plt" /><category term="types" /><summary type="html"><![CDATA[Some recitation-style notes on System F, polymorphism, and functions. I used to not know the difference between ∀(t.τ) and λ(u.c). Turns out, there's a huge difference!]]></summary></entry><entry><title type="html">Variables in Types</title><link href="https://blog.jez.io/variables-in-types/" rel="alternate" type="text/html" title="Variables in Types" /><published>2017-09-25T05:17:31-04:00</published><updated>2017-09-25T05:17:31-04:00</updated><id>https://blog.jez.io/variables-in-types</id><author><name>Jake Zimmerman</name></author><category term="recitation" /><category term="plt" /><category term="types" /><summary type="html"><![CDATA[Having variables in our type systems lends a great deal of power to languages using these type systems. We’re going to look at how variables are used in generic programming, inductive & coinductive types, and polymorphic types.]]></summary></entry><entry><title type="html">Recitation Notes</title><link href="https://blog.jez.io/recitation-notes-tag/" rel="alternate" type="text/html" title="Recitation Notes" /><published>2017-09-24T17:40:10-04:00</published><updated>2017-09-24T17:40:10-04:00</updated><id>https://blog.jez.io/recitation-notes-tag</id><author><name>Jake Zimmerman</name></author><category term="recitation" /><category term="meta" /><summary type="html"><![CDATA[Old habits die hard; I'm still pretending to be a teaching assistant even though I'm not anymore.]]></summary></entry></feed>