Type Inference Failures

Here's a list of notable Type Inference Failures:

• Java's Inference Insecurity
• C# Can't Figure It Out
• Python's Type-Blindness
• Javascrypt's Syntax Swoon

Don't even get us started on the Type Inference Failures that have occurred in the world of Type Theory.