TypeCheck vs Typespecs Comparison

[baldwindavid]

In attempting to explain the difference between TypeCheck and typespecs to others, it can be difficult to remember and communicate those differences. This is an attempt at providing a visual breakdown of what is supported, what is not, and what is extended.

This first attempt will probably need some updates. For example, all of the Standard Library modules with types that are currently not implemented in TypeCheck are marked as ❌. Some of these are potentially not intended to ever be implemented anyway.

I considered adding this as an issue, but thought it might be something to consider as an article. Either way or neither are fine with me.

[Qqwy]

Thank you very much! This is a really valuable resource to add.
I will mark it as a separate page in the documentation.

The one change I'll make is to replace some of the ❌es with ⌛es to make the difference between things that are not currently supported but should be in the near future and things that are unlikely to be supported ever.

🤗 Thanks a lot!

[Qqwy]

💚 💙 💜 💛 😍

[Qqwy]

@baldwindavid what emoji was used for the 'remote types' section?
It is not rendering correctly on my computer. Maybe we could replace it with an alternative?

[baldwindavid]

Thanks for adding it and I love the changes/additions! Documenting that list gave me an even greater appreciation for the huge amount of work you've done and how much support is already in place.

If the "Remote Types" icon doesn't work on your computer, it probably won't work here either, but I grabbed it from this site... https://unicode-table.com/en/1F7E8/

It's basically just a yellow square. The idea was to denote sort of a "partial" support, but I'm not sure it's necessary anyway.