From Haskell to a New Structured Combinator Processor

doi:10.1007/978-3-031-99751-8_7

From Haskell to a New Structured Combinator Processor

2026-01-01

0

PRE

AI

DOI：10.1007/978-3-031-99751-8_7

原文链接

原文求助

摘要

En 中文

本文提出了一种新型图归约处理器KappaMutor及其Haskell编译器。KappaMutor基于结构化组合子（一种新提出的组合子编码方式），其比细粒度SKI组合子更灵活高效。该处理器利用并行内存实现结构化组合子的单周期归约，同时保持良好的紧凑性，在当代FPGA上仅占用不到1%的逻辑资源。其Haskell编译器实现了旨在最小化组合子使用并实现完全惰性的新颖代码生成策略——据我们所知，这是结构化组合子的首个此类实现。根据我们的测量，与在KappaMutor上运行等效SKI组合子程序相比，结构化组合子可将运行时间缩短9%至58%。

Keyword:

Graph reduction

Structured combinators

Hardware design

Haskell

From Haskell to a New Structured Combinator Processor

摘要

期刊

机构

引用论文