I use Haskell to design and verify circuits that are used at my company and by our customers. A Haskell-based methodology for producing circuits has proved to be successful in some situations when a conventional flow based on Java or hardware description languages (VHDL and Verilog) was not able to deliver a solution of suitably high quality (speed or area).
Some information at http://www.xilinx.com/labs/lava A public release will be made available before the end of the year. Cheers, Satnam Hal Daume III wrote: > Hi fellow Haskellers, > > I'm attempting to get a sense of the topology of the Haskell > community. Based on the Haskell Communities & Activities reports, it > seems that the large majority of people use Haskell for Haskell's sake. > > If you use Haskell for a purpose *other than* one of those listed below, > I'd love to hear. I don't need a long report, anything from a simple "I > do" to a paragraph would be fine, and if you want to remain anonymous > that's fine, too. > > Purposes which I consider "Haskell for Haskell's sake" include: > > - writing Haskell compilers/interpreters > - developing libraries for Haskell > - writing Haskell debuggers, tracers, profilers or other tools > - more or less anything with matches /.*Haskell.*/, other than > /in Haskell$/ :) > > Thanks, > > - Hal > > -- > Hal Daume III | [EMAIL PROTECTED] > "Arrest this man, he talks in maths." | www.isi.edu/~hdaume > > _______________________________________________ > Haskell mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/haskell _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
