The EYG type system does support recovery, so you will get multiple type errors ... | Hacker News

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

login

crowdhailer 4 months ago | parent | context | favorite | on: The evolution of a structural code editor

The EYG type system does support recovery, so you will get multiple type errors if that's the case in the program.

herrington_d 4 months ago [–]

My point is that type error recovery is the property of the type system. Not the property of structural code editor.

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