[johnisgood]

> what needs to be made explicit is the logic that needs to be implemented, rather than details like memory management

I agree.