Tangible functional programming