Seems like it should at least be x(|x(|x(|x))) instead of x|xx|xxx|xxxx to avoid... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		yorwba on Sept 11, 2023 \| parent \| context \| favorite \| on: Calculate the difference and intersection of any t... Seems like it should at least be x(\|x(\|x(\|x))) instead of x\|xx\|xxx\|xxxx to avoid quadratic blow-up.

d66 on Sept 11, 2023 [–]

yes, that is the actual construction: the disjunction data type only supports a lhs and rhs, so that is the only possible way to represent it.

i wrote it the way i did for clarity in the comments.

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