首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/215914/keepassxc-2-7-4-release

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

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

Idris 2 version 0.6.0 发布,类 Haskell 的纯函数编程语言

Idris 2 发布了 0.6.0 版本。更新内容包括 REPL 变更、语法变更、编译器变更、IDE 协议变更和标准库变更等。 Idris 是一个类似 Haskell 的纯函数编程语言,类型系统支持 dependent types。 依赖模式匹配的依赖类型系统 简单的 C 函数接口 编译器级别的编码支持 where 语句,with 规则,简单的 case 表达式,模式匹配 let 和 lambda 绑定 Dependent records with projection and update Type classes 类型驱动的重载方案 do notation and idiom brackets 缩进语法 可扩充的语法 Cumulative universes 整体验证 类似 Hugs 的交互环境 主要变化 引入新的基于 Scheme 的实验性 evaluator(只有在通过 Chez scheme 或 Racket 编译时才可以使用)。如需在 REPL 中访问此功能,使用:set eval scheme将 evaluator 模式设置为基于 Scheme 的 evaluator。 ...

Bytebase v1.7.0 发布

Bytebase 是一个基于网络、零配置、无依赖的数据库 Schema 变更和版本控制管理工具,适用于开发人员和 DBA。 Bytebase 1.7.0 发布,更新内容如下: 新功能 新增 31 条 MySQL 审核规则。https://www.bytebase.com/docs/sql-review/review-rules/overview 在 SQL 审核中新增了 DDL 合法性验证。 支持取消 gh-ost 同步任务。 改进 优化了活动日志在工单详情页的显示方式。 优化了创建和审批工单的性能。 社区 Bytebase 成为了第一个被 CNCF Landscape 收录的 database CI/CD 项目 更多详情可查看:https://github.com/bytebase/bytebase/releases/tag/1.7.0

相关文章

发表评论

资源下载

更多资源
Mario

Mario

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

腾讯云软件源

腾讯云软件源

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

Nacos

Nacos

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

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

用户登录
用户注册