Julia官方性能指南：如何通过代码优化逼近C语言极致速度？
本文源自Julia官方文档，深入剖析了提升Julia代码运行效率的关键技术，包括避免使用未类型化的全局变量、编写类型稳定的函数、预分配内存以及使用@code_warntype等工具诊断问题。文章指出，Julia的编译器虽然强大，但仍需开发者...
标签索引 / 第 6 页
编程语言
这个标签下有 112 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
三语言共舞：cl-kawa 实现 Lisp、Scheme 与 Java 的零边界互操作
cl-kawa 是一项极具创新性的技术演示项目，成功在单个 SBCL 进程中实现了 Common Lisp、Kawa Scheme 和 Java 的深度融合。通过利用 OpenLDK（用 Common Lisp 编写的 JVM），项目将 J...
高性能 Lisp 编译器 SBCL 迭代至 2.6.1：经典 AI 语言的现代重生
Steel Bank Common Lisp (SBCL) 作为高性能 Common Lisp 编译器，近期发布了 2.6.1 版本。作为一个开源且拥有宽松许可证的项目，SBCL 不仅提供了符合 ANSI 标准的编译器和运行时系统，还内置了...
femtolisp：仅150KB的极简Lisp实现，用千行C代码重构编程语言美学
Femtolisp是一个轻量级且稳健的类Scheme Lisp实现。项目初衷是尝试用C语言在1000行代码内编写最快的解释器，最终演化为一个功能极其强大的系统。尽管体积仅约150KB，它却原生支持向量、哈希表、异常处理、紧凑型垃圾回收（GC...
“永续计算”：在算力通胀时代反思技术的可持续性与极简美学
面对AI大模型带来的巨大能耗与硬件淘汰潮，“永续计算”作为一种新兴的技术哲学正引发关注。它提倡借鉴生态学概念，致力于构建低能耗、高可维护性且能长久运行的计算系统。文中提到的Canon Cat电脑及其采用的Forth语言，正是这一理念的早期实...
仅凭“好不好看”选语言？Odin作者：语法是表象，语义才是灵魂
本文由Odin语言作者撰写，犀利地指出了开发者在选型时常见的误区——过度纠结于变量声明、分号等表层语法。作者强调，编程语言的核心在于其“语义”，即程序如何运行和交互的逻辑，而语法只是其外衣。他以Odin语言的设计为例，阐述了如何通过优化类型...
你的 AI Agent 框架只是 Elixir 的拙劣复刻？
文章指出，主流 Python AI 框架正试图重新发明轮子，而 Elixir 及其 BEAM 虚拟机早在 30 年前就已完美解决了 Agent 的核心难题：高并发、状态隔离与容错。作者认为，受限于 Python 的 GIL 等特性，构建大规...
编程语言设计新视角：如何在 Hindley-Milner 与双向类型检查中做选择？
本文深入探讨了编程语言开发中关于类型系统的经典选择困境：Hindley-Milner (HM) 还是双向类型检查。作者指出这实际上是一个伪命题，因为双向类型检查本质上是 HM 的超集，而非对立面。真正值得语言设计者关注的核心问题并非算法流派...
独立浏览器项目Ladybird因技术阻碍，宣布停止采用Swift语言
备受关注的独立浏览器项目Ladybird已正式关闭关于“Swift 6.0 阻碍”的议题，并明确表示将不再继续推进对Swift编程语言的采用。该项目曾尝试在现有的C++代码库中引入Swift，但遭遇了严重的底层技术瓶颈，包括编译器在处理C+...
Lean 4 学习指南（一）：解锁编程与数学证明的融合之道
这篇由 Lean 核心贡献者撰写的系列教程，深入介绍了 Lean 4 这一现代交互式定理证明器和函数式编程语言。文章不仅涵盖了 Lean 的语法基础和类型系统，更重点剖析了其强大的元编程能力。Lean 4 能够让开发者在编写代码的同时构建数...