Re: [Haskell-cafe] Hardware description in Haskell.

2011-12-11 Thread Serguey Zefirov
2011/12/11 Felipe Almeida Lessa : > On Sun, Dec 11, 2011 at 10:52 AM, Serguey Zefirov wrote: >> scrutiny and critique by Haskell users who is into hardware >> description. > A two years-old project is more than ready to be on Hackage.  It will > sure make it easier to use by prospective users. Th

Re: [Haskell-cafe] Hardware description in Haskell.

2011-12-11 Thread Felipe Almeida Lessa
On Sun, Dec 11, 2011 at 10:52 AM, Serguey Zefirov wrote: > There is no package for Hackage, because I do not feel HHDL is worth > it right now. For example, I tested it on ghc 6.12.1, not later > versions, the library code is messy. But HHDL is good enough for some > scrutiny and critique by Haske

[Haskell-cafe] Hardware description in Haskell.

2011-12-11 Thread Serguey Zefirov
I would like to introduce my over-than-two years long project, HHDL: http://thesz.mskhug.ru/svn/hhdl/hackage/hhdl/ (I prefer to pronounce it as a ha-ha-dee-el, this way it is more fun) It allows one to create digital hardware description in Haskell and then generate VHDL code (Verilog is on the

Re: [Haskell-cafe] Hardware for FRP programming - what should it support?

2009-02-28 Thread Bas van Dijk
On Thu, Feb 26, 2009 at 11:33 PM, Noam Lewis wrote: > What sort of features/capabilities/architecture would you expect from > a processor that will be designed a-priori for FRP programming? Maybe you should first ask the following more simple question: "What sort of features/capabilities/archite

[Haskell-cafe] Hardware for FRP programming - what should it support?

2009-02-26 Thread Noam Lewis
Greetings, I've heard about the Reduceron (graph reduction machine in FPGA), and also FRP (functional reactive programming). What sort of features/capabilities/architecture would you expect from a processor that will be designed a-priori for FRP programming? I guess it will need graph-reduction c

Re: [Haskell-cafe] Hardware

2007-06-01 Thread Jeremy Shaw
Hello, Did you see the recently announce reduceron project? (Or perhaps you are already involved in that project?) http://www-users.cs.york.ac.uk/~mfn/reduceron/index.html If you search scholar.google.com for graph reduction machine you should turn up a bunch of papers about attempts to build a

[Haskell-cafe] Hardware

2007-06-01 Thread Andrew Coppin
OK, so... If you were going to forget everything we humans know about digital computer design - the von Neuman architecture, the fetch/decode/execute loop, the whole shooting match - and design a computer *explicitly* for the purpose of executing Haskell programs... what would it look like? W