Languages I have had to invoke Greenspun's tenth rule on

[maradydd]

• C
• Lua

Comments

[mentalguy.livejournal.com]

For that matter, with common Haskell extensions, type inference isn't strictly decidable either.