Simon Willison’s Weblog

Subscribe

ML Types Explained

27th August 2003

From a link on the mailing list edition of comp.lang.python, this talk on strong typing (in the form of heavily annotated slides) is an explanation of the ML type system and why it really doesn’t suck. From the same thread, Felix is a new high level C++ style language with an ML style type system which looks like it could be worth experimenting with.

Posted 27th August 2003 at 7:16 am · Follow me on Mastodon, Bluesky, Twitter or subscribe to my newsletter

More recent articles

This is ML Types Explained by Simon Willison, posted on 27th August 2003.

Next: Code Kata

Previous: I'm in Kansas

Monthly briefing

Sponsor me for $10/month and get a curated email digest of the month's most important LLM developments.

Pay me to send you less!

Sponsor & subscribe

Previously hosted at http://simon.incutio.com/archive/2003/08/27/ml