首页 文章 精选 留言 我的

精选列表

搜索[AI编程]，共10000篇文章
优秀的个人博客,低调大师

OCaml 4.10.0 发布，函数式编程语言

OCaml 4.10.0 发布了。OCaml 是一种快速、简洁、而强大的应用程序开发语言，开发工具包含交互式顶层解释器，字节码编译器以及最优本地代码编译器。Ocaml 有一个巨大标准库，使得可以像Python或者 Perl 语言一样可以方便地开发各种应用程序。 更新内容如下： 新的最适合主堆的分配器 OCaml 多核的初步运行时工作 现在在配置时强制执行不可变的字符串 用户定义的索引运算符，用于多维数组 即将推出：statmemprof，一个新的统计内存分析器 手册的各种改进 GADT 更精确的穷举性检查 许多错误修复 更新说明：https://github.com/ocaml/ocaml/releases/tag/4.10.0
2020-02-23
优秀的个人博客,低调大师

静态类型编程语言

以下由中文社区翻译，能力有限，如有翻译错误，欢迎加入 QQ 群指正！ Nim 团队很高兴为大家带来 1.0.4 版本发布的消息， 这是我们在 Nim 1.0.0 之后发布的第二个补丁版本。 想要了解更多关于 1.0.0 版本的细节，可以查看我们两个月前 版本发布说明。 距离前一个版本的发布尽管只是过去了一个月的时间， 但这次的版本已经包含了超过 70 次新的提交, 新修复了 20 个问题， 让我们的 1.0 版本变成了更好的样子。 安装 1.0.4 如果你已经用 choosenim 安装了之前版本的 Nim ， 升级到 Nim 的 1.0.4 版本会非常简单: $ choosenim update stable 如果你还没有安装 choosenim ， 你可以通过 这些说明 来下载和安装 choosenim， 当然你也可以按照我们的 安装 页面直接安装。 更新日志 你可以 在我们的 GitHub 仓库中 查阅此版本的变更日志以及 Nim 的其余源码。 附《更新日志》 语言层面的变更 模仿早期版本的 Nim ，在运行时取消了对无符号整数转换的检查。 文档中已针对这一改进做出了说明。查看 https://github.com/nim-lang/RFCs/issues/175 了解更多细节 (#12688) 添加了 or detectOs(Manjaro)，这样当检测到系统为 Manjaro 时，调用原生的包管理器会使用 pacman 进行包管理 (#12587) --os:ios 编译指令现在也代表了 macosx (#12585) 导出了 nim.cfg 解析器，现在其他工具也可以调用 readConfigFile 了 (#12602) BUG 修复 修复了 “在 OSX 上多次调用后，gorgeEx() 失败”的问题 (#12337) 优化和加强了 posix 模块 （#10723） 修复了 “Nim 的语法检查 允许使用 gorgeEx()，但不允许 writeFile()” 的问题，现在这两个都被提示 don’t run staticExec for ‘nim suggest 了 (#12491) 修复了 “一个算数的低级错误： -3 mod 7 == 3” （#12514） 修复了 “后端集成文档中 c2nim 链接失效” 的问题（#12537） 修复了 “‎具有默认值的泛型参数会导致不正确的泛型类型解析‎” 的问题 （#12528） 修复了 “再次出现的问题: compiler/vmgen.nim(354, 20) false leaking temporary 10 slotTempInt [AssertionError] (#12547) 修复了 “Windows 上的 64 位(只有在 64 位上有问题) nim 编译/链接断开” (#12536) 修复了 “除了最新的 devel 版本No =destroy for elements of closure environments other than for latest devel –gc:destructors” (#12577) 修复了 “[1.0.0] 无法使用 –cpu:avr 进行编译” (#12395) 修复了 “使用无效的对象变体会导致编译器崩溃” (#12379) 修复了 “import 之前写的编译指示会被静默忽略” (#5050) 修复了 “ strformat + asyncdispatch + const 同时使用会报错” 的问题 (#12612) 修复了 “--nimblePath 是附加的，需要一个无痛的解决方案” (#12601) 修复了 “nim.cfg 中 –define:FOO:VAL 的语法没有文档或者缺失” (#12367) 修复了 “使用宏生成的 vm 字符串无法正常使用” (#12670) 修复了 “staticRead() 引入的静态文件变更时，会强制触发重新编译。” (#12663) 修复了终止处理程序中调用 throw 引发的崩溃 (#12572) 修复了用于 具有字符串字段的对象 的 newLit (#12542) 文档更新 给 Math 模块添加了文档 (#12460) 修复了许多无效的链接，尽量将链接替换为了链接到文档内部 (#12463) sequtils：在示例中替换掉了已经遗弃的 ‘random’ 用法 (#12515) 给整型添加了文档 (#12513) 修复了代码风格的错误 (#12545) 修正文档和注释中的几个错误 (#12553) 添加文档以更好地区分 getProjectPath, getCurrentDir 和 currentSourcePath (#12565) doc/tut3.rst: 修复了介绍中的错别字 (#12607) 添加了指向 packaging 和 distro 页面的链接 (#12603) 修复了 $*(dt: DateTime) 的说明 (#12660) 在 manual.rst 中对 experimental / parallel 加入了示例以明确区别 (#12472) 修复手册中错误的章节层级关系 (#12724)
2019-11-28
优秀的个人博客,低调大师

OCaml 4.09.0 发布，函数式编程语言

