程序员茄子
全部
编程
代码
资讯
案例
综合
联系我们
Erlang 相关技术文章
php
mysql
shell
go
vue
css
api接口对接
支付接口对接
MQTT 5.0 + EMQX 深度拆解:当物联网消息总线成为 AI Agent 的「神经中枢」——从 QoS 语义、遗嘱与主题别名到 A2A over MQTT 的全链路实战
编程
MQTT 5.0 + EMQX 深度拆解:当物联网消息总线成为 AI Agent 的「神经中枢」——从 QoS 语义、遗嘱与主题别名到 A2A over MQTT 的全链路实战
2026-08-18 19:45:20
深度拆解 MQTT 5.0 与 EMQX:QoS 0/1/2 语义、遗嘱与保留消息、主题别名、共享订阅、请求响应,EMQX 的 Erlang 架构与规则引擎、集群设计,以及 EMQX 6.2 的 A2A over MQTT 如何让 AI Agent 通过消息总线注册、发现与协作,配 Python/Go 可运行代码与生产性能优化清单。
MQTT
EMQX
MQTT 5.0
物联网
消息队列
AI Agent
A2A
发布订阅
Erlang
IoT
Gleam 深度实战:BEAM 上的强类型函数式编程——从类型系统哲学到生产级 Actor 并发全链路拆解
编程
Gleam 深度实战:BEAM 上的强类型函数式编程——从类型系统哲学到生产级 Actor 并发全链路拆解
2026-08-17 16:48:29
深度拆解 Gleam 语言:BEAM 运行时架构、强类型 HM 类型系统、Actor 并发模型与 OTP 设计模式,配完整可运行代码与性能基准测试。
Gleam
BEAM
函数式编程
TypeScript
Go
Erlang
Elixir
OTP
Actor模型
并发编程
分布式
强类型
系统编程
BEAM 运行时上的新选择:Gleam 语言如何用类型系统重新定义后端开发
编程
BEAM 运行时上的新选择:Gleam 语言如何用类型系统重新定义后端开发
2026-08-09 06:15:48
深度拆解 Gleam 1.18.0:为什么一门面向 Erlang VM 和 JavaScript 的类型安全语言值得你花时间。从 ADT、Actor 并发模型、OTP 监督树到双编译目标,配完整代码示例与踩坑清单。
Gleam
类型系统
OTP
Actor
BEAM
Erlang
JavaScript
并发
代数数据类型
Gleam 语言实战:用代数数据类型和 Actor 模型构建可靠后端——从 BEAM OTP 到 JS 编译目标的完整指南
编程
Gleam 语言实战:用代数数据类型和 Actor 模型构建可靠后端——从 BEAM OTP 到 JS 编译目标的完整指南
2026-08-09 06:15:17
深度拆解 Gleam 1.18.0:为什么一门面向 Erlang VM 和 JavaScript 的类型安全语言值得你花时间。从 ADT、Actor 并发模型、OTP 监督树到双编译目标,配完整代码示例与踩坑清单。
Gleam
类型系统
OTP
Actor
BEAM
Erlang
JavaScript
并发
代数数据类型
Gleam 编程语言深度拆解:当类型安全遇上 BEAM 运行时——从 OTP 架构到双编译目标,一门让"错误在编译期消失"的工程语言
编程
Gleam 编程语言深度拆解:当类型安全遇上 BEAM 运行时——从 OTP 架构到双编译目标,一门让"错误在编译期消失"的工程语言
2026-08-09 06:14:07
深度拆解 Gleam 1.18.0:为什么一门面向 Erlang VM 和 JavaScript 的类型安全语言值得你花时间。从 ADT、Actor 并发模型、OTP 监督树到双编译目标,配完整代码示例与踩坑清单。
Gleam
类型系统
OTP
Actor
BEAM
Erlang
JavaScript
并发
代数数据类型
Elixir v1.20 深度拆解:当一门动态语言决定「不写一行类型注解」也要做类型检查——集合论类型、dynamic() 的收窄语义与 BDD 的编译期手术
编程
Elixir v1.20 深度拆解:当一门动态语言决定「不写一行类型注解」也要做类型检查——集合论类型、dynamic() 的收窄语义与 BDD 的编译期手术
2026-08-09 05:27:40
深度拆解 Elixir v1.20:一门动态语言如何在零类型注解前提下完成渐进类型检查。剖析 dynamic() 的兼容性与收窄两条性质、guard 与全函数体双向推断、跨子句收窄与冗余子句检测、map 域键与 Map 模块类型化,以及底层 lazy BDD 的三轮化简手术。含升级实战、CI 基线脚本、module_definition 编译提速与十条踩坑清单。
Elixir
BEAM
类型系统
渐进类型
集合论类型
Erlang
函数式编程
编译器
静态分析
BDD
大家都在搜索什么?
devops
易支付
一个官网+多少钱
统一接受回调
统一回调
python
sub
node
宝塔日志
mysql
shell
ElasticSearch
css
vue
api接口对接
2025
支付接口对接
go
php
php回调