红帽白皮书新鲜出炉!点击获取,让你的云战略更胜一筹! 了解详情
写点什么

BuckleScript 1.0 发布,面向 OCaml 的开源 JavaScript 编译器

  • 2016-09-11
  • 本文字数:1446 字

    阅读完需:约 5 分钟

BuckleScript 1.0 几乎完全兼容 OCaml 特性,同时改进了外部函数接口(FFI)以避免编写不安全的 JavaScript 存根。近日,InfoQ 采访了 BuckleScript 作者张宏波。

按照 Bloomberg 的说法,BuckleScript 旨在通过以下几个方面,尝试解决用 JavaScript 构建的大型系统存在的问题:

  • OCaml 的工业级强类型安全
  • 消除无效代码提升功能和模块级的性能,这要感谢成熟的 OCaml 类型系统
  • 编译时优化,以提高运行时性能
  • 支持 JavaScript 和本地平台

与现有的其他 JavaScript 转译器比较,BuckleScript 旨在提供更快的编译、可读和简洁的代码输出,保留和 OCaml 源码相同的模块结构。

InfoQ 采访了张宏波以了解更多 BuckleScript 的现在和未来。

是什么原因促使 BuckleScript 从最初版本升级到 1.0 版本?

主要是稳定的外部函数接口设计和 bug 修复。由于 BuckleScript 生成可读的 JavaScript 代码,JavaScript 调用 OCaml 函数时不需要做太多的工作。我们已经花费了好几个月时间斟酌外部函数接口的设计,以方便用户从 OCaml 调用 JavaScript。我们的目标是把 OCaml 这种表现类型系统(有一些 BuckleScript 定制的属性)的优势在不需要编写任何存根代码的前提下直接引入到 JavaScript 库模型。

主要的亮点有:

  1. BuckleScript 支持两种调用规范:uncurried(与 JavaScript 完全一样)和优化的 curried 调用规范(函数编程范式中使用)。
  2. 我们努力让 JavaScript 外部函数接口存在两种风格:一种是类似 PureScript 的功能性外部函数接口 ,另一种是对象外部函数接口,它采用 OCmal 表现对象类型系统实现。这允许我们严格模拟 JavaScript 结构类型。
  3. 我们还内置支持 JavaScript this 关键字的语义。
  4. OCaml 中一些独特的特性,如用于模型事件监听器的多态变体 (polymorphic variants)。相比 TypeScript,这给我们提供了非常有力的类型安全保障。

大家可以在我们产品见面会的介绍上找到更多 BuckleScript 外部函数接口的详细信息。

你们最近正在努力的一个目标是整合 Reason 和 BuckleScript。你能解释一下它是如何运作的吗?会给开发者带来什么好处呢?

Reason 是由 Facebook Jordan 团队开发的,它是为 OCaml 提供的 JavaScript 类前端语法。由于 OCaml 的编译工具链是非常模块化的,我们的前端很容易从 OCaml 转向 Reason。要强调的是,Reason 不仅仅是语法。Reason 团队也在努力改善 OCaml 中的工具,像构建系统、IDE 等。我们一起共同努力。比如,BuckleScript 外部函数接口的设计得到了 Reason 团队很多反馈。

BuckleScript 的发展路线图是什么?

  1. BuckleScript 把 OCaml 编译成 JavaScript。所以,我们会跟进 OCaml 的最新发展,并升级到最新版本的编译器。最近 OCaml 中有很多令人兴奋的新特性,我们会从中受益。例如, Flambda 的优化将会使我们的编译器更快。
  2. 我们将与其他的团队(Bloomberg 内部的或外部的)合作,为 BuckleScript 提供更多的绑定(NodeJS、Electron 和 React)。
  3. BuckleScript 的编译器也被编译成 JavaScript,这意味着用户不仅可以在任意地方运行 OCaml/Reason,同时也可以在任意地方写 OCaml/Reason。我们将所有的东西都打包成一个 JavaScript 文件,用户可以快速上手不会遭遇 JavaScript 疲劳。同时,我们也将提高我们的 playground ,使之成为更好的 Web IDE。

查看英文原文: Open-Source OCaml to JavaScript Compiler BuckleScript Hits 1.0


感谢夏雪对本文的审校。

