Frostbyte:来自ZeroTurnaround的新JVM语言

ZeroTurnaround很荣耀地发布了Frostbyte ，一种新的基于JVM栈的语言。该语言在出于使用标准Java软件栈与工具的无奈下产生的。此语言很有希望成为过去多年来大量的JVM语言的答案。我们有些许信心并相信Frostbyte将会一并解决软件开发者处理的社会与工程问题。

创新互联是一家集网站建设,宝山企业网站建设,宝山品牌网站建设,网站定制,宝山网站建设报价,网络营销,网络优化,宝山网站推广为一体的创新建站企业，帮助传统企业提升企业形象加强企业竞争力。可充分满足这一群体相比中小企业更为丰富、高端、多元的互联网需求。同时我们时刻保持专业、时尚、前沿，时刻以成就客户成长自我，坚持不断学习、思考、沉淀、净化自己，让我们为更多的企业打造出实用型网站。

Frostbyte作为一个基于栈的语言最关键的创新是使用了带括号的波兰表达式语法。取代了以往先将指令压入栈然后再执行一条命令的方式，我们让你能够使用另外一种方式编码，一种让你感觉更加自然的方式。

Frostbyte代码映射非常接近Java字节码，任何代码的系统开销都表现得非常明显。我们择优的挑选了一些能够兼顾语言简洁与功能强健，让你能够替换了大多数的Java程序。

示例

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

 
 
 
    
  
  
  
  1. fun main :=  
    2. 
  
  
  
  2.   (call echo „Hello World!“) 
    3.

Frostbyte允许你定义二进制块，它总是用内联方式调用。例如，以下就是一个使用标准库echo二进制块的例子：

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

扩展hello world以后：

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

Frostbyte使用Ropes作为主要的文本类型来取代String，但是Ropes会被转换为String，例如实现已有的Java代码：

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

如果上面的代码保存为hello.fb文件，你可以用fb命令执行它：

 
 
 
    
  
  
  
  1. > fb hello Jim  
    2. 
  
  
  
  2. Hello, Jim 
    3.

Frostbyte语言是完全国际化的语言。事实上，内建的默认语言是Estonian（爱沙尼亚语），但是语言会被从每一个源文件中检测到。其他的语言提供简单的转换文件--英语（英国）与俄语被默认支持了。例如：

 
 
 
    
  
  
  
  1. Köis=Rope  
    2. 
  
  
  
  2. esik=main  
    3. 
  
  
  
  3. kaja=echo  
    4. 
  
  
  
  4. võttes=with  
    5. 
  
  
  
  5. kutsu=call  
    6. 
  
  
  
  6. jätka=concat  
    7. 
  
  
  
  7. head=pea 
    8.

Estonian（爱沙尼亚语）表达的hello.fb如下：

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

你可以为你自己的代码提供翻译映射--转义将会作为声明存储在.class文件中。Frostbyte IDE(即将推出)将会懂得这些转义并根据你选择的语言给与代码自动完成功能。

当然，一个语言介绍没有处理Fibonacci问题是不完整，一下我们有几种方式可以处理。使用if语句与递归是一种方法。我们尝试免去使用if语句，因为它确实是一种退化的模式匹配形式。在Frostbyte一种模式匹配的方法是在函数参数中描述模式并为每一种情况提供分离的函数体。

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

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

模式匹配也可以以表达式的方式出现在函数体内，一下是一个Estonian（爱沙尼亚语）的示例。我们将要介绍代码块，循环/闭包 和 let（olgu） 关键字。

 
 
 
    
  
  
  
  1. // get current time as Aeg (Time) type  
    2. 
  
  
  
  2. amps praegu: Aeg := pööra (võttes System (kutsu currentTimeMillis)) Aeg  
    3. 
  
  
  
  3.    
    4. 
  
  
  
  4. // Funktsioon, mis leiab raamatukogust laenutatud raamatud,   
    5. 
  
  
  
  5. // mille tagastamisega on hilinetud või mis on rikutud  
    6. 
  
  
  
  6. fun leiaHilinenudRaamatud := (  
    7. 
  
  
  
  7.  olgu raamatud := võttes Andmebaas (kutsu leiaLaenutatudRaamatud);  
    8. 
  
  
  
  8.  võttes raamatud (kutsu koonda ( raamat ->  
    9. 
  
  
  
  9.    ons? (< (võta tähtaeg) (kutsu praegu)) ->  
    10. 
  
  
  
  10.      (uus Hilinemine raamat)  
    11. 
  
  
  
  11.    ons? (võta rikutud?) ->  
    12. 
  
  
  
  12.      (uus Rikkumine raamat)  
    13. 
  
  
  
  13.  ))  
    14. 
  
  
  
  14. ) 
    15.

