Statistics for Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին / On type correctness of functional programs