On embedding a microarchitectural design language within Haskell

被引：11

作者：

Launchbury, J ^{[1
]}

Lewis, JR ^{[1
]}

Cook, B ^{[1
]}

机构：

[1] Oregon Grad Inst Sci & Technol, Portland, OR 97291 USA

来源：

ACM SIGPLAN NOTICES | 1999年 / 34卷 / 09期

关键词：

D O I：

10.1145/317765.317784

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language. In particular, we highlight our use of Ha;Haskell's lazy lists, type classes, lazy state monad, and unsafePerform10, and point to several areas where Haskell could be improved in the future. We end with an example of a benefit gained by bringing the functional perspective to microarchitecctural modelling.

引用

页码：60 / 69

页数：10