给InfoQ 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博( @InfoQ @丁晓昀),微信(微信号: InfoQChina )关注我们。

2016-09-11 19:002675
用户头像

发布了 31 篇内容, 共 96412 次阅读, 收获喜欢 0 次。

关注

评论

发布
暂无评论
发现更多内容

好用的3D建筑设计软件:Vectorworks 2023激活版

真大的脸盆

Mac Mac 软件 3D建筑设计软件 建筑设计

模块9设计电商秒杀系统

KING

高速服务区智慧公厕

光明源智慧厕所

从ChatGPT谈AI发展方向:全力助推乡村振兴事业快速发展

加入高科技仿生人

人工智能 AI 低代码 乡村振兴 ChatGPT

内网升级“高效安全”利器!统信软件发布私有化更新管理平台

统信软件

安全 操作系统

天翼云坚持科技创新,加速算力普惠!

天翼云开发者社区

为什么秒验是老年用户注册的最佳选择

MobTech袤博科技

数据库ChatGPT插件来了,SQL使用体验进一步起飞

第四范式开发者社区

人工智能 机器学习 数据库 开源 特征

智能化司库平台助力财资管理升级

用友BIP

用友 智能会计 智能财务 价值财务 全球司库

智能会计成就价值财务

用友BIP

智能会计 价值财务 业财合一 用友智能财务

重塑大融合体系,立体推进“业财合一”

用友BIP

智能会计 价值财务 业财合一 用友智能财务 业财融合

SeaTunnel 与 StarRocks 生态融合,让大数据处理回归“简单”!

Apache SeaTunnel

开源 Bigdata Apache SeaTunnel

Airwallex 基于 Flink 打造实时风控系统

Apache Flink

大数据 flink 实时计算

开源项目的演进会遇到哪些“坑”?KubeVela 从发起到晋级 CNCF 孵化的全程回顾

阿里巴巴中间件

阿里云 开源 云原生 KubeVela cncf

让业务容器化更安全便捷,阿里云容器镜像服务 ACR 推出免费制品中心

阿里巴巴中间件

阿里云 容器 云原生

牛皮!仅凭“阿里爸爸”大厂面试参考笔记,去携程Java三面,已OC

Java面试那些事儿

Java 编程 架构 面试 java面试

如何用秒验提升用户体验和转换率?

MobTech袤博科技

Lion : 超越 AdamW 的优化算法

Zilliz

模型训练 算法优化

从 TDengine 存储引擎的变化探讨——为何大家应尽快切换 3.0 版本?

TDengine

tdengine 时序数据库 国产数据库

时序数据库入门 | 时序数据库的特点及与传统数据库的区别详解

Greptime 格睿科技

时序数据库 tsdb 时序数据

再获信创认证!MIAOYUN荣获“产业技术创新奖”和“优秀信创企业奖”双重奖项

MIAOYUN

信创 信创云 MIAOYUN 产业技术创新奖 优秀信创企业奖

人工智能快速发展趋势下,中国该如何应对?

蓝海大脑GPU

ChatGPT编程秀-1:从一个爬虫开始

仝键

JavaScript 架构 TDD java ChatGPT

Kyligence 亮相 Gartner 数据与分析峰会,展示指标平台创新成果

Kyligence

大数据 数据分析 指标中台

天翼云斩获SD-WAN & SASE两项大奖!让企业上云更加丝滑

天翼云开发者社区

IM开发者的零基础通信技术入门(十一):为什么WiFi信号差?一文即懂!

JackJiang

即时通信 即时通讯IM

众筹互助模式DApp开发智能合约系统搭建

薇電13242772558

智能合约

旅游景区智慧公厕,提升旅游新体验

光明源智慧厕所

怎样仿真才能驱动研发

Openlab_cosmoplat

工业互联网 开源社区 工业 仿真 仿真软件

持续创新,厚积薄发,用友引领企业数智化服务产业

用友BIP

用友 用友BIP

软件测试/测试开发丨智能遍历测试在回归测试与健壮性测试的应用

测试人

软件测试 自动化测试 测试开发 自动遍历

BuckleScript 1.0发布,面向OCaml的开源JavaScript编译器_JavaScript_Sergio De Simone_InfoQ精选文章