Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?

This document has moved!

It's now here, in The Programmer's Compendium. The content is the same as before, but being part of the compendium means that it's actively maintained.

@garybernhardt
Copy link
Author

garybernhardt commented Sep 10, 2016

@EvgenyOrekhov Nice catch, thanks!

@stereobooster
Copy link

stereobooster commented Sep 11, 2016

There is Complexity Zoo. Does anybody aware of similar resource for type systems?

@JeroenDeDauw
Copy link

JeroenDeDauw commented Jan 9, 2017

Is there a list of languages by type system power like the one at the end of this gist, but then with more languages? There is the Comparison of programming languages by type system on Wikipedia, though this does not have the categorization used in the gist and cannot really be sorted.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment