Statistics for Տիպիզացված ֆունկցիոնալ ծրագրերի իրականացման մասին / On interpreters of typed functional programs