PureScript v0.13.6 发布，小巧而强大的静态类型语言-低调大师

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

2020-01-18 878

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

此版本修复了一些 bug，包括：

在执行完全重新加载之前重置IDE状态
将源跨度添加到 ado desugaring
为某些受保护的匹配生成正确的友好的失败 case。具体来说，当多向 case 包含一个模式保护或多个保护表达式时，已废止的 case 表达式可能包含与匹配表达式具有不同的保护性的守卫，从而导致错误。

同时也带来了功能方面的改进，包括：

改进了对功能依赖性的模糊变量检查
针对完全构建优化导入 desugaring
pretty-printing 中使用 PureScript 转义
优化 do-notation 中的通配符绑定
Prim 模块输出 docs.json 文件

详情查看更新说明：

https://github.com/purescript/purescript/releases/tag/v0.13.6

微信关注我们

原文链接：https://www.oschina.net/news/112886/purescript-0-13-6-released

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

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

BudWk 6.0.1 Alpha 发布，Java 微服务分布式开发框架

BudWk原名 NutzWk ，从V6版本起更名为 BudWk。 V6演示地址：https://demo.budwk.com V5演示地址：https://nutzwk.wizzer.cn 后端技术：nutzboot + dubbo + redis + zookeeper +shiro +quartz + logback + sentinel (可选)等主流技术前端技术：nuxt + vue+ element 项目介绍: BudWk(原名 NutzWk)是有多年历史的Java Web开源开发框架，其6.x 是Java 微服务分布式 +前后端完全分离版本，采用nutzboot(nutz核心)、dubbo、redis、zookeeper、shiro、quartz、beetl、logback、sentinel(流控框架,可选)、seata(分布式事务,可选) 等开源技术，自带系统管理、简易CMS、微信模块、定时任务、服务API等功能，目前已全面应用于各类商业项目中。 BudWkv6.0.1更新内容：前后端完全分离，后端只留下API，去除模板引擎； SLog日志功能独立为微服务模块，支持...

2020-01-18

924

PhpStorm 2019.3.2 RC 发布了，此版本更新内容如下：修复：由于与库（PHPMD）冲突，PHP 7.4 质量工具有问题支持 TypeScript 3.8 仅类型导入/导出更新说明： https://blog.jetbrains.com/phpstorm/2020/01/phpstorm-2019-3-2-rc

2020-01-18

801

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。