[Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Patrick Perry
New version! The blas package is a set of bindings to the BLAS (Basic Linear Algebra Subprograms) library. On Hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/blas-0.7 What's new: * Get rid of most functional dependencies in favor of type families. There is one

[Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Patrick Perry
Here's the haddock documentation; I'm not sure if Hackage honors {-# OPTIONS_HADDOCK hide #-} when it displays the exposed modules: http://quantile95.com/blas/ Patrick ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread David Waern
2009/1/10 Patrick Perry patpe...@stanford.edu: Here's the haddock documentation; I'm not sure if Hackage honors {-# OPTIONS_HADDOCK hide #-} when it displays the exposed modules: http://quantile95.com/blas/ It should, so If it doesn't then please tell us about it. We have a trac at:

[Haskell-cafe] Re: Issues with posix-realtime package

2009-01-10 Thread Manlio Perillo
Galchin, Vasili ha scritto: Manlio, so compiling to native machine code works ok but if using ghci byte-code interpreter doesn't . can you supply your program please? Right. Can't you reproduce the problem? The program is very simple (I was just testing your package, since I

Re: [Haskell-cafe] Re: concurrent haskell: thread priorities

2009-01-10 Thread Johan Tibell
On Fri, Jan 9, 2009 at 8:22 PM, Don Stewart d...@galois.com wrote: Every time Simon responds on questions of parallelism and the GHC runtime, I learn something. That indicates to me that we've got a 'bus error' situation with how to effectively use the smp runtime. Simon: time for a multicore

Re: [Haskell-cafe] data declarations should provide fold functions

2009-01-10 Thread Johan Jeuring
I know the short-term answer is use TH to derive folds if I want them, but I think such an important concept should probably be part of the language. The fold function is an example of a generic program, which can be defined using generic programming libraries. Since the fold has to know about

[Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Hi all, I'm looking for Haskell programmer that use Windows as their OS-Plattform. I developing an application in Haskell on Windows and run into problems that seem to have a lower priority with the greater Haskell community as most of them are using Linux where the problems do not occur

Re: [Haskell-cafe] Re: Computer time, independent of date

2009-01-10 Thread Manlio Perillo
Steve Schafer ha scritto: On Fri, 09 Jan 2009 09:28:49 -0600, you wrote: I'm not sure that the original question implied *that* level of need. I can't imagine being worried about leap seconds yet at the same time being willing to accept the potential vagaries of any of the built-in clocks.

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Hi Bulat, I do :), but I was amazed that there was no response to a post with, what I thought, would be a rather common problem for an application developer. That post was about writing to an MS-Access database via HDBC-ODBC, which fails. When I then asked the HDBC maintainer himself it

Re[2]: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Bulat Ziganshin
Hello Günther, Saturday, January 10, 2009, 5:31:13 PM, you wrote: i think that problem is not shortage of windows developers among haskellers, but shortage of db developers :) Hi Bulat, I do :), but I was amazed that there was no response to a post with, what I thought, would be a rather

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Jason Dusek
I do have to ship things to Windows and so I have a small amount of interaction with that platform. This is, unfortunately, something we see all over open source environments. Python and Ruby lists both see posts like this from time to time. While it is important that the interests

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Hi Jason, I don't mean to take this off-list at all. Quite the opposite, I just meant to draw the attention of other Haskellers who also use Windows and might feel a bit alone because of it. It certainly was my feeling, this is only for the windows specific Haskell stuff. Günther Am

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Hi Kyra, thanks for your reply. The problem I was facing is using an MS-Access backend with HDBC-ODBC. I try to export data to MS-Access and I can't get it to work. Otherwise HDBC works fine in other parts of my app but with MS-Access it blows up. I did of course post this on the

Re: [Haskell-cafe] Re: Monads aren't evil

2009-01-10 Thread Peter Verswyvelen
Related to this issue, I have a question here. I might be wrong, but it seems to me that some Haskellers don't like writing monads (with do notation) or arrows (with proc sugar) because of the fact they have to abandon the typical applicative syntax, which is so close to the beautiful lambda

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Patrick Perry
Hi David, The problem is with Hackage, not with haddock. Patrick On Jan 10, 2009, at 3:38 AM, David Waern wrote: 2009/1/10 Patrick Perry patpe...@stanford.edu: Here's the haddock documentation; I'm not sure if Hackage honors {-# OPTIONS_HADDOCK hide #-} when it displays the exposed

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Ross Paterson
On Sat, Jan 10, 2009 at 02:46:05AM -0800, Patrick Perry wrote: Here's the haddock documentation; I'm not sure if Hackage honors {-# OPTIONS_HADDOCK hide #-} when it displays the exposed modules: http://quantile95.com/blas/ Who do you want the same modules to be both exposed and hidden?

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Hi Kyra, and again, thanks for taking the effort. Kyra I've tried any sort of values to any sort of columns. I tried insert into somesinglecolumntable (someNumbercolumn) values (?) [toSql 5] ... and so on. So I'm not certain at all the error message does actually give the right clue.

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread David Waern
2009/1/10 Patrick Perry patpe...@stanford.edu: Hi David, The problem is with Hackage, not with haddock. Oops, Sorry. I misread Hackage as Haddock :) David ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Haskell not ready for Foo [was: Re: Hypothetical Haskell job in New York]

2009-01-10 Thread John A. De Goes
Hi John, Take two examples I gave up getting to work: a Haskell wrapper for a popular GUI library; and a Haskell wrapper for a database. I understand the former has a new team of developers, so perhaps it's time to revisit the library. Then again, writing 5000 line GUIs in an imperative

Re: [Haskell-cafe] Haskell not ready for Foo [was: Re: Hypothetical Haskell job in New York]

2009-01-10 Thread John A. De Goes
On Jan 9, 2009, at 9:01 AM, Creighton Hogg wrote: 2009/1/9 John A. De Goes j...@n-brain.net: If you're looking for a project to take on, I would suggest starting with the following: A high-level, type-safe AMQP client written in 100% Haskell, which provides a clean way of handling

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Patrick Perry
The reason I want to expose modules but hide the documentation is because there are a lot of unsafeX functions I want to provide access to, but which 99% of users don't care about. The array library does the same thing. Patrick ___

Re: [Haskell-cafe] Haskell not ready for Foo [was: Re: Hypothetical Haskell job in New York]

2009-01-10 Thread John A. De Goes
On Jan 9, 2009, at 8:23 AM, John Goerzen wrote: Well, you pretty much always have to get down to the C level on a *nix platform at some point, anyhow. You've got to make syscalls somewhere. Take a language like Ruby or Python (or Java, or C#, etc.). The vast majority of code written in

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Eugene Kirpichov
Why don't you put them into a separate non-hidden Unsafe module and provide documentation for it? Users who don't care simply won't look there, whereas users who do care (for whom you are providing access) will still have a possibility to do so. 2009/1/10 Patrick Perry patpe...@stanford.edu: The

Re: [Haskell-cafe] Haskell not ready for Foo [was: Re: Hypothetical Haskell job in New York]

2009-01-10 Thread John Goerzen
John A. De Goes wrote: Hi John, Take two examples I gave up getting to work: a Haskell wrapper for a popular GUI library; and a Haskell wrapper for a database. I understand Is this database HDBC? If so, then I would appreciate detailed description of your problem so I can address it. If

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread John Goerzen
Günther Schmidt wrote: Hi Kyra, and again, thanks for taking the effort. Kyra I've tried any sort of values to any sort of columns. I tried insert into somesinglecolumntable (someNumbercolumn) values (?) [toSql 5] ... and so on. So I'm not certain at all the error message does

Re: [Haskell-cafe] Haskell not ready for Foo [was: Re: Hypothetical Haskell job in New York]

2009-01-10 Thread John A. De Goes
No, it's not HDBC -- which I have not yet tried. I'll tell you what: I'll give HDBC a try this week and let you know if it's as easy as you say it is. :-) Regards, John On Jan 10, 2009, at 10:09 AM, John Goerzen wrote: John A. De Goes wrote: Hi John, Take two examples I gave up

Re: [Haskell-cafe] Shared library creating on Mac OS X

2009-01-10 Thread Phil
I¹ve made a bit of progress here after reading up on Darwin¹s GCC a bit more: ghc --make -no-hs-main -fPIC -optl '-dynamiclib' -optl '-undefined' -optl 'suppress' -optl '-flat_namespace' -o Inv.dylib InverseNormal.hs This dies when it links against haskell¹s own libraries, my guess is because

Re: [Haskell-cafe] Re: Computer time, independent of date

2009-01-10 Thread Steve Schafer
On Sat, 10 Jan 2009 15:04:36 +0100, you wrote: POSIX realtime extensions have been developed to be high reliable. I think people are missing the details here. Yes, the built-in real-time clocks have excellent long-term accuracy. They run UTC-based correction algorithms using NTP, and are thus

[Haskell-cafe] Re: Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Hi John, thx for responding :) I'm trying to analyze the HDBC code so that, maybe, I'm able to find the spot that's causing me trouble. Do you happen to have some documentation on how you desigend this? Also while digging through the code I learned some stuff that I found quite

Re: [Haskell-cafe] teaching functional programming at work

2009-01-10 Thread Warren Harris
Thank you all for your responses on this. These ideas/materials are very helpful. In particular, the John Harrison book looks excellent (http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jrh-1996/index.html ) -- a comprehensive and understandable introduction to all the concepts I had in

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Andrew Coppin
Günther Schmidt wrote: Hi Bulat, I do :), but I was amazed that there was no response to a post with, what I thought, would be a rather common problem for an application developer. That post was about writing to an MS-Access database via HDBC-ODBC, which fails. When I then asked the HDBC

Re: [Haskell-cafe] Haskell not ready for Foo [was: Re: Hypothetical Haskell job in New York]

2009-01-10 Thread Don Stewart
john: On Jan 9, 2009, at 9:01 AM, Creighton Hogg wrote: 2009/1/9 John A. De Goes j...@n-brain.net: If you're looking for a project to take on, I would suggest starting with the following: A high-level, type-safe AMQP client written in 100% Haskell, which provides a clean way of

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Patrick Perry
Thanks for the suggestion! Done and uploaded to hackage. Patrick On Jan 10, 2009, at 9:07 AM, Eugene Kirpichov wrote: Why don't you put them into a separate non-hidden Unsafe module and provide documentation for it? Users who don't care simply won't look there, whereas users who do care

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread kyra
John Goerzen wrote: GЭnther Schmidt wrote: Kyra I've tried any sort of values to any sort of columns. I tried insert into somesinglecolumntable (someNumbercolumn) values (?) [toSql 5] ... and so on. So I'm not certain at all the error message does actually give the right clue. It just

[Haskell-cafe] Re: Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Andrew, even moral support is welcome. I'm on WinXP Pro here, using ghc 6.8.3, and cabal install. Maybe I can help with the installation problem, what did you do so far? Günther Am 10.01.2009, 15:38 Uhr, schrieb Andrew Coppin andrewcop...@btinternet.com: Günther Schmidt wrote: Hi

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Don Stewart
redcom: Hi all, I'm looking for Haskell programmer that use Windows as their OS-Plattform. I developing an application in Haskell on Windows and run into problems that seem to have a lower priority with the greater Haskell community as most of them are using Linux where the problems

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Kyra, that is fantastic new! Victory is near, I can smell it hahahahahahahaha ... Um, sry for that, I'm just really really happy and glad I made that post today. I've been trying to get this issue resolved for more than 14 days now and if now solution had shown up on the horizon I would

Re: [Haskell-cafe] Re: Monads aren't evil

2009-01-10 Thread Ryan Ingram
My issue is that there seem to be many cases where the syntax extension does *almost* what I want, but not quite. And there isn't any method to extend it, so you are left with two choices: (1) Go back to unsugared syntax (2) Hack your technique into the constraints of the existing syntax

[Haskell-cafe] Re: Looking for Haskellers on Windows

2009-01-10 Thread Mauricio
Hi Bulat, (...) Thus my cry for help explicitly to Haskellers on Windows. (...) It's a pitty that Windows receives so little support, but I guess if nobody has a Windows box to test with, there's not much you can do about it. I think it deserves consideration: what about a mailing list

Re: [Haskell-cafe] Re: Monads aren't evil

2009-01-10 Thread Peter Verswyvelen
For example, which of these is easier to read? f,g :: Int - [Int] h1 :: Int - [Int] h1 x = do fx - f x gx - g x return (fx + gx) h2 :: Int - [Int] h2 x = (+) $ f x * g x h3 :: Int - [Int] h3 x = f x + g x -- not legal, of course, but wouldn't it be nice if it was?

[Haskell-cafe] Re: Computer time, independent of date

2009-01-10 Thread Mauricio
POSIX realtime extensions have been developed to be high reliable. (...) However, they offer no guarantees on interval measurements, and the correction algorithms can cause the measurement of a time interval of an hour or so duration to be off by +/- 1 sec, especially within the first few hours

[Haskell-cafe] Propositional logic implementation

2009-01-10 Thread Andrew Wagner
All, Is there some better way to do this? It seems like a lot of boilerplate. Thanks! http://hpaste.org/13807#a1 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Issues with posix-realtime package

2009-01-10 Thread Manlio Perillo
Galchin, Vasili ha scritto: Hi Manlio, I am the author of this package. Let me think about what you have said. Regards, Vasili If you can't reproduce the problem: there is a possibility that I have messed up my (GHC) system. I'm on Linux Debian Lenny. GHCi, version 6.8.2:

[Haskell-cafe] System.CPUTime and picoseconds

2009-01-10 Thread Manlio Perillo
Hi. Just out of curiosity, but why Haskell 98 System.CPUTime library module uses picoseconds instead of, say, nanoseconds? At least on POSIX systems, picoseconds precision is *never* specified. Thanks Manlio Perillo ___ Haskell-Cafe mailing list

[Haskell-cafe] Haskell Weekly News: Issue 100 - January 10, 2009

2009-01-10 Thread Brent Yorgey
--- Haskell Weekly News http://sequence.complete.org/hwn/20090110 Issue 100 - January 10, 2009 --- Welcome to issue 100 of HWN, a newsletter covering

Re: [Haskell-cafe] Looking for Haskellers on Windows

2009-01-10 Thread Günther Schmidt
Hi Kyra, IT WORKS! Thank you very much, my application is now almost finished. It was a whole lot of fun writing this in Haskell, but the last 2 weeks where frustrating, until today. I am amazed at the possibilities Haskell gives me in wiring code together and I would not want to miss it

[Haskell-cafe] Re: Issues with posix-realtime package

2009-01-10 Thread Galchin, Vasili
On Sat, Jan 10, 2009 at 5:52 AM, Manlio Perillo manlio_peri...@libero.itwrote: Galchin, Vasili ha scritto: Manlio, so compiling to native machine code works ok but if using ghci byte-code interpreter doesn't . can you supply your program please? Right. Can't you reproduce the

Re: [Haskell-cafe] Re: Computer time, independent of date

2009-01-10 Thread Manlio Perillo
Mauricio ha scritto: POSIX realtime extensions have been developed to be high reliable. (...) However, they offer no guarantees on interval measurements, and the correction algorithms can cause the measurement of a time interval of an hour or so duration to be off by +/- 1 sec, especially

[Haskell-cafe] Re: Issues with posix-realtime package

2009-01-10 Thread Manlio Perillo
Galchin, Vasili ha scritto: [...] I suspect that this is a problem with shared library loading in ghci, since the C code you use for your package, is also used by the base package (for the Posix subsystem). By the way: I don't see reasons to add all that code, since it is

[Haskell-cafe] Re: Computer time, independent of date

2009-01-10 Thread ChrisK
Mauricio wrote: patients, I wanted to be sure not to save wrong information. It wouldn't matter if the clock is saying we are on XVII century, as long as 10 seconds would never be 10.1. Chris (yes I am an experimental physicist) asks: What are the interval durations you need to measure?

Re: [Haskell-cafe] Propositional logic implementation

2009-01-10 Thread Miguel Mitrofanov
Look at SYB (Data.Data, Data.Generics.*). For example, your symbols function can be rewritten as symbols :: Sentence - [Symbol] symbols s = nub $ listify (const True) s true is not that simple, because this code is NOT boilerplate - each alternative is valuable by itself. On 10 Jan 2009,

[Haskell-cafe] Re: System.CPUTime and picoseconds

2009-01-10 Thread ChrisK
Manlio Perillo wrote: Hi. Just out of curiosity, but why Haskell 98 System.CPUTime library module uses picoseconds instead of, say, nanoseconds? At least on POSIX systems, picoseconds precision is *never* specified. I have not idea. But at a guess, I would say that 1 ns is not such a

Re: [Haskell-cafe] Haskell not ready for Foo [was: Re: Hypothetical Haskell job in New York]

2009-01-10 Thread Donn Cave
Quoth John A. De Goes j...@n-brain.net: | Take a language like Ruby or Python (or Java, or C#, etc.). The vast | majority of code written in these languages does not get down to the | C level. When I say, vast majority, I'm referring to 99.999%. | That's because the standard libraries

[Haskell-cafe] Re: Issues with posix-realtime package

2009-01-10 Thread Galchin, Vasili
On Sat, Jan 10, 2009 at 4:37 PM, Manlio Perillo manlio_peri...@libero.itwrote: Galchin, Vasili ha scritto: [...] I suspect that this is a problem with shared library loading in ghci, since the C code you use for your package, is also used by the base package (for the Posix

Re: [Haskell-cafe] Propositional logic implementation

2009-01-10 Thread Andrew Wagner
Nice Idea, though I don't know that I want something that extensive. I was more looking for whether there was a better way I could define the algebraic data type. On Sat, Jan 10, 2009 at 6:04 PM, Miguel Mitrofanov miguelim...@yandex.ruwrote: Look at SYB (Data.Data, Data.Generics.*). For

Re: [Haskell-cafe] Re: Monads aren't evil

2009-01-10 Thread Brandon S. Allbery KF8NH
On 2009 Jan 10, at 15:19, Peter Verswyvelen wrote: h3 x = f x ^(+)^ g x Is that an operator or Batman? (yes, I know, 3 operators) -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and

Re: [Haskell-cafe] Re: Monads aren't evil

2009-01-10 Thread Andrew Wagner
Holy concatenated operators, Batman! Is that an operator or Batman? (yes, I know, 3 operators) -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie

Re: [Haskell-cafe] ANN: Haskell BLAS bindings version 0.7

2009-01-10 Thread Henning Thielemann
Patrick Perry schrieb: The reason I want to expose modules but hide the documentation is because there are a lot of unsafeX functions I want to provide access to, but which 99% of users don't care about. The array library does the same thing. Alternatively, the DEPRECATED pragma may prevent

[Haskell-cafe] Syntactic Sugar (Was: Monads aren't evil)

2009-01-10 Thread Henning Thielemann
Peter Verswyvelen schrieb: Related to this issue, I have a question here. I might be wrong, but it seems to me that some Haskellers don't like writing monads (with do notation) or arrows (with proc sugar) because of the fact they have to abandon the typical applicative syntax, which is so

[Haskell-cafe] Infix expressions (Was: Monads aren't evil)

2009-01-10 Thread Henning Thielemann
Peter Verswyvelen schrieb: Now, for binary operators, Thomas Davie made a nice pair of combinators on Hackage (InfixApplicative) that would allow this to become: h3 x = f x ^(+)^ g x http://www.haskell.org/haskellwiki/Infix_expressions ___

Re: [Haskell-cafe] Propositional logic implementation

2009-01-10 Thread Holger Siegel
On Sunday 11 January 2009 01:44:50 Andrew Wagner wrote: Nice Idea, though I don't know that I want something that extensive. I was more looking for whether there was a better way I could define the algebraic data type. Let's have a look at your definitions from http://hpaste.org/13807#a1 :

Re: [Haskell-cafe] Propositional logic implementation

2009-01-10 Thread Ryan Ingram
I like using smart constructors to replace :=: and :=: a \/ b = a :\/: b a /\ b = a :/\: b a == b = Not a \/ b a = b = (a == b) /\ (b == a) Also, if you generalize Sentence a bit you get a really nice formulation of true. See my paste at http://hpaste.org/13807#a2 -- ryan 2009/1/10 Andrew