Does this make it more difficult to reason about the program memory usage over i... | Hacker News

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

		GrygrFlzr on June 26, 2023 \| parent \| context \| favorite \| on: FP2: Fully In-Place Functional Programming [pdf] Does this make it more difficult to reason about the program memory usage over its lifetime, or can all potential cases be statically analyzed?

kmill on June 26, 2023 | [–]

The paper is about trying to statically analyze this. As I understand it, fip-annotated functions are ones that are checked to neither allocate nor deallocate.

tuukkah on June 26, 2023 | [–]

Seems easy and clear: they introduce a keyword "fip" that you use to mark a function as being fully in-place, and they statically check it.

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