热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

使用GADTs简化多编译目标的Haskell后端开发

2025-01-24
使用GADTs简化多编译目标的Haskell后端开发

本文讲述了作者如何使用Haskell中的广义代数数据类型 (GADTs) 简化Agda编译器后端的开发。作者面临着为两种不同的Lambda Box中间语言目标（类型化和非类型化）编写编译器的挑战。通过巧妙运用GADTs和依赖类型，作者避免了代码重复，并利用类型系统强制执行类型安全，确保在类型化目标中不会遗漏类型信息。这篇文章不仅展示了GADTs在实际编程中的实用性，也提供了一个简洁明了的案例，说明了依赖类型如何帮助程序员避免错误。

阅读更多
(acatalepsie.fr)
开发 GADTs

Haskell中Lambda抽象的重载：优雅实现EDSL

2024-12-30
Haskell中Lambda抽象的重载：优雅实现EDSL

本文介绍了一种在Haskell中重载lambda抽象以构建嵌入式领域特定语言（EDSL）的方法。作者通过巧妙地利用`Port`类型和`encode`、`decode`函数，将Haskell函数转换为自定义类别中的态射，从而实现了简洁直观的语法，避免了繁琐的Arrow抽象和proc notation。这种方法无需任何元编程或编译器插件，仅需少量Haskell代码即可实现。作者以流程图DSL为例，展示了该方法的应用，并讨论了避免重复和处理副作用等问题。

阅读更多
(acatalepsie.fr)
开发 EDSL Lambda抽象