Fwd: [Haskell-cafe] Haskell for Physicists
dons at galois.com
Sat Oct 3 16:55:26 EDT 2009
And note we are pushing precisely on the use of DSLs in or on Haskell
for *portability* of the domain-scientists code in a number of areas
* data parallel algorithms (targetting cpu , gpu)
* control systems code:
* avionics verification:
* financial modelling
* operating systems:
In all cases we're looking at high level code, the possibility of
multiple backends, and constrained semantics enabling extensive
optimization and analysis. And -- we're generating code, so there's no
benefit to having the language hosted on the JVM or .NET -- Haskell
should *own* this space.
This may be Haskell's killer app now that DSLs are going mainstream.
We have mature technology for good DSLs. Far more resources than Scala.
Why isn't Haskell completely dominating this space? I believe it is lack
of training and outreach. We need a "Write you a DSL for great good!"
> Yesterday I was at a talk by Pat Hanrahan on embedded DSLs and GPUs at
> the nvidia GPU conference:
> Pat argued that the only way forward to achieve usable computing power
> for physics on heterogeneous computers (eg. multicore+GPU) is through
> the use of embedded DSLs to allow physicists to express algorithms
> without reference to underlying architecture, or even details like
> data structures.
More information about the Haskell-Cafe