Re: [Haskell-cafe] coding style vs. foreign interfaces

2011-02-07 Thread Malcolm Wallace
On 7 Feb 2011, at 03:10, Donn Cave wrote: I just noticed a handful of spelling errors, in a package that isn't all that obscure. Enums from a C interface - data AlarmingNews = -- ALARM_STUFF_WENT_WRONG AlarmStufWentWrong | ... FWIW, if you generate these bindings with a tool (e.g.

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Ketil Malde
Johan Tibell johan.tib...@gmail.com writes: The GHC documentation says the information is in the interface files, but they are binary now, and I can't find it there. ghc --show-iface HI_FILE The strictness signatures are a bit hard to parse though. Having a cheat sheet would be nice. Am I

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Jimbo Massive
On 05/02/2011 15:35, Andrew Coppin wrote: At the very least we need to teach people how to tell which arguments a pure function is strict in by looking at its definition. That's not necessarily tractible. It depends on what other functions you call. Many functions have obvious strictness

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread John Lato
From: Ivan Lazar Miljenovic ivan.miljeno...@gmail.com On 7 February 2011 12:30, wren ng thornton w...@freegeek.org wrote: On 2/6/11 4:53 PM, Ivan Lazar Miljenovic wrote: On 7 February 2011 08:12, Alexey Khudyakovalexey.sklad...@gmail.com ?wrote: Also there is a container-classes

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Stephen Tetley
On 7 February 2011 10:16, Jimbo Massive jimbo.massive-hask...@xyxyx.org wrote: It's often struck me that, this information is clearly part of the interface to a function, given that correct operation of calls to that function may depend on it, yet we (implicitly) pretend that it's not (by

Re: [Haskell-cafe] Extending GHCi

2011-02-07 Thread C K Kashyap
$ ghci GHCi, version 6.12.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package ffi-1.0 ... linking ... done. Prelude :m +Data.IORef

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Ross Paterson
On Mon, Feb 07, 2011 at 11:05:53AM +, John Lato wrote: From: Ivan Lazar Miljenovic ivan.miljeno...@gmail.com On 7 February 2011 12:30, wren ng thornton w...@freegeek.org wrote: On 2/6/11 4:53 PM, Ivan Lazar Miljenovic wrote: On 7 February 2011 08:12, Alexey

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Jimbo Massive
On 07/02/2011 11:40, Stephen Tetley wrote: Interesting point, but excepting that its adding more complexity Haskell type system, the Clean way of putting strictness information into the type system seems preferable don't you think? If we were starting from a clean sheet (no pun intended) then

[Haskell-cafe] Cabal license combinations

2011-02-07 Thread Vivian McPhail
Dear All, There was recently a discussion on haskell-cafe ( http://www.mail-archive.com/haskell-cafe@haskell.org/msg86472.html) about licenses of libraries such as hmatrix and the combination of various different licences. One question was about per-package versus by-file licenses: In Haskell

Re: [Haskell-cafe] Extending GHCi

2011-02-07 Thread Steffen Schuldenzucker
On 02/07/2011 12:45 PM, C K Kashyap wrote: $ ghci GHCi, version 6.12.3: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package

Re: [Haskell-cafe] [Haskell] ANN: case-insensitive-0.1

2011-02-07 Thread Max Rabkin
Hi Bas This could be a useful package but can you add a note that this does not do correct Unicode-aware comparison on String (though AFAICT it is correct for Text)? --Max On Mon, Feb 7, 2011 at 02:06, Bas van Dijk v.dijk@gmail.com wrote: Dear all, I had this old module laying around

Re: [Haskell-cafe] Cabal license combinations

2011-02-07 Thread Malcolm Wallace
It seems then that a package should be the least restrictive combination of all the licenses in all the contained modules. Omit the words least restrictive and I think you are correct. To combine licences, just aggregate them. There is no lattice of subsumption; no more or less restrictive

Re: [Haskell-cafe] Extending GHCi

2011-02-07 Thread Kashyap C
I tried a fresh install of Haskell platform on my Vista box and I find that starting the thread does not return to the prompt. Is there some setting I need to do? Sent from my Windows Phone -- From: Steffen Schuldenzucker Sent: Monday, 7 February 2011 6:46 PM To: C

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Gábor Lehel
On Mon, Feb 7, 2011 at 1:36 PM, Jimbo Massive jimbo.massive-hask...@xyxyx.org wrote: On 07/02/2011 11:40, Stephen Tetley wrote: Interesting point, but excepting that its adding more complexity Haskell type system, the Clean way of putting strictness information into the type system seems

[Haskell-cafe] fetching BLOBs

2011-02-07 Thread Dmitry Olshansky
Hello, cafe, Is there a way to get BLOB fields from OracleDB using Takusen? What about other possibilities (through HDBC - ODBC)? Dima ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Extending GHCi

2011-02-07 Thread Anthony Cowley
On Sun, Feb 6, 2011 at 11:59 PM, C K Kashyap ckkash...@gmail.com wrote: $ ghci GHCi, version 6.12.3: http://www.haskell.org/ghc/  :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading

Re: [Haskell-cafe] coding style vs. foreign interfaces

2011-02-07 Thread Anthony Cowley
On Sun, Feb 6, 2011 at 10:10 PM, Donn Cave d...@avvanta.com wrote: Of the people who are apt to be interested, a sizeable percentage already will be familiar with ALARM_STUFF_WENT_WRONG, and as the nice Haskell spelling offers no practical advantage at all, it's purely a waste of their time to

Re: [Haskell-cafe] coding style vs. foreign interfaces

2011-02-07 Thread Donn Cave
Quoth Anthony Cowley acow...@seas.upenn.edu, ... To support both kinds of users, we have designs like that used in the OpenGL library: a Foo-Raw library, with a friendlier API layered on top, perhaps in a separate package. If the friendly API turns out to be no friend of yours, you are free to

[Haskell-cafe] hsc2hs not using foreign.c types?

2011-02-07 Thread Edward Amsden
I'm just now trying to figure out how to use the FFI, along with hsc2hs. When I use the #type ... directive in my .hsc files to pull in a c typedef that is aliased to an integer, it puts in Word32 instead of CInt. I was hoping to use this in my foreign imports: Two questions: - Can I declare a

Re: [Haskell-cafe] Status update on {code, trac, projects, planet, community}.haskell.org

2011-02-07 Thread Duncan Coutts
On Wed, 2011-02-02 at 01:33 +, Duncan Coutts wrote: As you will be aware, some of the *.haskell.org websites have been down recently, specifically: code.haskell.org trac.haskell.org projects.haskell.org planet.haskell.org community.haskell.org [...] We have not yet re-enabled user

Re: [Haskell-cafe] [Haskell] ANN: case-insensitive-0.1

2011-02-07 Thread Bas van Dijk
On 7 February 2011 15:26, Max Rabkin max.rab...@gmail.com wrote: This could be a useful package but can you add a note that this does not do correct Unicode-aware comparison on String (though AFAICT it is correct for Text)? Good point! I just released version 0.2:

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Andrew Coppin
Haskell en Clean are very much alike. From what I could determine from a basic Clean introduction, Clean is very *unlike* Haskell, having a far more verbose and low-level syntax. (E.g., the compiler can't even determine whether a binding is recursive or not for itself. You have to say that

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Andrew Coppin
I think haskell2010's type system is just not expressive enough to create interface generic enough. It's not possible to create type class which will work for both ByteStrings (or IntSet) and lists. It seems that most people agree: The reason why we don't have container classes is that it's

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Richard O'Keefe
On 8/02/2011, at 3:47 AM, Gábor Lehel wrote: I dunno. As a language extension, would - let's call it BangTypes - be backwards-incompatible in any way? Let's look at an intermediate step first, BangFunctions. What this does is to say that there are two versions of -: t1 - t2 What

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Johan Tibell
On Mon, Feb 7, 2011 at 10:01 PM, Andrew Coppin andrewcop...@btinternet.com wrote: I think haskell2010's type system is just not expressive enough to create interface generic enough. It's not possible to create type class which will work for both ByteStrings (or IntSet) and lists. It seems

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Roel van Dijk
On 7 February 2011 22:00, Andrew Coppin andrewcop...@btinternet.com wrote: I clearly have my languages mixed up. The language I'm thinking of required all variables (even top-level ones) to be declared with let - unless the definition is recursive, in which case you have to say letrec (i.e.,

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Richard O'Keefe
On 8/02/2011, at 10:00 AM, Andrew Coppin wrote: I clearly have my languages mixed up. The language I'm thinking of required all variables (even top-level ones) to be declared with let - unless the definition is recursive, in which case you have to say letrec (i.e., the compiler it too

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Evan Laforge
The distinction between let and letrec predates OCAML.  Scheme does it too. Haskell's choice of recursive everywhere is nice for the syntax, but occasionally error prone. I don't actually use explicit recursion too often because there are functions for that, but I still occasionally typo a

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Richard O'Keefe
On 8/02/2011, at 10:43 AM, Roel van Dijk wrote: On 7 February 2011 22:00, Andrew Coppin andrewcop...@btinternet.com wrote: I clearly have my languages mixed up. The language I'm thinking of required all variables (even top-level ones) to be declared with let - unless the definition is

Re: [Haskell-cafe] [web-devel] http-enumerator: redirects, streaming and keep-alive

2011-02-07 Thread Bryan O'Sullivan
On Wed, Feb 2, 2011 at 1:01 PM, Felipe Almeida Lessa felipe.le...@gmail.com wrote: And what about connection limits? We shouldn't create a thousand connections to the same host =). For what it's worth, I wrote a connection pool manager for the riak package that has to solve some of the

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread John Lato
From: Johan Tibell johan.tib...@gmail.com (The OOP people, of course, just don't bother trying. They use typecasts everywhere...) Do associated types solve this? Or are there still problems? Duncan showed me a definition using associated types, which I have unfortunately forgotten.

Re: [Haskell-cafe] Building doc for yesod-json

2011-02-07 Thread Magnus Therning
On 07/02/11 04:19, Michael Snoyman wrote: On Mon, Feb 7, 2011 at 2:36 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 7 February 2011 11:11, Magnus Therning mag...@therning.org wrote: Michael, I've now gotten part of the way through the *long* list of dependencies for yesod

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Ivan Lazar Miljenovic
On 8 February 2011 09:57, John Lato jwl...@gmail.com wrote: I think the real problem we have with container classes has a lot more to do with what we would use them for.  That is, Haskell already has Monoid, Foldable and Traversable.  These three (especially Foldable) cover nearly everything

Re: [Haskell-cafe] coding style vs. foreign interfaces

2011-02-07 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 2/7/11 12:36 , Donn Cave wrote: I don't know the OpenGL example, but I gather you're talking about an API that's different in a practical way, not just a thin layer with the names spelled differently. In that case, assuming that it really is

[Haskell-cafe] forkIO on GHCI does not seem to spawn the thread in the background on some OSs

2011-02-07 Thread C K Kashyap
Hi, I found that on windows and my ubuntu box, when I did this ghci t - forkIO someAction someAction started executing in the foreground - as in, the ghci prompt did not come back (until I pressed Ctrl-C) On my mac however, when I ran the same thing, the action started executing in the

Re: [Haskell-cafe] AES on 32-bit system

2011-02-07 Thread Ryan Newton
Hi all, I released the intel-aes package which has support for AESNI (and as a fallback uses the same C code as AES, both with Thomas's Crypto.Classes.BlockCipher interface). But it has a long way to go to be portable. I'm afraid of exactly these sorts of compiler problems. For arguments sake,

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Johan Tibell
On Mon, Feb 7, 2011 at 11:57 PM, John Lato jwl...@gmail.com wrote: I think the real problem we have with container classes has a lot more to do with what we would use them for.  That is, Haskell already has Monoid, Foldable and Traversable.  These three (especially Foldable) cover nearly

[Haskell-cafe] Unrecognized function symbols in .prof

2011-02-07 Thread Lee Pike
Hi, I am profiling a Haskell program using GHC, and after executing the program with +RTS -p, I get a .prof file that lists the cost centers of the program. Some of the cost centers listed are for function symbols that do not exist in the given module. For example, I have in my .prof file:

Re: [Haskell-cafe] Unrecognized function symbols in .prof

2011-02-07 Thread Iavor Diatchki
Hi Lee, I would also guess that these are probably the implementations of equality in the given modules. One way to test this would be to name the equality function explicitly. For example, something like this: myEquality x y = ... instance Eq MyType where (==) = myEquality Another option