为了让Estonian（爱沙尼亚语）能看懂，下面列出了翻译映射：

 
 
 
    
  
  
  
  1. amps=chunk  
    2. 
  
  
  
  2. praegu=now  
    3. 
  
  
  
  3. Aeg=Time  
    4. 
  
  
  
  4. pööra=convert  
    5. 
  
  
  
  5. olgu=let  
    6. 
  
  
  
  6. koonda=collect (filter + map)  
    7. 
  
  
  
  7. ons?=case (introduce a pattern)  
    8. 
  
  
  
  8. uus=new 
    9. 
  
  
  
  9. raamatud=books  
    10. 
  
  
  
  10. raamat=book  
    11. 
  
  
  
  11. tähtaeg=due date  
    12. 
  
  
  
  12. etc. 
    13.

复杂示例

让我们来看看更加复杂的关于类的介绍：

 
 
 
    
  
  
  
  1. class Vector2(x: Double, y: Double) :=  
    2. 
  
  
  
  2.  // dot product  
    3. 
  
  
  
  3.  op ‌·(that: Vector2) :=  
    4. 
  
  
  
  4.    + (* (get this x) (get that x)) (* (get this y) (get that y)) 
    5.

我们可以将（get this x）写为（with this （get x）），但是我们也with关键字来缩短：

 
 
 
    
  
  
  
  1. op ‌·(that: Vector2) :=  
    2. 
  
  
  
  2.   (with this (  
    3. 
  
  
  
  3.     + (* (get x) (get that x)) (* (get y) (get that y))  
    4. 
  
  
  
  4.   )) 
    5.

但更重要的是，如果我们编写 with X or Y，那么X和Y的元组将被放入栈中，任何访问这些域或者方法将会在X和Y两者间交替。

 
 
 
    
  
  
  
  1. op ·(that: Vector2) :=  
    2. 
  
  
  
  2.  (with this or that (  
    3. 
  
  
  
  3.    + (* (get x) (get x)) (* (get y) (get y))  
    4. 
  
  
  
  4.  )) 
    5.

我们可以再看看一切循环的模式，然后将其循环减少：

 
 
 
    
  
  
  
  1. (with this or that (  
    2. 
  
  
  
  2.    + (* dup (get x)) (* dup (get y))  
    3. 
  
  
  
  3.  )) 
    4.

dup 关键字将复制接下来的二进制码指令，但是结合this or that使用意味着***个（get x）将会 变成 this.x并且下一个（get x将会编程that.x），这是多么屌的特性啊。

二进制码

我敢打赌你一定对Frostbyte生成的二进制码很好奇。让我们再看看展开了的hello world吧。

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

javap将生成这些：

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

确实这个转换相当地直接：with System(get out)在这种情况下转换为getstatic。然后“Hello World”变成ldc，然后call invokevirtual。call总是被转换为invokestatic,invokevirtual或者invokespecial ，除了当它被用来扩充一个chunk ,在这种情况下它会被chunk替换，任何的参数将会被插入到bitemarks（例如在echo chunk中，...便是一个bitmark）

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

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

英文：zeroturnaround.com

原文链接：http://www.oschina.net/question/89964_47121

【编辑推荐】

  1. Final关键字对JVM类加载器的影响
  2. JVM加载过程及异常
  3. 当下主流JVM语言一览
  4. JVM如何判断类相同
  5. 基于 JVM 的新一代编程语言：Fantom

网站标题：Frostbyte:来自ZeroTurnaround的新JVM语言
网页URL：http://www.mswzjz.cn/qtweb/news14/249764.html

攀枝花网站建设、攀枝花网站运维推广公司-贝锐智能，是专注品牌与效果的网络营销公司；服务项目有等

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 贝锐智能

贝锐智能技术为您推荐以下文章

小程序开发知识

同城分类信息

贵阳托管服务器　　 　自适应网页设计　　 　手机网站建设　　 　做网站设计　　 　微信小程序开发　　 　定制网站制作　　 　名片设计　　 　广安网站建设　　 　教育建设方案　　 　户外广告设计　　 　网站推广优化　　 　成都网络公司　　 　成都网站制作　　 　盐亭网站制作公司　　 　四川广汉锦华　　 　四川电信高防服务器托管　　 　关键词优化　　 　帝美豪门窗　　 　东方电机技改　　 　成都木托盘