数字技术与应用
數字技術與應用
수자기술여응용
DIGITAL TECHNOLOGY AND APPLICATION
2015年
3期
115-115,117
,共2页
函数式%引用透明%并发执行%惰性求值
函數式%引用透明%併髮執行%惰性求值
함수식%인용투명%병발집행%타성구치
20世纪30年代,阿隆佐·邱奇和艾伦·图灵、约翰·冯·诺伊曼设计了一个名为lambda演算的形式系统,这个系统实质上是为一个超级机器设计的编程语言。函数式编程因其生成错误少且产能高而受到越来越多的关注,本文详尽阐述了函数式编程(Functional Programming,FP)范式的编程思想,通过类比,比较了FP 和指令式编程的异同。指出了FP相对于指令式编程的优点。
20世紀30年代,阿隆佐·邱奇和艾倫·圖靈、約翰·馮·諾伊曼設計瞭一箇名為lambda縯算的形式繫統,這箇繫統實質上是為一箇超級機器設計的編程語言。函數式編程因其生成錯誤少且產能高而受到越來越多的關註,本文詳儘闡述瞭函數式編程(Functional Programming,FP)範式的編程思想,通過類比,比較瞭FP 和指令式編程的異同。指齣瞭FP相對于指令式編程的優點。
20세기30년대,아륭좌·구기화애륜·도령、약한·풍·낙이만설계료일개명위lambda연산적형식계통,저개계통실질상시위일개초급궤기설계적편정어언。함수식편정인기생성착오소차산능고이수도월래월다적관주,본문상진천술료함수식편정(Functional Programming,FP)범식적편정사상,통과류비,비교료FP 화지령식편정적이동。지출료FP상대우지령식편정적우점。