十一款值得深入了解的物聯(lián)網(wǎng)編程語(yǔ)言
譯文對(duì)于物聯(lián)網(wǎng)項(xiàng)目而言,選擇編程語(yǔ)言的重要意義絕不在制定硬件平臺(tái)決策之下。在今天的文章中,我們將共同審視11款編程語(yǔ)言,并認(rèn)真考量哪一種最適合自己的下一個(gè)編程項(xiàng)目。
物聯(lián)網(wǎng)開(kāi)發(fā)項(xiàng)目目前正在全球范圍的諸多企業(yè)當(dāng)中如火如荼地展開(kāi)。新型硬件平臺(tái)的出現(xiàn)讓工程師們能夠以前所未有的便捷方式在物聯(lián)網(wǎng)應(yīng)用當(dāng)中構(gòu)建嵌入式系統(tǒng)。一旦選定了合適的硬件平臺(tái),接下來(lái)要做的就是為其開(kāi)發(fā)應(yīng)用軟件——先別高興得太早,到了這一步擺在我們面前的選項(xiàng)會(huì)更多、也更具挑戰(zhàn)。
就在不久之前,我們對(duì)于編程語(yǔ)言的選擇還受到硬件平臺(tái)方案的嚴(yán)格約束。不過(guò)時(shí)至今日,多數(shù)現(xiàn)代平臺(tái)已經(jīng)基于開(kāi)源標(biāo)準(zhǔn)并能夠支持多種編程語(yǔ)言類(lèi)型,這樣出色的靈活性自然帶來(lái)了更多潛在選項(xiàng)。而這也正是我們今天所要解決的問(wèn)題。
那么我們應(yīng)該如何為特定物聯(lián)網(wǎng)項(xiàng)目選擇編程語(yǔ)言呢?在某些情況下,我們的潛在選項(xiàng)仍然會(huì)受到當(dāng)前硬件平臺(tái)的限定。不過(guò)在其它條件下,大家完全可以立足于特定因素選擇語(yǔ)言類(lèi)型,例如企業(yè)開(kāi)發(fā)團(tuán)隊(duì)對(duì)該語(yǔ)言的熟悉程度、其能夠在業(yè)務(wù)環(huán)境中整體物聯(lián)網(wǎng)系統(tǒng)的其它組件所使用,或者其代碼成果是否體積更小、執(zhí)行效率更高或者編寫(xiě)速度更快等等。
我們首先從眾多選項(xiàng)中挑選出了11款最為出色的語(yǔ)言,它們都能夠很好地完成嵌入式系統(tǒng)的編程任務(wù)。它們涵蓋范圍很廣,從用途廣泛的C++以及Java到專(zhuān)門(mén)面向嵌入式用例的Go以及Parasail皆在其中。每一款語(yǔ)言都有著自己的優(yōu)勢(shì)與局限。在閱讀了今天的文章之后,也希望大家能夠在評(píng)論當(dāng)中表達(dá)您的觀點(diǎn)與較為傾向的語(yǔ)言選項(xiàng),幫助我們共同了解如何更好地構(gòu)建起自己的嵌入式與物聯(lián)網(wǎng)開(kāi)發(fā)項(xiàng)目。
C語(yǔ)言
作為一款最初用于進(jìn)行電話(huà)交換機(jī)編程的語(yǔ)言,C確實(shí)是我們?cè)诳紤]嵌入式系統(tǒng)開(kāi)發(fā)時(shí)應(yīng)當(dāng)首先審視的合理選項(xiàng)。C語(yǔ)言屬于軟件開(kāi)發(fā)世界中的一種通用語(yǔ),其適用于幾乎每一款現(xiàn)有高級(jí)嵌入式系統(tǒng)平臺(tái)。某些平臺(tái)雖然無(wú)法直接支持C語(yǔ)言,但不可否認(rèn)的是其仍然以基礎(chǔ)形式存在,支撐著SDK中的那些專(zhuān)用語(yǔ)言。
好消息是專(zhuān)業(yè)程序員們必然對(duì)C語(yǔ)言擁有較為深入的了解——如果做不到這一點(diǎn),那么企業(yè)應(yīng)該撥出專(zhuān)項(xiàng)資金幫助大家完成進(jìn)修,這對(duì)于程序員自身的職業(yè)發(fā)展以及企業(yè)運(yùn)營(yíng)前景來(lái)說(shuō)都將物有所值。從當(dāng)下的角度審視,C語(yǔ)言身上確實(shí)存在著諸多過(guò)于陳舊的因素:它屬于過(guò)程語(yǔ)言而非面向?qū)ο笳Z(yǔ)言;它并不具備內(nèi)置的圖形用戶(hù)界面;而且采用編譯而非解釋機(jī)制。不過(guò)這一切負(fù)面因素反而在物聯(lián)網(wǎng)開(kāi)發(fā)項(xiàng)目當(dāng)中讓其成為最強(qiáng)而有力的語(yǔ)言候選人之一。
C++
自從上世紀(jì)八十年代初整個(gè)編程世界的發(fā)展車(chē)輪開(kāi)始朝著面向?qū)ο笳Z(yǔ)言滾動(dòng)之時(shí),F(xiàn)ortran、Cobol以及C這樣的過(guò)程語(yǔ)言就似乎注定了被人遺忘的命運(yùn)。目前Fortran與Cobol已經(jīng)徹底淪為利基型語(yǔ)言(雖然Cobol的利基范圍比較可觀,但其定位局限仍然非常明顯),而C語(yǔ)言則憑借著B(niǎo)jarne Stroustrup的工作成果而繼續(xù)停留在公眾視野當(dāng)中——其貢獻(xiàn)是為C語(yǔ)言開(kāi)發(fā)出了一款面向?qū)ο蟮念A(yù)處理程序,也就是我們所熟知的C++。
C++保留了C語(yǔ)言的特性,但同時(shí)加入了數(shù)據(jù)抽象、類(lèi)以及對(duì)象等機(jī)制。這一切讓C++因?yàn)槲覀冊(cè)贚inux系統(tǒng)環(huán)境中編寫(xiě)嵌入式及物聯(lián)網(wǎng)代碼時(shí)的熱門(mén)選項(xiàng)。這款編程語(yǔ)言自誕生至今已經(jīng)跨越了三十多年的時(shí)光,但其在如今的嵌入式及物聯(lián)網(wǎng)開(kāi)發(fā)領(lǐng)域仍然極具生命力。
#p#
Java
C與C++從起步階段的設(shè)計(jì)初衷就一直在于對(duì)其運(yùn)行所在的硬件平臺(tái)進(jìn)行直接控制。這種特性在需要對(duì)硬件進(jìn)行細(xì)化程度極高的監(jiān)測(cè)及控制時(shí)確實(shí)優(yōu)勢(shì)明顯,但這同時(shí)也意味著我們所編寫(xiě)的代碼需要從非常具體的角度考量硬件狀況。而用編程圈里的行話(huà)來(lái)說(shuō),就是代碼不太適合進(jìn)行移植。
Java的設(shè)計(jì)思路則被打造成一款面向?qū)ο笳Z(yǔ)言,因此具備非常出色的可移植性:編譯器當(dāng)中幾乎不存在任何硬件依賴(lài)性。而要對(duì)特定硬件進(jìn)行特殊而準(zhǔn)確的控制,Java需要借助硬件所支持的庫(kù)并從中調(diào)用通用代碼。
這一切都讓Java擁有極具吸引力的經(jīng)濟(jì)性定位:對(duì)Java代碼開(kāi)發(fā)進(jìn)行一次性投入,企業(yè)將能夠獲得足以運(yùn)行在多種不同平臺(tái)之上的開(kāi)發(fā)成果。Java同時(shí)也是當(dāng)前人氣最高的主流編程語(yǔ)言之一,其被應(yīng)用于成千上萬(wàn)計(jì)算機(jī)科學(xué)與電子工程技術(shù)項(xiàng)目當(dāng)中。因此我們能夠從人才市場(chǎng)上輕松找到能夠勝任相關(guān)工作的應(yīng)聘者。但從另一方面講,選擇Java的問(wèn)題在于我們必須確保自己所選定的平臺(tái)能夠支持Java(目前只有極少數(shù)強(qiáng)大的平臺(tái)會(huì)提供Java支持能力),同時(shí)又要保證這些硬件能夠支持我們?yōu)榱藢?shí)現(xiàn)特定控制功能所需要使用的庫(kù)。
JavaScript
從表面上看,大家很容易誤以為JavaScript屬于Java語(yǔ)言的某種衍生版本。完全可以理解,不過(guò)完全錯(cuò)誤。這兩種語(yǔ)言確實(shí)在某種程度上存在類(lèi)似或者說(shuō)交集(例如某些庫(kù)可以同時(shí)與二者相兼容),但二者的開(kāi)發(fā)過(guò)程完全獨(dú)立而且并不共享任何語(yǔ)法或者語(yǔ)義。
顧名思義,JavaScript是一種腳本語(yǔ)言,被廣泛應(yīng)用于構(gòu)建Web前端應(yīng)用。如果大家打算在Raspberry Pi硬件平臺(tái)上使用Apache服務(wù)器,旨在從由Arduino傳感器構(gòu)建的網(wǎng)絡(luò)當(dāng)中提取數(shù)據(jù),那么JavaScript絕對(duì)是個(gè)很好的起步選項(xiàng)。
自從被網(wǎng)景公司開(kāi)發(fā)出來(lái)之時(shí),JavaScript就一直在快速發(fā)展演進(jìn)并已經(jīng)成為一款功能齊備的語(yǔ)言。不過(guò)大家千萬(wàn)別把它當(dāng)成是什么輕量化嵌入式控制器——它所采用的解釋結(jié)構(gòu)意味著我們需要承擔(dān)其運(yùn)行成本。換言之,至少也得是Raspberry Pi這樣的系統(tǒng)才能承擔(dān)JavaScript所帶來(lái)的性能損失。
#p#
Python
這款在假期閑暇時(shí)間開(kāi)發(fā)而成并借用著名喜劇團(tuán)體命名的編程語(yǔ)言從表面上看似乎不太可能成為嚴(yán)肅開(kāi)發(fā)項(xiàng)目的備選方案。然而事實(shí)證明,Python如今已經(jīng)成為Web開(kāi)發(fā)領(lǐng)域最具活力的語(yǔ)言選項(xiàng)之一,而且其應(yīng)用范圍已經(jīng)擴(kuò)散到了嵌入式控制以及物聯(lián)網(wǎng)領(lǐng)域。Python在很多方面擁有極為出色的靈活性表現(xiàn)。舉例來(lái)說(shuō),它作為一種解釋語(yǔ)言能夠被提交至單一運(yùn)行時(shí)編譯器當(dāng)中,或者通過(guò)其中內(nèi)置的預(yù)編譯器實(shí)現(xiàn)代碼運(yùn)行,從而對(duì)其緊湊的可執(zhí)行代碼進(jìn)行分發(fā)。
而最讓編程團(tuán)隊(duì)心動(dòng)的是,Python語(yǔ)言擁有自己的一大專(zhuān)注重點(diǎn),即高度強(qiáng)調(diào)代碼內(nèi)容的可讀性。這款語(yǔ)言的設(shè)計(jì)規(guī)范提到了代碼可讀性以及緊湊優(yōu)雅語(yǔ)法的重要意義。任何一位曾經(jīng)試圖解讀他人C語(yǔ)言代碼并希望對(duì)其進(jìn)行優(yōu)化的朋友,應(yīng)該都能深刻感受到代碼可讀性在實(shí)際工作中的關(guān)鍵作用。
與本篇文章提到的其它語(yǔ)言一樣,Python充當(dāng)嵌入式語(yǔ)言的前提在于其運(yùn)行所處的嵌入式平臺(tái)需要具備一定的計(jì)算能力。如果大家希望開(kāi)發(fā)的是一款能夠獲取數(shù)據(jù)、將其以某種數(shù)據(jù)庫(kù)格式加以整理,而后匯總成表以實(shí)現(xiàn)信息控制的應(yīng)用方案,那么Python絕對(duì)是位頗具競(jìng)爭(zhēng)力的候選編程語(yǔ)言選手。
Go
首先必須強(qiáng)調(diào)一點(diǎn):這里說(shuō)的是“Go”,而不是“Go!”二者屬于完全不同的兩種語(yǔ)言,而且擁有完全不同的功能定位。Go由谷歌公司負(fù)責(zé)開(kāi)發(fā)并廣泛適用于各類(lèi)處理器及平臺(tái)。雖然它只是眾多源自C設(shè)計(jì)理念的編程語(yǔ)言當(dāng)中的一種,但卻在面向特定嵌入式編程類(lèi)型時(shí)擁有大量遠(yuǎn)勝C語(yǔ)言的功能特性。
Go語(yǔ)言增加了一種顯式散列表類(lèi)型,這些類(lèi)型在從各種傳感器及執(zhí)行器處收集數(shù)據(jù)并向其發(fā)送數(shù)據(jù)方面具備相當(dāng)突出的實(shí)用性。Go語(yǔ)言還深入支持使用傳感器以及設(shè)備網(wǎng)絡(luò)的能力——當(dāng)然,這同時(shí)也增加了潛在風(fēng)險(xiǎn)。
Go語(yǔ)言能夠大多種不同通道上支持并行輸入、輸出與處理。如果能夠正確使用,這一能力將使得整套傳感器及執(zhí)行器組合得到良好協(xié)調(diào)。然而這種特性的風(fēng)險(xiǎn)在于,各通道之間也許并不能意識(shí)到對(duì)方的存在。如果編程人員有所疏忽,那么缺乏協(xié)調(diào)的系統(tǒng)就可能帶來(lái)不可預(yù)測(cè)的行為。從技術(shù)角度講,這顯然不是什么好事。
#p#
Rust
Rust語(yǔ)言由Mozilla公司開(kāi)發(fā)而來(lái)。與Mozilla旗下的其它軟件類(lèi)似,Rust屬于開(kāi)源項(xiàng)目且擁有非常迅猛的演進(jìn)速度。Rust語(yǔ)言擁有諸多源自Go的特性,不過(guò)它也解決了Go當(dāng)中存在的一大主要問(wèn)題。
由于Go語(yǔ)言無(wú)法自動(dòng)在不同數(shù)據(jù)結(jié)構(gòu)“通道”之間進(jìn)行信息共享,因此最終開(kāi)發(fā)出的程序有可能存在所謂“競(jìng)態(tài)條件”。直白地講,這是一種無(wú)法控制的狀態(tài),處于這一狀態(tài)下的系統(tǒng)會(huì)由于不同進(jìn)程在運(yùn)行時(shí)處于激烈沖突而導(dǎo)致工作無(wú)法完成。Rust語(yǔ)言當(dāng)中包含的函數(shù)能夠消除競(jìng)態(tài)條件,從而使其更為可靠地構(gòu)建起高度并發(fā)程序。
同樣的,Rust語(yǔ)言對(duì)于運(yùn)行平臺(tái)的性能也存在一定要求,不過(guò)如果大家的開(kāi)發(fā)團(tuán)隊(duì)希望開(kāi)發(fā)一款涉及大量并發(fā)機(jī)制的應(yīng)用,那么Rust與Go都是值得認(rèn)真考量的編程語(yǔ)言選項(xiàng)。
Parasail
如果大家對(duì)于自己物聯(lián)網(wǎng)應(yīng)用程序的并行處理能力擁有一定要求,那么Parasail語(yǔ)言也是個(gè)值得一試的選項(xiàng)。在之前介紹Go與Rust語(yǔ)言時(shí),我們已經(jīng)提到了編程概念當(dāng)中的并發(fā)機(jī)制。如果大家不清楚并發(fā)與并行的區(qū)別(或者您的開(kāi)發(fā)團(tuán)隊(duì)無(wú)法明確解釋二者的差異),那么請(qǐng)?jiān)谥志幋a之前認(rèn)真查尋相關(guān)資料,保證自己的徹底明確之后再做決定。
Parasail是一款編譯型面向?qū)ο笳Z(yǔ)言,其始終處于演進(jìn)當(dāng)中因此能夠通過(guò)與Java、Python、C#甚至是Ada(真的很難相信會(huì)在一種現(xiàn)代語(yǔ)言當(dāng)中看到Ada的名頭)類(lèi)似的語(yǔ)法進(jìn)行編程。千萬(wàn)別會(huì)錯(cuò)意,如果大家打算構(gòu)建一個(gè)物聯(lián)網(wǎng)項(xiàng)目,那么利用Ada進(jìn)行編程絕對(duì)是個(gè)不錯(cuò)的選擇。不過(guò)如果大家需要使用具備高度并行性的嵌入式代碼,那么Parasail則是最理想的語(yǔ)言選項(xiàng)。
#p#
B#
我們今天提到的很多語(yǔ)言都屬于大型系統(tǒng)語(yǔ)言,因此要讓其在嵌入式平臺(tái)上順利運(yùn)行,我們需要對(duì)其進(jìn)行具體調(diào)整。然而B(niǎo)#則不同,它的設(shè)計(jì)初衷就是一類(lèi)著眼于小處的高效嵌入式控制語(yǔ)言。嵌入式虛擬機(jī)(簡(jiǎn)稱(chēng)EVM)允許B#語(yǔ)言運(yùn)行在多種不同平臺(tái)之上,且內(nèi)存占用量?jī)H為24 k——遠(yuǎn)低于我們之前提到的其它軟件包運(yùn)行要求。
B#語(yǔ)言與C#在某種程度上比較類(lèi)似(如果大家或者下轄技術(shù)團(tuán)隊(duì)曾經(jīng)開(kāi)發(fā)過(guò)微軟.NET項(xiàng)目,那么對(duì)C#肯定不會(huì)陌生)。不過(guò)相較于C#,B#剔除了相當(dāng)一部分在嵌入式項(xiàng)目中用不到的特性,并加入了對(duì)實(shí)時(shí)控制功能的支持——這一點(diǎn)在實(shí)際使用環(huán)境下顯然非常重要。
如果大家的項(xiàng)目如果大家的開(kāi)發(fā)項(xiàng)目未來(lái)會(huì)運(yùn)行在輕量級(jí)嵌入式平臺(tái)之上,其規(guī)模與復(fù)雜度皆低于Raspberry Pi,那么B#絕對(duì)是個(gè)值得認(rèn)真考慮的編程語(yǔ)言選項(xiàng)。
匯編語(yǔ)言
如果大家希望嚴(yán)格遵循比較傳統(tǒng)的設(shè)計(jì)思路,或者需要盡可能讓自己的項(xiàng)目顯得比較緊湊,那么匯編程序就是達(dá)成目標(biāo)的不二之選。匯編語(yǔ)言能夠構(gòu)建并打包純粹的機(jī)器碼,從而保證大家在處理器之上擁有最為理想的執(zhí)行效率。好消息是其對(duì)性能的要求被控制在最低水平,而且技術(shù)高超的行家能夠利用匯編語(yǔ)言實(shí)現(xiàn)很多在其它編程機(jī)制中根本不存在的優(yōu)化技巧。
不過(guò)壞消息是,匯編語(yǔ)言的編程工作無(wú)法借力于網(wǎng)絡(luò):大家?guī)缀跽也坏饺魏螌?shí)用工具來(lái)幫助自己揪出開(kāi)發(fā)成果中的各類(lèi)錯(cuò)誤。除此之外,匯編語(yǔ)言代碼以及相關(guān)程序編寫(xiě)技能往往沒(méi)有任何承接性。具體來(lái)講,我們能夠針對(duì)一種處理器編寫(xiě)出相關(guān)代碼,但這并不代表我們能夠面向其它處理器編寫(xiě)出擁有同樣功能的代碼。
對(duì)于鐵桿程序員以及希望擁有終極優(yōu)化效果的產(chǎn)品來(lái)講,匯編語(yǔ)言能夠?qū)⑵潴w積控制在最低水平且保證其中不包含任何其它環(huán)境因素。不過(guò)可以肯定的是,匯編語(yǔ)言絕對(duì)不是構(gòu)建原型方案的最佳方式——如果大家擁有較為充裕的空間及處理性能,那么請(qǐng)優(yōu)先使用高級(jí)語(yǔ)言,現(xiàn)代語(yǔ)言中的諸多優(yōu)勢(shì)還是能夠幫上忙的。
Forth
Forth是另一種專(zhuān)門(mén)針對(duì)嵌入式系統(tǒng)編程工作做出設(shè)計(jì)與優(yōu)化的語(yǔ)言。雖然它的主要定位在于實(shí)現(xiàn)系統(tǒng)層級(jí)上的編程,但Forth還擁有另一大不可替代的優(yōu)勢(shì):它有點(diǎn)像是編程世界中的黑話(huà)。舉例來(lái)講,假如說(shuō)某個(gè)群體以世界語(yǔ)作為母語(yǔ),并傾向于使用它來(lái)跟我們交流,那么不懂世界語(yǔ)就會(huì)讓我們處于非常尷尬的境地。而在編程世界當(dāng)中,F(xiàn)orth就是這樣一種等同于世界語(yǔ)的存在。
Forth語(yǔ)言屬于面向堆棧語(yǔ)言。如果大家經(jīng)常使用那種老式惠普計(jì)算器(就是那種提供RPN操作模式的產(chǎn)品),那么肯定會(huì)對(duì)Forth具備一定程度的理解。作為一種誕生于上世紀(jì)七十年代的語(yǔ)言,F(xiàn)orth能夠在具備相關(guān)能力的程序員手中實(shí)現(xiàn)可觀的生產(chǎn)力與執(zhí)行效率提升效果——而且其他人根本無(wú)法使用甚至閱讀由其編寫(xiě)出的成果。
如果大家所在的開(kāi)發(fā)團(tuán)隊(duì)中存在著大量Forth程序員,那么請(qǐng)享受由此帶來(lái)的完全不同的工作體驗(yàn)。而如果大家對(duì)Forth一無(wú)所知而又打算開(kāi)發(fā)一款全新嵌入式項(xiàng)目,且樂(lè)于接受這一語(yǔ)言帶來(lái)的開(kāi)發(fā)學(xué)習(xí)曲線,那么也不妨加以嘗試。不過(guò)如果各位身邊并不具備現(xiàn)成的Forth程序員儲(chǔ)備,同時(shí)又希望快速構(gòu)建出原型設(shè)計(jì)方案,那么請(qǐng)直接選擇其它語(yǔ)言。
原文標(biāo)題:11 IoT Programming Languages Worth Knowin