F sharp principle view 1