OCaml 是一种快速、简洁、而强大的应用程序开发语言，开发工具包含交互式顶层解释器，字节码编译器以及最优本地代码编译器。Ocaml 有一个巨大标准库，使得可以像Python或者 Perl 语言一样可以方便地开发各种应用程序。4.09.0版本亮点如下： 新的优化，特别是匹配中的affine functions（仿射函数），如下： type t = A | B | C let affine = function | A -> 4 | B -> 3 | C -> 2 graphics库已从编译器发行版中删除 vmthread库被删除 取消对编译器插件的支持 还有许多修复 完整列表见更改日志： http://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes
2019-09-21
优秀的个人博客,低调大师

Vala 0.46 发布，跨平台编程语言

自 Vala 0.44以来的主要更新如下： 1、依赖 GLib 2.48 以上版本 2、增加目标依赖库选项 AUTO --target-glib=auto 3、异常类（error-domains）支持支持静态方法 4、Bug修复 5、各种库更新 推荐您尝试使用 Vala 的十大理由： 1、语法兼容C#和Java，表达能力强，生产力高。 语法干净、简洁、表达能力强，没有让人晕菜的 ->/&/:，点号(.）搞定一切； 2、内存所有权和使用引用计数管理，内存使用安全无烦恼。 3、支持接口：支持抽象接口，也支持接口实现 接口实现类似于PHP traits 和 JavaScript 的mixin的功能； 4、点分名字空间支持大型应用开发。 5、语言级别的正则表达式支持。 正则表达式给予了我强大的力量，在我的代码中无处不在，越用越熟练。 顺便推荐好工具： https://regex101.com/ 6、有C的速度和良好的互操作性支持 可以生成C头文件和C代码并获得全平台支持，也可以Vala与C混合编译。 7、强大且成熟的类库支持（官方支持约250个库） 基于GLib的强大类库体系，有工业级成熟度的各种库和GUI框架。 默认基于 GObject 的对象系统，也支持构建自己的单根对象体系。 8、有丰富且完善的文档支持（valadoc.org）也有大量开源项目可供参考学习。 9、有多种语言服务器【LSP】实现，支持各种编辑器和IDE； https://gitlab.gnome.org/esodan/gvls https://github.com/benwaffle/vala-language-server 10、Gnome 和 Elementary OS官方钦定语言，并获得IBM公司研究机构采用。 更新说明：https://gitlab.gnome.org/GNOME/vala/raw/master/NEWS
2019-09-06
优秀的个人博客,低调大师

并发编程工具之一：CountDownLatch 用法

CountDownLatch 用法CountDownLatch是java.util.concurrent包中一个类，CountDownLatch只要提供的机制是多个（具体数量等于初始化CountDownLatch时count的值）线程都达到了预期状态或者完成了预期工作时触发事件，其他线程可以等待这个事件来触发自己后续的工作。等待的线程可以是多个，即CountDownLatch可以唤醒多个等待的线程。到达自己预期状态的线程会调用CountDownLatch的countDown方法，而等待的线程会调用CountDownLatch的await方法。 每次调用countDown方法时，计数都会减1，直到0为止，此时因调用await方法的阻塞线程被唤醒 代码例子： public static void main(String[] args) throws InterruptedException { CountDownLatch countDown = new CountDownLatch(1); CountDownLatch await = new CountDownLatch(5); // 依次创建并启动处于等待状态的5个MyRunnable线程 for (int i = 0; i < 5; ++i) { new Thread(new MyRunnable(countDown, await)).start(); } System.out.println("用于触发处于等待状态的线程开始工作......"); System.out.println("用于触发处于等待状态的线程工作完成，等待状态线程开始工作......"); countDown.countDown(); await.await(); System.out.println("Bingo!"); } public class MyRunnable implements Runnable { private final CountDownLatch countDown; private final CountDownLatch await; public MyRunnable(CountDownLatch countDown, CountDownLatch await) { this.countDown = countDown; this.await = await; } public void run() { try { countDown.await();//等待主线程执行完毕，获得开始执行信号... System.out.println("处于等待的线程开始自己预期工作......"); await.countDown();//完成预期工作，发出完成信号... } catch (InterruptedException e) { e.printStackTrace(); } } } 运行结果： 用于触发处于等待状态的线程开始工作...... 用于触发处于等待状态的线程工作完成，等待状态线程开始工作...... 处于等待的线程开始自己预期工作...... 处于等待的线程开始自己预期工作...... 处于等待的线程开始自己预期工作...... 处于等待的线程开始自己预期工作...... 处于等待的线程开始自己预期工作...... Bingo!
2019-07-29

资源下载

更多资源
Mario

Mario

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

时间: 2026-04-11 大小: 211.28KB 下载: 56次
腾讯云软件源

腾讯云软件源

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

时间: 2026-08-21 大小: 1MB 下载: 10次
Nacos

Nacos

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

时间: 2026-09-24 大小: 189MB 下载: 9次
WebStorm

WebStorm

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

时间: 2025-12-13 大小: 249.54MB 下载: 22次
热门标签
DeepSeek Jdk25 OpenAi HarmonyOS6 Nacos3 SpringBoot4 SpringCloud Docker Kubernetes Service Mesh Redis Gemini3 Rocky

欢迎您来访！

登录后，您将获得更多功能！
热门文章
联系我们

有任何问题或合作意向欢迎联系我们

Email: 99873273@qq.com

QQ: 99873273

用户登录
用户注册