PureScript v0.15.8 发布,小巧而强大的静态类型语言

PureScript  v0.15.8 发布了。PureScript 是个小巧而强大的静态类型语言,可以编译成 JavaScript。PureScript 主要是由 Haskell 和 PureScript 编写的。

新功能:

  • 生成的文档现在支持 dark 模式(#4438)。PureScript 文档有一个新的 dark 主题可用。它将根据你的浏览器或系统的配色方案偏好自动使用。

Bug 修复:

  • 修复 instance deriving regression(#4432)

  • 当类型不匹配时输出 type-error 发生的 label(#4411)

  • 检查值声明时考虑 typed holes(#4437)。现在,编译器在为类型检查的值声明排序时会考虑 typed holes,从而允许建议更多 top-level values,而不是受限于 reverse lexicographical ordering。

Given:

module Main where

newtype K = K Int

aRinku :: Int -> K
aRinku = K

bMaho :: K
bMaho = ?help 0

cMuni :: Int -> K
cMuni = K

dRei :: Int -> K
dRei _ = bMaho

Before:

  Hole 'help' has the inferred type
          
    Int -> K
          
  You could substitute the hole with one of these values:
                         
    Main.cMuni  :: Int -> K
    Main.K      :: Int -> K

After:

  Hole 'help' has the inferred type
          
    Int -> K
          
  You could substitute the hole with one of these values:
                          
    Main.aRinku  :: Int -> K
    Main.cMuni   :: Int -> K
    Main.K       :: Int -> K

Other improvements:

  • 将 Stackage snapshot 升级到 lts-20.9,将 GHC 升级到 9.2.5(#4422#4428 和 #4433)

Internal

  • 将 license/changelog scrips 更新到最新的 Stack 解析器(#4445)

更新说明:https://github.com/purescript/purescript/releases/tag/v0.15.8 

 

优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/231610/purescript-0-15-8-released

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

相关文章

发表评论

资源下载

更多资源
优质分享Android(本站安卓app)

优质分享Android(本站安卓app)

近一个月的开发和优化,本站点的第一个app全新上线。该app采用极致压缩,本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario,低调大师唯一一个Java游戏作品

Mario,低调大师唯一一个Java游戏作品

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Oracle Database,又名Oracle RDBMS

Oracle Database,又名Oracle RDBMS

Oracle Database,又名Oracle RDBMS,或简称Oracle。是甲骨文公司的一款关系数据库管理系统。它是在数据库领域一直处于领先地位的产品。可以说Oracle数据库系统是目前世界上流行的关系数据库管理系统,系统可移植性好、使用方便、功能强,适用于各类大、中、小、微机环境。它是一种高效率、可靠性好的、适应高吞吐量的数据库方案。

Apache Tomcat7、8、9(Java Web服务器)

Apache Tomcat7、8、9(Java Web服务器)

Tomcat是Apache 软件基金会(Apache Software Foundation)的Jakarta 项目中的一个核心项目,由Apache、Sun 和其他一些公司及个人共同开发而成。因为Tomcat 技术先进、性能稳定,而且免费,因而深受Java 爱好者的喜爱并得到了部分软件开发商的认可,成为目前比较流行的Web 应用服务器。