That's interesting, although from scanning the abstract, I don't immediately see... | Hacker News

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

login

YorkshireSeason on Oct 10, 2018 | parent | context | favorite | on: Reified Generics: The Search for the Cure

That's interesting, although from scanning the abstract, I don't immediately see the connection between ES and PBE.

danharaj on Oct 10, 2018 [–]

Well the common technical problem is that of representing program fragments along with their equalities so that they can be utilized in the case I linked, and pruned in the case you suggested. It's just a musing though. I look forward to reading up on PBE in depth.

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