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 highlght our use of Haskell's lazy lists,type classes,lazy state monad,and unsafeperfromI0,and point to several areas where haskell could be improved in the futureWe end with an ezample of a benefit gained by bringing the functional perspective to microarchitectural modelling.
展开▼