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.
Last active
December 28, 2024 11:15
-
Star
(967)
You must be signed in to star a gist -
Fork
(53)
You must be signed in to fork a gist
-
-
Save garybernhardt/122909856b570c5c457a6cd674795a9c to your computer and use it in GitHub Desktop.
There is Complexity Zoo. Does anybody aware of similar resource for type systems?
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
@EvgenyOrekhov Nice catch, thanks!