Logos functional programming