Hacker News new | past | comments | ask | show | jobs | submit login

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



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.


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


Type coercion taken way too far ;)


I was imagining something like Lens in Haskell :)




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: