This particular iteration is unbounded, but the next step is to pass in a GADT a... | Hacker News

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

		avsm 22 days ago \| parent \| context \| favorite \| on: Httpz – Zero-Allocation HTTP/1.1 Parser for OxCaml This particular iteration is unbounded, but the next step is to pass in a GADT argument to specify which headers the application wants, so only those are parsed into a heterogenous tuple.

messe 22 days ago [–]

That sounds like a rather elegant solution to it.

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