- Haskell-Cafe - Haskell.org

ANN: Finance-Quote-Yahoo 0.3
by brad clawsie 05 Sep '07

05 Sep '07

http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Finance-Quote-Ya… i know minor point releases do not merit a list announcement but yahoo discontinued a url i was using to download data, so users of this package must upgrade. sorry for the hassle. thanks brad

1 0

Request for code review - Knuth Morris Pratt for Data.Sequence
by Justin Bailey 04 Sep '07

04 Sep '07

Using the code developed for ByteStrings by myself, Christ Kuklewicz and Daniel Fischer, I've implemented Knuth-Morris-Pratt substring searching on Data.Sequence "Seq" values. Attached you'll find the library in kmp.zip.safe. The algorithm is implemented in the module Data.Sequence.KMP. At the root, SpeedTest.hs can be compiled on Windows with the "prof_compile.bat" file included (you'll need to install the "regex-dfa" and "regex-base" packages from Hackage to build). SpeedTest searches for a known value in the 7 MB file "endo.dna" (which can be downloaded from http://www.icfpcontest.org/endo.zip) using several different algorithms and methods: strict and lazy bytestrings, regular expressions, and the KMP algorithm for "Seq" values. SpeedTest is pretty fast but I worry about its space usage. It may just be the nature of Seq values, but I cannot get it to run in constant space when I think it should be. I'm especially interested in help here. All comments and feedback are welcome. Since the zip file includes a darcs context file, feel free to send patches. Justin

1 0

FFI and DLLs
by Lewis-Sandy, Darrell 04 Sep '07

04 Sep '07

An early proposal for the FFI supported importing functions directly from dynamic link libraries: www. <http://www.haskell.org/hdirect/ffi-a4.ps.gz> haskell.org/hdirect/ffi-a4.ps.gz This looks like it was dropped from the final version of the addendum in favor of C header files as the sole form of import entities. Not being a C programmer, how would one go about importing a foreign function (e.g. void Foo(void) ) from a dynamic link library (e.g. foo.dll)?? Would someone be willing to provide an explicit example?

2 1

Re: [Haskell-cafe] [Off topic] Proving an impossibility
by Miguel 04 Sep '07

04 Sep '07

>On 9/3/07,Vimal<j.vimal(a)gmail.com> wrote: >>while E do >>S >>if F then >>break >>end >>T >>end >> >>He then asked us to *prove* that the above programming fragment cannot >> >>be implemented just using if and while statement, even if S and T can >>be duplicated a finite number of times >But it IS possible. Just add a boolean flag: Possibly, you are not allowed to change the sequence of machine operations at all. See, if you change "while(A){B}" to "if(A){B};while(A){B}", the sequence is exactly the same; but it's not possible in this case. It reminds me of a paper by Knuth, where he states that "goto" statement is necessary; don't remember the title, however.

2 1

Are type synonym families really equivalent to fundeps?
by Chris Smith 04 Sep '07

04 Sep '07

The following code builds and appears to work great (assuming one allows undecidable instances). I have tried both a natural translation into type synonym families, and also the mechanical transformation in http://www.cse.unsw.edu.au/~chak/papers/tyfuns.pdf -- but I can't get either to work. The two fishy things are: 1. There is a functional dependency (a -> t) in the original. Actually, this isn't always true since t is sometimes not uniquely determined by a; but GHC always seems to do the right thing anyway. There doesn't seem to be any way to "cheat" like this with type families. 2. In the second and fourth instances, the type variable x appears twice in the parameters of the type function built from the fundep (a b -> c). This causes an error. If I try adding (x ~ x') to the context and making one of them x' instead of x, I get different errors. I'm starting to this this is an example of using functional dependencies that has no translation to type families. Can anyone free me of such thoughts? Code with fundeps is: data Var a = Var Int (Maybe String) data RHS a b = RHS a b class Action t a b c | a -> t, a b -> c, a c -> b instance Action t () y y instance Action t (Var x) (x -> y) y instance Action t [t] y y instance (Action t a b c) => Action t (RHS (Var x) a) (x -> b) c instance (Action t a b c) => Action t (RHS [t] a) b c -- Chris Smith

4 7

Hawiki articles
by Henning Thielemann 04 Sep '07

04 Sep '07

In the current Haskell Wiki (haskell.org/haskellwiki) I found references to articles of the old Hawiki (haskell.org/hawiki) like OnceAndOnlyOnce and SeparationOfConcerns. Are the files still available somewhere?

7 14

Haskell as an extension language
by Yuri D'Elia 04 Sep '07

04 Sep '07

Hello everyone; I've been using haskell for quite some time now, but, as usual, I still find myself resorting to c code too much often due to the performance penalty introduced. FFI is all nice and dandy, yet, the need to compile the code and separate the implementation in two is a mayor development issue I'd like to eliminate along with batch compilation. In the way I like to work, I only use the interpreter (I mainly started with this approach with ocaml); just program interactively; close the whole session and pretend to resume the work next time I reopen the interpreter. Unfortunately, the interpreted performance is, many times, not sufficient for my purposes. In the past I've been coding several programs that would allow the user to extend the functionality at runtime through real c code. The "host" program itself could start an internal editor that accepted c code. The code would then be sent to the system compiler, generating a dynamic object that would be loaded in the current program (and executed) immediately. With some voodoo usage of "unexelf", I could create a simple runtime environment with very good performance (except for the initial compilation delay), interactivity and persistence, but, as you might expect, almost no resilience to errors and difficult debugging issues. I would like to resume this idea. Programming the core (minimal) application in c and then adding an extension mechanism always led to better and faster programs in my experience than trying to use directly an higher-level language and (ab)use the various forms of FFI. UI latency was one of the primary reasons in many cases. The amount of c code needed was always lower too, in the end, as the code was extended beyond the original minimal requirements. The extensions, being wrapped around the core data structures, tended to be more specialized and concise than general all-purpose libraries. Has anyone experienced similar situations? Is there some documentation about integrating an haskell interpreter in host programs that would allow session persistence and some minimal form of debugging? Which interpreter works better in this context? Thanks

5 8

Re: [Haskell-cafe] GHC 6.6.1 and SELinux issues
by Alexander Vodomerov 03 Sep '07

03 Sep '07

On Tue, Aug 28, 2007 at 08:53:05PM -0600, Stuart Jansen wrote: > On Wed, 2007-08-29 at 00:59 +0400, Alexander Vodomerov wrote: > > In what domain do you run GHC? > > Sorry about that, should've dug deeper. And here we have the difference: > > $ ls -Z /usr/lib/ghc-6.6.1/ghc-6.6.1 > -rwxr-xr-x root root > system_u:object_r:unconfined_execmem_exec_t /usr/lib/ghc-6.6.1/ghc-6.6.1 This explains that GHC works fine. unconfined_execmem_exec_t gives permission to map memory with PROT_EXEC and PROT_WRITE simultaneously. I've put GHC in unconfined_execmem_t and it started to work fine. But the problem is not in GHC -- it is in programs compiled by GHC. They also require exec/write memory. Only root can grant unconfined_execmem privileges, so simple user can not run binaries compiled by GHC. How do you solve this problem? Does Fedora GHC package has any additional patches? With best regards, Alexander.

6 8

ANN: HPDF 1.0
by alpheccar 03 Sep '07

03 Sep '07

I am pleased to release the version 1.0 of my PDF library that you can find on hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HPDF-1.0 This email is mainly an opportunity for me to thanks apfelmus who, a very very long time ago when I released HPDF for the first time, gave me very good advices. When you're new to a language, that kind of help from the community is always very appreciated. Christophe.

1 0

Closures and pointfree functions
by Lars Oppermann 03 Sep '07

03 Sep '07

Dear all, In the Haskell Wiki at http://www.haskell.org/haskellwiki/Closure there is an example for a function returning a closure given as f x = (\y -> x + y) Another way to achieve the same effect would be to write f' x = (+) x which to me as a beginner looks somewhat like pointfree style. Would f' be considered to return a closure? Bests, Lars

2 3