在 Gleam 上的后端开发 — 类型安全的并发

我是一名后端工程师，每天都在使用 Gleam 编写代码 — 一种类型安全的函数式语言，可以编译为 Erlang BEAM 虚拟机和 JavaScript。如果您需要一个能够处理负载并且在执行过程中不会因类型错误而崩溃的服务，这正是我的专长。我设计监督树，用代数数据类型描述您的领域，并依赖于穷尽模式匹配，以便在编译时捕获整个错误类别，而不是在战斗中。我通过演员模型构建并发：轻量级进程拥有自己的状态，通过消息传递进行通信，并由监督者恢复，重新启动失败的工作者而不崩溃系统的其余部分。当一个项目已经存在于 Erlang 或 Elixir 生态系统中时，我会仔细将 Gleam 嵌入现有的 OTP 应用、GenServers 和库，以便旧代码和新代码无缝协作。在需要时，我会编译为 JavaScript，以便在 BEAM 后端和浏览器或 Node 环境之间共享类型安全的逻辑。我通常交付 HTTP API、后台任务管道、WebSocket 处理程序和有状态的演员 — 每个都有测试、清晰的文档和配置的 CI。在过去的几年中，我将团队从脆弱的动态类型服务迁移到可预测的 Gleam 代码库，这些代码库更易于阅读、重构和交接。我诚实地估算，承诺以小的可验证步骤进行，并解释每个架构决策，以便您的工程师在我离开后能够维护结果。