I'm not surprised - maybe it's just too early. I assume you're talking about undergrads. I didn't get interested in type theory until I'd been a programmer for

I'm not surprised - maybe it's just too early. I assume you're talking about undergrads. I didn't get interested in type theory until I'd been a programmer for many years. I think a few students will be immediately drawn to stuff like this but others will need to learn and use a few programming languages to appreciate the finer points.