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

微信关注我们

原文链接: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

相关文章

发表评论

资源下载

更多资源
优质分享App

优质分享App

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

Mario

Mario

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

Rocky Linux

Rocky Linux

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

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。