search for: haskel

Displaying 20 results from an estimated 576 matches for "haskel".

Did you mean: haskell
2010 Dec 12
1
R <-> Haskell
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...
2010 Feb 19
5
[LLVMdev] glasgow haskell appears to be adopting LLVM
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...
2012 May 23
1
[LLVMdev] tblgen for generation of Haskell bindings to LLVM intrinsics
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,...
2013 Jan 30
0
[PATCH] build: Fix haskell dependencies and parallel build
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...
2009 Aug 19
1
[PATCH libguestfs] avoid build failure due to Haskell keyword clash
...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...
2008 Dec 23
2
HOgg Release 0.4.1
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....
2010 Feb 19
0
[LLVMdev] glasgow haskell appears to be adopting LLVM
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...
2006 Aug 10
1
pandoc - an implementation of Markdown in Haskell
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&...
2013 Apr 16
2
[LLVMdev] The most efficient way to compile to LLVM IR?
...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...
2010 Mar 02
3
[LLVMdev] Embedding LLVM
Is there a guide anywhere to embedding LLVM into a program to compile and run a DSEL? Thanks, Sean
2008 Dec 23
0
HOgg Release 0.4.1
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...
2010 Feb 20
0
[LLVMdev] glasgow haskell appears to be adopting LLVM
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
2010 Feb 20
1
[LLVMdev] glasgow haskell appears to be adopting LLVM
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>
2010 Nov 30
0
ANN: HaLVM 1.0: the Haskell Lightweight Virtual Machine
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...
2013 Apr 15
4
[LLVMdev] The most efficient way to compile to LLVM IR?
...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...
2013 Apr 16
0
[LLVMdev] The most efficient way to compile to LLVM IR?
...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...
2010 Feb 22
0
[LLVMdev] glasgow haskell appears to be adopting LLVM
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,
2010 Mar 04
0
[LLVMdev] More Haskell and LLVM
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
2011 Apr 11
2
CodeDown = Markdown as the universal language for program documentation
...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...
2009 Jan 17
9
[LLVMdev] Criticism of garbage collection support in LLVM
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.