search for: haskel

I'd like to develop, if there is not one already, an interface between R code and Haskell code, to allow R code to call Haskell (compiled) code, and vice-versa. But in the interest of not reinventing the wheel, does anyone on this list know of existing bindings for Haskell code? There is support for loading plugins in Haskell, and for an eval() like set of functions provided by the H...

everyone-- File this under Advocacy. See this thread <http://www.haskell.org/pipermail/glasgow-haskell-users/2010-February/018425.html> for more information, but the short summary is that they're deprecating their old "compile to GCC" backend in favor of David Terei's new LLVM backend. They're still planning for their C-- backend to be the pri...

I want to generate Haskell bindings to LLVM intrinsics. In a first attempt I wrote a little parser that reads IntrinsicsX86.td and outputs a Haskell module. E.g. the definition def int_x86_avx_max_ps_256 : GCCBuiltin<"__builtin_ia32_maxps256">, Intrinsic<[llvm_v8f32_ty], [llvm_v8f32_ty,...

Without this change all the tests in the haskell bindings are rebuilt every time. The primary motivation for this change is to fix this. The fix for the above also allows parallel builds to be re-enabled. --- haskell/Makefile.am | 56 +++++++++++++++++++++++++++++++++++++++-------------- 1 file changed, 41 insertions(+), 15 deletions(-) diff...

...o 1942 r <- withCString module $ \module -> withForeignPtr h (\p -> c_modprobe p module) 1943 if (r == -1) 1944 then do 1945 err <- last_error h 1946 fail err 1947 else return () That's because "module" is a reserved word in Haskell. The following adds a list of nearly all Haskell, OCaml and C reserved words, and ensures that we don't use them as parameter or return value names when generating code. >From 9c799cb1a58b46b7d01f3d4862d1b37b8bcf65c1 Mon Sep 17 00:00:00 2001 From: Jim Meyering <meyering at redhat.com&gt...

HOgg 0.4.1 Released ------------------- The HOgg package provides a commandline tool for manipulating Ogg files, and a corresponding Haskell library. HOgg is in hackage, or on the web at: http://www.kfish.org/~conrad/software/hogg/ This is the fourth public release. The focus is on correctness of Ogg parsing, production and editing. The capabilities of the hogg commandline tool are roughly on par with those of the oggz* [0] tools....

On Feb 19, 2010, at 11:33 AM, james woodyatt wrote: > everyone-- > > File this under Advocacy. > > See this thread <http://www.haskell.org/pipermail/glasgow-haskell-users/2010-February/018425.html> for more information, but the short summary is that they're deprecating their old "compile to GCC" backend in favor of David Terei's new LLVM backend. They're still planning for their C-- backend to be the pri...

I've just released an early version of a Markdown implementation in Haskell (using the Parsec parser combinator library). pandoc converts Markdown to HTML, LaTeX, reStructuredText, rich text format, and S5 HTML slide shows. It partially converts HTML, LaTeX, and reStructuredText to Markdown. It also makes it easy to include LaTeX math on HTML pages, using Peter Jipsen&...

...e, and the API changes so fast that most of the tutorials are > out > > of dated. > > So I am wondering what's the benefit of emitting LLVM IR using > IRBuilder > > compared with designing my own abstract syntax in a high-level > programming > > language(e.g. Haskell or OCaml) and unparsing it to LLVM IR. > > To be clear you're suggesting having your frontend (say, for > argument's sake, written in C++) parse your toy language and then emit > a (say) Haskell representation of IR? Using some Haskell APIs you'll > write that will emit...

Is there a guide anywhere to embedding LLVM into a program to compile and run a DSEL? Thanks, Sean

Here's some instructions for installing hogg on a current Ubuntu 8.10 (or Debian unstable? testing?) system, ie. if you don't already have haskell's cabal system installed: $ sudo apt-get install ghc6 $ wget http://hackage.haskell.org/packages/archive/cabal-install/0.6.0/cabal-install-0.6.0.tar.gz $ tar zxf cabal-install-0.6.0.tar.gz $ cd cabal-install-0.6.0 $ ./bootstrap.sh $ cabal update $ cabal install hogg This is from memory; plea...

On Friday 19 February 2010 19:33:32 james woodyatt wrote: > Let us all now give a warm welcome to our new Haskell comrades! Hopefully Mono will be next. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e

On Fri, Feb 19, 2010 at 9:14 PM, Jon Harrop <jon at ffconsultancy.com> wrote: > On Friday 19 February 2010 19:33:32 james woodyatt wrote: > > Let us all now give a warm welcome to our new Haskell comrades! > > Hopefully Mono will be next. > Mono has already used LLVM for various things. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20100219/3d5c0afa/attachment.html>

Galois, Inc. is pleased to announce the immediate release of the Haskell Lightweight Virtual Machine (or HaLVM), version 1.0. The HaLVM is a port of the GHC runtime system to the Xen hypervisor, allowing programmers to create Haskell programs that run directly on Xen''s "bare metal." Internally, Galois has used this system in several projects with...

...ovided by IRBuilder is quite imperative and verbose, and the API changes so fast that most of the tutorials are out of dated. So I am wondering what's the benefit of emitting LLVM IR using IRBuilder compared with designing my own abstract syntax in a high-level programming language(e.g. Haskell or OCaml) and unparsing it to LLVM IR. Is there some benefit of using IRBuilder I ignored here? And I have some follow-up questions: 1. How stable is the IR format? 2. Is the binary representation of IR format (*.bc) stable and the same across different platforms? 3. Is there any previous work...

...is quite imperative > and verbose, and the API changes so fast that most of the tutorials are out > of dated. > So I am wondering what's the benefit of emitting LLVM IR using IRBuilder > compared with designing my own abstract syntax in a high-level programming > language(e.g. Haskell or OCaml) and unparsing it to LLVM IR. To be clear you're suggesting having your frontend (say, for argument's sake, written in C++) parse your toy language and then emit a (say) Haskell representation of IR? Using some Haskell APIs you'll write that will emit LLVM bitcode? And then r...

On Feb 21, 2010, at 4:53 PM, Garrison Venn wrote: > Hi David, > > Your paper is linked on an LLVM site, but I can't give you the url as we are > currently down for maintenance. If I remember correctly it was under "recent papers" > off of the home site. It's here: http://llvm.org/pubs/2009-10-TereiThesis.html -Chris > > Garrison > > On Feb 21,

http://donsbot.wordpress.com/2010/03/01/evolving-faster-haskell-programs-now-with-llvm/ The timings are a bit too short (0.3s) to mean that much, but the way his GA found the best flags is nice... -- cheers, --renato http://systemcall.org/ Reclaim your digital rights, eliminate DRM, learn more at http://www.defectivebydesign.org/what_is_drm

...P Markdown, so my actual converter is a pretty small script. I called it ElephantMark (see http://www-bucephalus-org.blogspot.com/2011/01/elephantmark.html) and the according script is its own documentation. This approach can be used for any mainstream programming language. My current favorite is Haskell, and I wrote a HaskellDown module, that does similar things for Haskell. The main converter is just a composition of two functions haskellToMarkdown markdownToHtml Haskell source code ---------------------------------> Markdown ------------------------&g...

This may be of interest: http://lhc-compiler.blogspot.com/2009/01/case-against-cllvm.html People implementing a new Haskell compiler explain why LLVM is an unsuitable target for them.