[Haskell-cafe] Re. Looking for exemplars of "boring" or "simple" Haskell projects... (Rishiyur Nikhil)

Stuart Hungerford stuart.hungerford at gmail.com
Thu Jul 29 23:12:56 UTC 2021


On Thu, Jul 29, 2021 at 10:07 PM <haskell-cafe-request at haskell.org> wrote:

> [...]
> A couple of years ago I wrote "Forvis", a "complete" semantics of the
> RISC-V instruction set in "extremely elementary" Haskell.
>
> It's free and open-source, at:
> https://github.com/rsnikhil/Forvis_RISCV-ISA-Spec
>
> "Extremely Elementary" Haskell: small subset of Haskell 98.  No
>     type classes, no monads (except the top-level driver that uses
>     standard IO), no GHC extensions, nothing.  Just vanilla function
>     definitions and vanilla algebraic types (a "Miranda" subset).
>
>     Motivation: appeal to hardware designers, compiler writers, and others
>     who are keenly interested in a clearly readable and executable precise
>     spec of RISC-V semantics, but are not at all interested in learning
> Haskell.

Thanks for that, I'll have a look.

Stu


More information about the Haskell-Cafe mailing list