写点什么

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:002780
用户头像

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

关注

评论

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

2024年全球零信任发展趋势

芯盾时代

网络安全 iam 统一身份认证 零信任

小浣熊家族 X InfoQ 写作社区有奖征文大赛获奖名单公示

InfoQ写作社区官方

热门活动

探索虚拟线程:原理与实现

京东科技开发者

蓝易云 - nginx教程:配置项add_header Access-Control-Allow-Origin *的含义

百度搜索:蓝易云

nginx Linux 运维 CORS 云服务器

探索未来网络安全的新篇章:火绒安全与 OpenVINO™ 的协同创新

Geek_2d6073

基于STM32+华为云IOT设计的智能窗帘控制系统

DS小龙哥

6 月 优质更文活动

DataWorks重磅推出全新资源组2.0,实现低成本灵活付费和动态平滑扩缩容

阿里云大数据AI技术

sql 大数据 阿里云 Serverless Dataworks

华为大咖说 | 从《庖丁解牛》谈项目经理的三重境界

华为云PaaS服务小智

项目管理 开发 华为云

Moka Ascend 2024|势在·人为,技术创新,激发企业管理内在效能

科技汇

警告!恶意域名疯狂外联,原因竟然是……

权说安全

应急响应 安全服务

【测试中的人工智能】自学活动一:理论知识学习

QE_LAB

人工智能 AI 测试

智能化改造助力企业高质量发展

天津汇柏科技有限公司

智能化 高质量发展

Toco x Databend:Databend Cloud 如何满足 Web3 大数据服务的严苛考验?

Databend

【论文速读】|利用大语言模型实现现实世界代码的翻译:一项针对翻译到Rust语言的研究

云起无垠

mac鼠标自动点击工具:RapidClick for Mac 激活版

你的猪会飞吗

Mac 软件 mac破解软件下载 Mac电脑软件

人工智能 | 大模型之提示词工程:少样本提示

测试人

软件测试

玩转Spring状态机

京东科技开发者

众所周知,配置即代码≠基础设置即代码

禅道项目管理

项目管理 DevOps 自动化测试 配置即代码 基础设置即代码

mac电脑好用的防火墙:Radio Silence for mac 激活版

你的猪会飞吗

mac软件下载 Mac电脑软件

Claude 3.5 Sonnet发布,比GPT-4o更智能;OpenAI CTO预测1年半“博士级智能”AI将出现|AI日报

可信AI进展

#人工智能

Explore WiFi 7: RF module chips QCN9274 and QCN9224 technical differences

wifi6-yiyi

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