<?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/sml.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/sml.xml</id><title type="html">Jake Zimmerman | Sml</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">Standard ML in Travis CI</title><link href="https://blog.jez.io/sml-travis-ci/" rel="alternate" type="text/html" title="Standard ML in Travis CI" /><published>2019-06-04T12:26:45-04:00</published><updated>2019-06-04T12:26:45-04:00</updated><id>https://blog.jez.io/sml-travis-ci</id><author><name>Jake Zimmerman</name></author><category term="sml" /><category term="bash" /><summary type="html"><![CDATA[For one of my recent projects I went through the work to get Standard ML building in Travis CI.]]></summary></entry><entry><title type="html">Concurrent Programming in ML: A Race</title><link href="https://blog.jez.io/cpml-race/" rel="alternate" type="text/html" title="Concurrent Programming in ML: A Race" /><published>2018-07-18T00:23:23-04:00</published><updated>2018-07-18T00:23:23-04:00</updated><id>https://blog.jez.io/cpml-race</id><author><name>Jake Zimmerman</name></author><category term="sml" /><category term="concurrency" /><summary type="html"><![CDATA[I want to call attention to what I think is a race condition in one of the code listings in the book "Concurrent Programming in ML". The problem is that some of the data isn't protected by a lock, which can lead to a stale read and incorrect behavior. I trace the bad behavior, and propose a fix.]]></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">SML Dev Setup</title><link href="https://blog.jez.io/sml-dev-setup/" rel="alternate" type="text/html" title="SML Dev Setup" /><published>2016-03-09T21:06:15-05:00</published><updated>2016-03-09T21:06:15-05:00</updated><id>https://blog.jez.io/sml-dev-setup</id><author><name>Jake Zimmerman</name></author><category term="vim" /><category term="osx" /><category term="sml" /><summary type="html"><![CDATA[Let's walk through a couple easy steps you can take to make developing SML feel more fluid, both in and out of your editor.]]></summary></entry></feed>