基本介紹
- 軟體名稱:函式式程式設計
- 英文名:Functional Programming
- 技術類型:設計、編制和調試函式式程式
- 概念提出人:J.巴克斯
- 概念提出時間:1977
特性,用途,重要性,FP其他含義,
特性
傳統程式設計語言中的賦值等概念,在函式式程式設計語言中消失。函式式程式的一個最本質的特性,就是函式值唯一地由其參數值所確定。只要使用相同的參數值,對此程式的不同的調用總是得到相同的結果。這種性質稱為引用透明性,有助於程式的模組化。函式式程式設計語言具有較強的組織數據結構的能力,可以把某一數據結構(如數組)作為單一值處理;可以把函式作為參數,其結果也可為函式,這種定義的函式稱為高階函式。這些由函式表達式所表示的程式簡明、緊湊和易於維護。
過去,這種程式設計稱為套用性程式設計。1977年,J.巴克斯提出函式式程式設計的概念。一般認為表處理語言(LISP)是最早的函式式程式設計語言。但是,LISP的重點是將函式套用於對象,以產生新的對象,必要時再上升為函式。巴克斯所提出的函式式程式設計,則是引用函式型產生新函式,程式設計時從一般的對象空間上升到函式空間,因而具有優越的數學性質,有助於程式的理解、推理和驗證。
用途
由於函式式程式設計語言的簡明性和獨特的表達能力,可用它來研究傳統程式設計語言的語義。一種方法是用於確定一個解釋程式的定義,作為被研究的語言的語義;另一種方法是將被研究的語言寫成的程式轉換成與之等價的函式式程式。在人工智慧領域中,需要用複雜的算法去處理一些複雜的(通常是符號的)數據結構。LISP語言成功地套用於這一領域,說明了函式式程式設計的獨特優越性。巴克斯分析了傳統程式設計語言的缺陷,認為這些缺陷主要是由於諾伊曼式系統結構所造成的。他所提出的函式式程式設計(簡稱FP),擺脫了傳統的諾伊曼計算機結構,需要一種新的非諾伊曼式的系統結構為後援。一些具有新概念的計算機,如歸約機、數據流機,以及專為某種函式式語言(如FP)設計的計算機正在研究和發展中。現代既需要研究在諾伊曼式計算機上如何更有效地實現函式式程式設計語言的問題,也需要研究適應這種語言的新型計算機結構。
重要性
函式式程式設計受到重視的原因是:首先由於產生了“軟體危機”,人們企圖探討一種擺脫這種困境的新型程式設計方式,而函式式程式設計具有不少獨特之處。其次,超大規模積體電路技術的發展,為發揮函式式程式設計語言的潛在並行性提供了物質基礎。可以預期,一些具有諸如高度並行性等特點的非諾伊曼式計算機將會出現。隨著硬體技術的發展、軟體方法的研究,以及套用範圍的不斷擴大,函式式程式設計將得到發展,並在新一代計算機系統中起重要作用。
FP其他含義
FP:單頁
FrontPage
FrontPage是一種強大的網頁製作工具。詳見FrontPage...
First Piece
服裝外貿加工業務中,工廠大貨開始生產,從流水線上出來的第一件樣衣,稱之為大貨首件,作為該批服裝的一個質量參考
Fuel Pump
油泵
Fuel oil pump 汽車電子用語——燃油泵
Flying Platform
在交響詩篇AO中出現的機體,全名為“Flying Platform(飛行平台)”。屬於空中的汽車,跟汽車一樣有不同的型號,以光粒子為主要動力。
Fluorescent Protein
螢光蛋白
FP
是CF(穿越火線)中的一種新的模式,即集結密令版本中,新增了戰友系統,同時上線的還有一個全新貨幣單位FP點,下面就介紹FP點的獲得方法。
新玩家進入遊戲後,可推薦一名老玩家為自己的戰友(每個新玩家只能推薦一名戰友),推薦成功後,新玩家獲得一定的道具獎勵及經驗加成,被推薦的老玩家在新玩家獲得經驗時按一定比例獲得FP點數,FP點數可購買稀有道具。新玩家等級到達少尉後,雙方戰友關係自動結束,成為榮譽戰友。
Foreign Policy
《Foreign policy》(《外交政策》)被公認為世界上最有影響力的國際時事刊物之一,創始人是美國政治學“泰斗”亨廷頓。誕生在1970年的《外交政策》雜誌專門鼓勵所有對美國外交政策上面臨的至關重要的問題而引發的爭論。至今,這本以美國首都華盛頓為總部的雜誌已經成為了一個雲集有深度討論的論壇和新主張、新觀念的信息來源。
Function Piont
功能點,在軟體工程項目管理中用來測量軟體的規模和成本 FP=UFC*TCF
Flash point
簡稱fp物質化學性質:閃點
Free Pascal
簡稱fp,是一種編程工具,界面和Turbo Pascal類似。使用pascal語言(delphi也是pascal語言)。
由於是一種免費的軟體,所以被信息學奧賽使用。
FP flash
高速閃燈
又稱High-speed Sync,以高於一般閃燈同步的速度,甚至是相機最高快門速度,閃燈也能配合。但是閃燈指數會隨快門速度提高而減弱
Flash Play
中文譯名“閃玩”,簡稱fp,在國外非常流行。通常是在短時間內通過便捷的網路形式尋找到志同道合的玩伴,利用發達的交通工具結伴前往另一城市旅遊,或者就在當地結伴郊遊、聚會、運動、K歌、聚餐等,旅遊啦論壇為廈門閃玩族最喜歡的網站。
Feature Park
例如SymbianOS ver.9.3 Servers60 3rd Edition with Feature Park 2,簡稱塞班S60第三版FP2,諸如Nokia N96,N79,E72,5320XpressMusic,5630XpressMusic,6730classic等等,均搭載塞班作業系統S60第三版平台FP2特徵包。
這種特徵包通常會給系統以及UI帶來些許的改變,比如增加慣性滑動、系統主題動畫特效、BUG修正等。
flat package
扁平封裝。表面貼裝型封裝之一。QFP或SOP的別稱。部分半導體廠家採用此名。
風味剖面
風味描述分析又稱風味剖面(FP),是一種定性的描述檢驗方法,用於描述產品辭彙(包括產品味道、風味、化學因子、混合的或單一的化合物等)和產品評價本身。
False Positive
假陽性。統計學術語,可簡單理解為誤判。相對概念假陰性(False Negative),意為漏判。
Frame Protocol
通信技術:
Iub FP(frame protocol)訊息
Node B套用部分(NBAP)主要處理Iub接口的信令,FP則處理各接口的數據傳輸
Iub接口協定棧包含3個協定平面,分別是無線網路控制平面、傳輸網路控制平面和用戶平面,分別對應3個協定的信令流程,即NBAP(Node B application part,Node B套用部分)、ALCAP(access link control application protocol,接入層鏈路控制套用協定)、Iub FP(frame protocol)訊息。FP所承載的協定包括無線資源控制(radio resource control,RRC),包數據集中協定(packet data convergence protocol,PDCP)等。這3個協定有著緊密的聯繫,當無線網路控制器(radio network controller,RNC)發起傳輸信道管理或者無線連線管理相關過程的時候,是通過NBAP協定的相關過程來實現,比如Common Transport Channel Setup,Radio Link Setup,Radio Link Addition等。但同時需要對用戶平面鏈路進行分配或刪除,在Iub接口上,用戶數據(FP)通過ATM結構中的AAL2傳送,此時需要建立控制機制,ALCAP定義了與用戶面建立、釋放傳輸承載的方式,因此需要ALCAP協定來完成這些操作。一般情況下,如果不涉及到用戶平面時,Iub接口中就只有NBAP過程的訊息。當涉及到用戶平面的時候,情況要複雜得多。
Relation graph of Iub interface
RNC在以下2種情況下將涉及到用戶平面的操作:一種是對小區的公共傳輸信道做操作的時候;另一種是為UE提供專用信道的時候。在對傳輸信道做操作的過程中,用戶平面只有FP同步訊息,不會有RRC訊息。當RNC涉及到對UE操作時候,需要先在RNC和UE之間建立一個無線連線(RRC連線),建立過程大致如下:UE先向RNC請求建立RRC連線,RNC收到請求後根據具體情況選擇是否為該UE建立專用信道。如果要建立專用信道(dedicated channel,DCH),RNC將通過NBAP協定請求建立無線鏈路或者重配置無線鏈路,Node B成功應答後,RNC將通過ALCAP協定分配DCH所需的AAL2鏈路,成功分配後RNC通過前向接入信道(forward access channel,FACH)傳送RRC建立成功訊息。如果不需要為該UE建立專用信道,那么就沒有上述NBAP和ALCAP過程,RNC將直接通過FACH傳送RRC建立成功訊息,該訊息將指示UE只能通過公共傳輸信道傳輸所有的訊息給RNC。圖2顯示了Iub接口中可能會出現的訊息種類。
Front Panel
Front Panel是前面板的意思,在有些產品屬性標示常簡稱為FP.