來(lái)自ZeroTurnaround的新JVM語(yǔ)言Frostbyte怎么用

這期內(nèi)容當(dāng)中小編將會(huì)給大家?guī)?lái)有關(guān)來(lái)自ZeroTurnaround的新JVM語(yǔ)言Frostbyte怎么用，文章內(nèi)容豐富且以專(zhuān)業(yè)的角度為大家分析和敘述，閱讀完這篇文章希望大家可以有所收獲。

ZeroTurnaround很榮耀地發(fā)布了Frostbyte ，一種新的基于JVM棧的語(yǔ)言。該語(yǔ)言在出于使用標(biāo)準(zhǔn)Java軟件棧與工具的無(wú)奈下產(chǎn)生的。此語(yǔ)言很有希望成為過(guò)去多年來(lái)大量的JVM語(yǔ)言的答案。我們有些許信心并相信Frostbyte將會(huì)一并解決軟件開(kāi)發(fā)者處理的社會(huì)與工程問(wèn)題。

Frostbyte作為一個(gè)基于棧的語(yǔ)言最關(guān)鍵的創(chuàng)新是使用了帶括號(hào)的波蘭表達(dá)式語(yǔ)法。取代了以往先將指令壓入棧然后再執(zhí)行一條命令的方式，我們讓你能夠使用另外一種方式編碼，一種讓你感覺(jué)更加自然的方式。

Frostbyte代碼映射非常接近Java字節(jié)碼，任何代碼的系統(tǒng)開(kāi)銷(xiāo)都表現(xiàn)得非常明顯。我們擇優(yōu)的挑選了一些能夠兼顧語(yǔ)言簡(jiǎn)潔與功能強(qiáng)健，讓你能夠替換了大多數(shù)的Java程序。

示例

先看看最基本的hello world例子：

fun main :=    (call echo „Hello World!“)

Frostbyte允許你定義二進(jìn)制塊，它總是用內(nèi)聯(lián)方式調(diào)用。例如，以下就是一個(gè)使用標(biāo)準(zhǔn)庫(kù)echo二進(jìn)制塊的例子：

chunk echo :=    (with System (with (get out) (call println ...)))

擴(kuò)展hello world以后：

fun main :=    (with System (with (get out) (call println „Hello World!“)))

Frostbyte使用Ropes作為主要的文本類(lèi)型來(lái)取代String，但是Ropes會(huì)被轉(zhuǎn)換為String，例如實(shí)現(xiàn)已有的Java代碼：

fun main (args: Rope[]) :=    (echo (with „Hello, “ (call concat (args head))))

如果上面的代碼保存為hello.fb文件，你可以用fb命令執(zhí)行它：

> fb hello Jim  Hello, Jim

Frostbyte語(yǔ)言是完全國(guó)際化的語(yǔ)言。事實(shí)上，內(nèi)建的默認(rèn)語(yǔ)言是Estonian（愛(ài)沙尼亞語(yǔ)），但是語(yǔ)言會(huì)被從每一個(gè)源文件中檢測(cè)到。其他的語(yǔ)言提供簡(jiǎn)單的轉(zhuǎn)換文件--英語(yǔ)（英國(guó)）與俄語(yǔ)被默認(rèn)支持了。例如：

Köis=Rope  esik=main  kaja=echo  võttes=with  kutsu=call  jätka=concat  head=pea

Estonian（愛(ài)沙尼亞語(yǔ)）表達(dá)的hello.fb如下：

fun esik(argumendid: Köis[]) :=    (kaja (võttes „Hello, “ (kutsu jätka (võttes argumendid (kutsu pea)))))

你可以為你自己的代碼提供翻譯映射--轉(zhuǎn)義將會(huì)作為聲明存儲(chǔ)在.class文件中。Frostbyte IDE(即將推出)將會(huì)懂得這些轉(zhuǎn)義并根據(jù)你選擇的語(yǔ)言給與代碼自動(dòng)完成功能。

當(dāng)然，一個(gè)語(yǔ)言介紹沒(méi)有處理Fibonacci問(wèn)題是不完整，一下我們有幾種方式可以處理。使用if語(yǔ)句與遞歸是一種方法。我們嘗試免去使用if語(yǔ)句，因?yàn)樗_實(shí)是一種退化的模式匹配形式。在Frostbyte一種模式匹配的方法是在函數(shù)參數(shù)中描述模式并為每一種情況提供分離的函數(shù)體。

fun fib (0) := 0 fib (1) := 1 fib (n) := + (call fib (- n 1)) (call fib (- n 2))

正如你所看到的，例如+與*操作符需要call關(guān)鍵字。你也可以用op關(guān)鍵字穿件自己的操作符。

