Frostbyte:來自ZeroTurnaround的新JVM語言

ZeroTurnaround很榮耀地發布了Frostbyte ，一種新的基于JVM棧的語言。該語言在出于使用標準Java軟件棧與工具的無奈下產生的。此語言很有希望成為過去多年來大量的JVM語言的答案。我們有些許信心并相信Frostbyte將會一并解決軟件開發者處理的社會與工程問題。

Frostbyte作為一個基于棧的語言最關鍵的創新是使用了帶括號的波蘭表達式語法。取代了以往先將指令壓入棧然后再執行一條命令的方式，我們讓你能夠使用另外一種方式編碼，一種讓你感覺更加自然的方式。

Frostbyte代碼映射非常接近Java字節碼，任何代碼的系統開銷都表現得非常明顯。我們擇優的挑選了一些能夠兼顧語言簡潔與功能強健，讓你能夠替換了大多數的Java程序。

示例

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

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

Frostbyte允許你定義二進制塊，它總是用內聯方式調用。例如，以下就是一個使用標準庫echo二進制塊的例子：

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

擴展hello world以后：

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

Frostbyte使用Ropes作為主要的文本類型來取代String，但是Ropes會被轉換為String，例如實現已有的Java代碼：

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

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

> fb hello Jim
Hello, Jim

Frostbyte語言是完全國際化的語言。事實上，內建的默認語言是Estonian（愛沙尼亞語），但是語言會被從每一個源文件中檢測到。其他的語言提供簡單的轉換文件--英語（英國）與俄語被默認支持了。例如：

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

Estonian（愛沙尼亞語）表達的hello.fb如下：

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

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

當然，一個語言介紹沒有處理Fibonacci問題是不完整，一下我們有幾種方式可以處理。使用if語句與遞歸是一種方法。我們嘗試免去使用if語句，因為它確實是一種退化的模式匹配形式。在Frostbyte一種模式匹配的方法是在函數參數中描述模式并為每一種情況提供分離的函數體。

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

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

模式匹配也可以以表達式的方式出現在函數體內，一下是一個Estonian（愛沙尼亞語）的示例。我們將要介紹代碼塊，循環/閉包 和 let（olgu） 關鍵字。

// get current time as Aeg (Time) type
amps praegu: Aeg := p??ra (v?ttes System (kutsu currentTimeMillis)) Aeg

// Funktsioon, mis leiab raamatukogust laenutatud raamatud, 
// mille tagastamisega on hilinetud v?i mis on rikutud
fun leiaHilinenudRaamatud := (
 olgu raamatud := v?ttes Andmebaas (kutsu leiaLaenutatudRaamatud);
 v?ttes raamatud (kutsu koonda ( raamat ->
   ons? (< (v?ta t?htaeg) (kutsu praegu)) ->
     (uus Hilinemine raamat)
   ons? (v?ta rikutud?) ->
     (uus Rikkumine raamat)
 ))
)

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

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.

復雜示例

讓我們來看看更加復雜的關于類的介紹：

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）寫為（with this （get x）），但是我們也with關鍵字來縮短：

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

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

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

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

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

dup 關鍵字將復制接下來的二進制碼指令，但是結合this or that使用意味著第一個（get x）將會 變成 this.x并且下一個（get x將會編程that.x），這是多么屌的特性啊。

二進制碼

我敢打賭你一定對Frostbyte生成的二進制碼很好奇。讓我們再看看展開了的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

確實這個轉換相當地直接：with System(get out)在這種情況下轉換為getstatic。然后“Hello World”變成ldc，然后call invokevirtual。call總是被轉換為invokestatic,invokevirtual或者invokespecial ，除了當它被用來擴充一個chunk ,在這種情況下它會被chunk替換，任何的參數將會被插入到bitemarks（例如在echo chunk中，...便是一個bitmark）

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

Frostbyte 1.0發展藍圖

該語言仍在發展壯大中，但是我們工作已經很接近第一個公測版了。為了做好1.0版，我們有一些很牛逼的計劃：

• First class co-monads
• Kabanov-Raudj?rv type inference
• Lazy chunks
• goto statement with labels

• Dynamorphisms

然而，我們仍在不斷努力的為公用版奮斗著。以下是一些讓你能夠熟悉該語言以及大版本更新的一些鏈接：

• Frostbyte 1.0 Language Specification
• Documentation, Tutorials and Examples

• API reference

via:zeroturnaround.com