The topic of this article may not meet Wikipedia's notability guidelines for products and services. (December 2009) |
Atom is a DSL in Haskell for designing hard realtime embedded software.
| Atom | |
|---|---|
| Paradigm | functional, synchronous, reactive |
| Designed by | Thomas Hawkins |
| First appeared | 2007 |
| Typing discipline | static, strong, inferred |
| OS | portable |
| License | BSD3 |
| Website | http://hackage.haskell.org/package/atom/ |
| Influenced by | |
| Bluespec, Confluence, Haskell | |
History
Atom was created in 2007 originally as a hardware description language. Inspired by Bluespec's hardware synthesis from circuit descriptions based on conditional term rewriting, the earliest version of Atom used Haskell's monadic style to capture TRS descriptions and generate simple Verilog netlists.