必发bifa鍑芥暟寮忕紪绋嬶紙Functional Programming锛夋槸涓€绉嶇紪绋嬫€濇兂鍜岃寖寮忥紝瀹冨己璋冪▼搴忕殑鏋勫缓鍜岃璁″簲璇ラ€氳繃缁勫悎绾嚱鏁帮紙Pure Function锛夌殑鏂瑰紡鏉ュ畬鎴愶紝鑰岄伩鍏嶄娇鐢ㄥ彲鍙樼姸鎬佸拰鍏变韩鏁版嵁銆傚湪鐜颁唬杞欢寮€鍙戜腑锛屽嚱鏁板紡缂栫▼瓒婃潵瓒婂彈鍒版杩庯紝骞惰骞挎硾搴旂敤浜庡悇绉嶇紪绋嬭瑷€鍜岄鍩熴€傛湰鏂囧皢浠嬬粛濡備綍鍦ㄧ紪绋嬩腑搴旂敤鍑芥暟寮忕紪绋嬫€濇兂銆?/p>

　　棣栧厛锛屽嚱鏁版槸鍑芥暟寮忕紪绋嬬殑鏍稿績銆傚嚱鏁板紡缂栫▼涓殑鍑芥暟鏄竴绉嶇壒娈婄殑鍑芥暟锛屽畠浠笉渚濊禆浜庡閮ㄧ姸鎬侊紝鍙牴鎹緭鍏ュ弬鏁颁骇鐢熻緭鍑虹粨鏋溿€傝繖绉嶇壒鎬т娇寰楀嚱鏁板紡缂栫▼浠ｇ爜鏇存槗浜庣悊瑙ｃ€佹祴璇曞拰璋冭瘯銆備娇鐢ㄥ嚱鏁板紡缂栫▼鏃讹紝鎴戜滑搴旇灏介噺灏嗗姛鑳藉垝鍒嗕负灏忕殑銆佸彲澶嶇敤鐨勫嚱鏁帮紝骞剁‘淇濇瘡涓嚱鏁板彧鍋氫竴浠朵簨鎯呫€傝繖鏍峰彲浠ユ彁楂樹唬鐮佺殑鍙鎬у拰鍙淮鎶ゆ€с€?/p>

　　鍏舵锛屽嚱鏁板紡缂栫▼榧撳姳浣跨敤楂橀樁鍑芥暟锛圚igher-order Function锛夈€傞珮闃跺嚱鏁版槸鍙互鎺ュ彈鍑芥暟浣滀负鍙傛暟鎴栬繑鍥炲嚱鏁扮殑鍑芥暟銆傞€氳繃浣跨敤楂橀樁鍑芥暟锛屾垜浠彲浠ュ皢甯歌鐨勬搷浣滄娊璞℃垚閫氱敤鐨勫嚱鏁帮紝浠庤€屽噺灏戦噸澶嶄唬鐮併€備緥濡傦紝鍦ㄥ鐞嗛泦鍚堟椂锛屾垜浠彲浠ヤ娇鐢ㄩ珮闃跺嚱鏁板map銆乫ilter鍜宺educe鏉ュ闆嗗悎鍏冪礌杩涜鍙樻崲銆佽繃婊ゅ拰鑱氬悎銆傝繖绉嶅嚱鏁扮粍鍚堢殑鏂瑰紡浣垮緱浠ｇ爜鏇翠负绠€娲佸拰鐏垫椿銆?/p>

　　鍙﹀锛屽嚱鏁板紡缂栫▼寮鸿皟閬垮厤鍙彉鐘舵€佸拰鍏变韩鏁版嵁銆傚彲鍙樼姸鎬佸拰鍏变韩鏁版嵁鏄▼搴忎腑缁忓父鍑虹幇鐨勬蹇碉紝浣嗗畠浠篃鏄紩鍙戦敊璇拰骞跺彂闂鐨勪富瑕佸師鍥犮€傚湪鍑芥暟寮忕紪绋嬩腑锛屾垜浠敖閲忎娇鐢ㄤ笉鍙彉鏁版嵁锛圛mmutable Data锛夛紝鍗充笉鑳借淇敼鐨勬暟鎹€傝繖鏍峰仛鍙互娑堥櫎鍓綔鐢紙Side Effect锛夛紝浣垮緱浠ｇ爜鏇存槗浜庢帹鐞嗗拰璋冭瘯銆傚悓鏃讹紝鍑芥暟寮忕紪绋嬭繕鎻愪緵浜嗕竴浜涙暟鎹粨鏋勫涓嶅彲鍙樺垪琛紙Immutable List锛夊拰涓嶅彲鍙樻槧灏勶紙Immutable Map锛夋潵鏀寔涓嶅彲鍙樻暟鎹殑鎿嶄綔銆?/p>

