News for hackers. Stuff that matters.

A comment on Microsoft Research: Fully In-Place Functional Programming [pdf]. Parent comment

Re:Microsoft Research: Fully In-Place Functional Programming... by GrygrFlzr on Monday June 26, 2023 @02:58AM (#36476577)
Does this make it more difficult to reason about the program memory usage over its lifetime, or can all potential cases be statically analyzed?
[ Parent | on HN ]
Re:Microsoft Research: Fully In-Place Functional Programming... by kmill on Monday June 26, 2023 @03:48AM (#36476887)
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.
[ Parent | on HN ]
Re:Microsoft Research: Fully In-Place Functional Programming... by tuukkah on Monday June 26, 2023 @03:49AM (#36476899)
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.
[ Parent | on HN ]