模式匹配也可以以表達(dá)式的方式出現(xiàn)在函數(shù)體內(nèi)，一下是一個(gè)Estonian（愛(ài)沙尼亞語(yǔ)）的示例。我們將要介紹代碼塊，循環(huán)/閉包 和 let（olgu） 關(guān)鍵字。

// get current time as Aeg (Time) type  amps praegu: Aeg := p&ouml;&ouml;ra (v&otilde;ttes System (kutsu currentTimeMillis)) Aeg     // Funktsioon, mis leiab raamatukogust laenutatud raamatud,   // mille tagastamisega on hilinetud v&otilde;i mis on rikutud  fun leiaHilinenudRaamatud := (   olgu raamatud := v&otilde;ttes Andmebaas (kutsu leiaLaenutatudRaamatud);   v&otilde;ttes raamatud (kutsu koonda ( raamat ->     ons? (< (v&otilde;ta t&auml;htaeg) (kutsu praegu)) ->       (uus Hilinemine raamat)     ons? (v&otilde;ta rikutud?) ->       (uus Rikkumine raamat)   ))  )

為了讓Estonian（愛(ài)沙尼亞語(yǔ)）能看懂，下面列出了翻譯映射：

amps=chunk  praegu=now  Aeg=Time  pööra=convert  olgu=let  koonda=collect (filter + map)  ons?=case (introduce a pattern)  uus=new raamatud=books  raamat=book  tähtaeg=due date  etc.

復(fù)雜示例

讓我們來(lái)看看更加復(fù)雜的關(guān)于類(lèi)的介紹：

class Vector2(x: Double, y: Double) :=   // dot product   op ‌·(that: Vector2) :=     + (* (get this x) (get that x)) (* (get this y) (get that y))

我們可以將（get this x）寫(xiě)為（with this （get x）），但是我們也with關(guān)鍵字來(lái)縮短：

op ‌·(that: Vector2) :=    (with this (      + (* (get x) (get that x)) (* (get y) (get that y))    ))

但更重要的是，如果我們編寫(xiě) with X or Y，那么X和Y的元組將被放入棧中，任何訪問(wèn)這些域或者方法將會(huì)在X和Y兩者間交替。

op ·(that: Vector2) :=   (with this or that (     + (* (get x) (get x)) (* (get y) (get y))   ))

我們可以再看看一切循環(huán)的模式，然后將其循環(huán)減少：

(with this or that (     + (* dup (get x)) (* dup (get y))   ))

dup 關(guān)鍵字將復(fù)制接下來(lái)的二進(jìn)制碼指令，但是結(jié)合this or that使用意味著***個(gè)（get x）將會(huì) 變成 this.x并且下一個(gè)（get x將會(huì)編程that.x），這是多么屌的特性啊。

二進(jìn)制碼

我敢打賭你一定對(duì)Frostbyte生成的二進(jìn)制碼很好奇。讓我們?cè)倏纯凑归_(kāi)了的hello world吧。

fun main := (with System (with (get out) (call println „Hello World!“)))

javap將生成這些：

0:   getstatic       #16; //Field java/lang/System.out:Ljava/io/PrintStream;  3:   ldc             #22; //String Hello World!  5:   invokevirtual   #24; //Method java/io/PrintStream.println:(Ljava/lang/String;)  8:   return

確實(shí)這個(gè)轉(zhuǎn)換相當(dāng)?shù)刂苯樱簑ith System(get out)在這種情況下轉(zhuǎn)換為getstatic。然后“Hello World”變成ldc，然后call invokevirtual。call總是被轉(zhuǎn)換為invokestatic,invokevirtual或者invokespecial ，除了當(dāng)它被用來(lái)擴(kuò)充一個(gè)chunk ,在這種情況下它會(huì)被chunk替換，任何的參數(shù)將會(huì)被插入到bitemarks（例如在echo chunk中，...便是一個(gè)bitmark）

chunk echo := (with System.out (call println ...))

Frostbyte 1.0發(fā)展藍(lán)圖

該語(yǔ)言仍在發(fā)展壯大中，但是我們工作已經(jīng)很接近***個(gè)公測(cè)版了。為了做好1.0版，我們有一些很牛逼的計(jì)劃：

• First class co-monads

• Kabanov-Raudjärv type inference

• Lazy chunks

• goto statement with labels

• Dynamorphisms

然而，我們?nèi)栽诓粩嗯Φ臑楣冒鎶^斗著。以下是一些讓你能夠熟悉該語(yǔ)言以及大版本更新的一些鏈接：

• Frostbyte 1.0 Language Specification

• Documentation, Tutorials and Examples

• API reference

上述就是小編為大家分享的來(lái)自ZeroTurnaround的新JVM語(yǔ)言Frostbyte怎么用了，如果剛好有類(lèi)似的疑惑，不妨參照上述分析進(jìn)行理解。如果想知道更多相關(guān)知識(shí)，歡迎關(guān)注億速云行業(yè)資訊頻道。