　　姝ゅ锛屽嚱鏁板紡缂栫▼杩橀紦鍔变娇鐢ㄩ€掑綊锛圧ecursion锛夈€傞€掑綊鏄竴绉嶉€氳繃璋冪敤鑷韩鏉ヨВ鍐抽棶棰樼殑鎶€鏈€傚湪鍑芥暟寮忕紪绋嬩腑锛岄€掑綊甯哥敤浜庡鐞嗗鏉傜殑鏁版嵁缁撴瀯鍜岀畻娉曘€傞€氳繃閫掑綊锛屾垜浠彲浠ュ皢闂鍒嗚В鎴愭洿灏忕殑瀛愰棶棰橈紝鐒跺悗鍐嶅埄鐢ㄩ€掑綊瑙ｅ喅瀛愰棶棰樸€傞€掑綊鐨勪娇鐢ㄤ娇寰椾唬鐮佹洿鍔犵畝娲佸拰浼橀泤锛屽悓鏃朵篃鏈夊姪浜庢彁楂樹唬鐮佺殑鍙淮鎶ゆ€у拰鍙墿灞曟€с€?/p>

　　鏈€鍚庯紝鍑芥暟寮忕紪绋嬪己璋冩棤鍓綔鐢紙Referential Transparency锛夊拰绾嚱鏁扮殑鐗规€с€傛棤鍓綔鐢ㄦ剰鍛崇潃鍑芥暟鐨勮繑鍥炲€煎彧鍙栧喅浜庤緭鍏ュ弬鏁帮紝鑰屼笉渚濊禆浜庡閮ㄧ姸鎬併€傜函鍑芥暟鏄嚱鏁板紡缂栫▼涓殑鍩烘湰鍗曚綅锛屽畠浠笉浼氫慨鏀硅緭鍏ュ弬鏁板拰鍏ㄥ眬鐘舵€併€傜函鍑芥暟鍏锋湁鍙祴璇曟€с€佸彲缂撳瓨鎬у拰鍙苟鍙戞€х瓑浼樼偣锛屼娇寰椾唬鐮佹洿鍔犵ǔ瀹氬拰鍙潬銆?/p>

　　鎬昏€岃█涔嬶紝鍑芥暟寮忕紪绋嬫槸涓€绉嶅己璋冨嚱鏁般€佷笉鍙彉鏁版嵁鍜岄€掑綊鐨勭紪绋嬫€濇兂銆傚畠閫氳繃灏嗙▼搴忓垎瑙ｆ垚灏忕殑銆佸彲澶嶇敤鐨勫嚱鏁版潵鎻愰珮浠ｇ爜鐨勫彲璇绘€с€佸彲缁存姢鎬у拰鍙祴璇曟€с€傚湪瀹為檯搴旂敤涓紝鎴戜滑鍙互閫氳繃浣跨敤楂橀樁鍑芥暟銆佷笉鍙彉鏁版嵁銆侀€掑綊鍜岀函鍑芥暟绛夋柟寮忔潵搴旂敤鍑芥暟寮忕紪绋嬫€濇兂銆傝櫧鐒跺嚱鏁板紡缂栫▼骞朵笉閫傜敤浜庢墍鏈夌殑鍦烘櫙锛屼絾瀹冩槸涓€涓湁鐩婄殑缂栫▼宸ュ叿锛屽彲浠ュ府鍔╂垜浠啓鍑烘洿娓呮櫚銆佹洿鍋ュ．鐨勪唬鐮併€?/p>