資料介紹
軟件簡(jiǎn)介
Hamler 是一門構(gòu)建在?Erlang?虛擬機(jī)(VM)上的?Haskell?風(fēng)格的強(qiáng)類型(strongly-typed)編程語(yǔ)言,獨(dú)特地結(jié)合了編譯時(shí)的類型檢查推導(dǎo),與對(duì)運(yùn)行時(shí)高并發(fā)和軟實(shí)時(shí)能力的支持。
Hamler 編程語(yǔ)言將賦予行業(yè),尤其是 5G、IoT、云計(jì)算和邊緣計(jì)算等潛力領(lǐng)域,構(gòu)建下一代高可靠、可擴(kuò)展、具備軟實(shí)時(shí)支持應(yīng)用的能力。
Hamler 語(yǔ)言主要特性
Hamler 作為運(yùn)行在 Erlang VM 上的類 Haskell 語(yǔ)法的編程語(yǔ)言,核心特性可以概括為:
- 類 Haskell 和 ML 的友好語(yǔ)法
- 編譯時(shí)的類型檢查與類型推導(dǎo)
- 運(yùn)行時(shí)的高并發(fā)、軟實(shí)時(shí)支持
Hamler 語(yǔ)言支持函數(shù)編程大部分主要特性,可以幫助產(chǎn)業(yè)更好地迎接 5G、IoT 、邊緣計(jì)算與云計(jì)算帶來(lái)的開發(fā)浪潮,并吸引更多的開發(fā)者使用 Erlang VM - BEAM。
- 聲明式與函數(shù)式編程
- 類 Haskell 與 ML 語(yǔ)法
- 編譯時(shí)類型檢查與推導(dǎo)
- 代數(shù)類型系統(tǒng)支持(ADT)
- 函數(shù)、閉包、高階函數(shù)
- Currying and partial application
- Pattern matching, and Guards
- List comprehension
- Applicative and Monad
- 更高級(jí)的模塊系統(tǒng)
- 高并發(fā)、軟實(shí)時(shí)支持
Hamler 編譯器設(shè)計(jì)
Hamler 源碼經(jīng)過(guò)詞法分析后生成 CST,然后經(jīng)過(guò) CST -> AST -> CoreFn 的語(yǔ)法樹變換、語(yǔ)法分析與類型檢查后,生成 CoreErlang 的 IR 代碼,然后由 Erlang 編譯器生成最終的二進(jìn)制 Beam 文件。
Hamler 編譯器架構(gòu)如下圖:
Hamler 0.1 編譯器最初嘗試基于 GHC 8.10.1 實(shí)現(xiàn),后改為基于 Purescript 0.13.6 實(shí)現(xiàn)。
- 《51單片機(jī)C語(yǔ)言編程入門》(中科大編著) 0次下載
- 單片機(jī)C語(yǔ)言和匯編語(yǔ)言混合編程實(shí)例詳解 227次下載
- 華為C語(yǔ)言編程規(guī)范 61次下載
- PIC單片機(jī)的C語(yǔ)言編程電子版下載 0次下載
- C語(yǔ)言編程常用的文件處理函數(shù)匯總下載 9次下載
- C語(yǔ)言編程函數(shù)庫(kù)分類匯總資源下載 16次下載
- C語(yǔ)言編程字符串函數(shù)匯總資源下載 9次下載
- Arduino編程基礎(chǔ)(一)——Arduino語(yǔ)言資料下載
- 10小時(shí)輕松學(xué)會(huì)C語(yǔ)言及其編程 15次下載
- Linux下C語(yǔ)言編程入門教程詳細(xì)說(shuō)明 39次下載
- 腳本語(yǔ)言的概述和與其他編程語(yǔ)言的關(guān)系及特點(diǎn)以及程序舉例的詳細(xì)說(shuō)明 13次下載
- 高端的編程語(yǔ)言是不是真的高端
- Linux操作系統(tǒng)下C語(yǔ)言編程入門.pdf 96次下載
- 《Raspberry Pi Python 編程入門 》-電子書籍.pdf 0次下載
- 分布式的Erlang程序:陷阱和對(duì)策 23次下載
- PLC的編程方式及編程語(yǔ)言 863次閱讀
- PLC編程語(yǔ)言和C語(yǔ)言的區(qū)別 3085次閱讀
- 七種編程語(yǔ)言的學(xué)習(xí)曲線 1026次閱讀
- 開源的Bluespec SystemVerilog (BSV)語(yǔ)言表現(xiàn)如何? 798次閱讀
- 關(guān)于編程語(yǔ)言開發(fā)技術(shù)和AI的部分 561次閱讀
- 西門子PLC編程語(yǔ)言介紹 1869次閱讀
- 如何使用Travis CI對(duì)Github項(xiàng)目進(jìn)行持續(xù)集成來(lái)提升項(xiàng)目開發(fā)的效率 809次閱讀
- 最常用的PLC編程語(yǔ)言和編程方法詳解 6758次閱讀
- 關(guān)于Erlang語(yǔ)言的功能及特性 3658次閱讀
- Go和Python,Erlang的語(yǔ)言對(duì)比分析和Go編程示例概述 7753次閱讀
- 學(xué)習(xí)開發(fā)環(huán)境和編程語(yǔ)言:匯編語(yǔ)言和C語(yǔ)言的比較 9081次閱讀
- erlang編程語(yǔ)言特點(diǎn)詳細(xì)解析 2939次閱讀
- erlang如何自定義_ERLANG環(huán)境搭建 1527次閱讀
- plc編程語(yǔ)言有幾種_plc常用編程語(yǔ)言介紹 5.4w次閱讀
- arduino用什么語(yǔ)言編程 6.9w次閱讀
下載排行
本周
- 1DD3118電路圖紙資料
- 0.08 MB | 1次下載 | 免費(fèi)
- 2AD庫(kù)封裝庫(kù)安裝教程
- 0.49 MB | 1次下載 | 免費(fèi)
- 3PC6206 300mA低功耗低壓差線性穩(wěn)壓器中文資料
- 1.12 MB | 1次下載 | 免費(fèi)
- 4網(wǎng)絡(luò)安全從業(yè)者入門指南
- 2.91 MB | 1次下載 | 免費(fèi)
- 5DS-CS3A P00-CN-V3
- 618.05 KB | 1次下載 | 免費(fèi)
- 6海川SM5701規(guī)格書
- 1.48 MB | 次下載 | 免費(fèi)
- 7H20PR5電磁爐IGBT功率管規(guī)格書
- 1.68 MB | 次下載 | 1 積分
- 8IP防護(hù)等級(jí)說(shuō)明
- 0.08 MB | 次下載 | 免費(fèi)
本月
- 1貼片三極管上的印字與真實(shí)名稱的對(duì)照表詳細(xì)說(shuō)明
- 0.50 MB | 103次下載 | 1 積分
- 2涂鴉各WiFi模塊原理圖加PCB封裝
- 11.75 MB | 89次下載 | 1 積分
- 3錦銳科技CA51F2 SDK開發(fā)包
- 24.06 MB | 43次下載 | 1 積分
- 4錦銳CA51F005 SDK開發(fā)包
- 19.47 MB | 19次下載 | 1 積分
- 5PCB的EMC設(shè)計(jì)指南
- 2.47 MB | 16次下載 | 1 積分
- 6HC05藍(lán)牙原理圖加PCB
- 15.76 MB | 13次下載 | 1 積分
- 7802.11_Wireless_Networks
- 4.17 MB | 12次下載 | 免費(fèi)
- 8蘋果iphone 11電路原理圖
- 4.98 MB | 6次下載 | 2 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935127次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191390次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183342次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81588次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73815次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65989次下載 | 10 積分
評(píng)論