[untog]

100% sure it's a typo of "optional types".

[hibbelig]

How boring :-) I'd love to look forward to a language with optical types. I'm sure it's at least as interesting as operand overloading in Intercal.

[hmsimha]

Optical typing must be like duck typing taken to the extreme. If it looks like a duck then it's a duck, dammit!

[girvo]

Type coercion taken way too far ;)

[kyllo]

I was imagining something like Lens in Haskell :)