纯函数式静态语言的特性与未来  

Features and Future of Pure Functional Static Languages

作　　者：徐向超[1] XU Xiangchao

机构地区：[1]山西省科学技术情报研究所,山西太原030001

出　　处：《山西科技》2018年第4期84-86,共3页Shanxi Science and Technology

摘　　要：Haskell是一款正在数学家当中渐渐流行起来的语言,正如有的数学家曾说:"在我的很多项目当中,有一种迹象渐渐地表明,在我平时日复一日的数学论述中所使用的表达式与在Haskell的代码中撰写的表达式之间仅仅存在相当短的距离"。简要描述了纯函数式静态语言在各种领域的应用和实践。Haskell is a language that is becoming increasingly popular among mathematicians. As a mathematician has said in a blog,＂in many of my projects,there is a sign that the expressions used in my daily mathematical exposition and the expressions in the Haskell code exists only a relatively short distance＂. This paper briefly describes the application and practice of pure functional static language in various fields.

关 键 词：函数式 静态语言 HASKELL 惰性求值 类型推论 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]