On Wed, Nov 26, 2008 at 3:16 PM, Malcolm Wallace <
[EMAIL PROTECTED]> wrote:
> ... to work out the C types and then map them to Haskell ones, to
>> check they're the same as the declared types in the .hs files.
>>
>
> I'd like to point out that the FFI specification already has such a
> mechanism.
On Tue, Nov 25, 2008 at 11:04 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
> aapo:
> > Galchin, Vasili kirjoitti:
> > >Hello,
> > >
> > > I am using Ubuntu Linux and I want to get the Haskell IRC feed. What
> > >IRC client can I use and how to configure?
> > >
> > >Thanks, Vasili
> > >
> > >
> > >-
2008/11/24 Greg Meredith <[EMAIL PROTECTED]>
> Haskellians,
> Some monads come with take-out options, e.g.
>
>- List
>- Set
>
> In the sense that if unit : A -> List A is given by unit a = [a], then
> taking the head of a list can be used to retrieve values from inside the
> monad.
>
> Som
On Tue, Nov 18, 2008 at 2:03 PM, Jason Dagit <[EMAIL PROTECTED]> wrote:
>
>
> On Tue, Nov 18, 2008 at 2:00 PM, Andrew Coppin <
> [EMAIL PROTECTED]> wrote:
>
>> Jason Dagit wrote:
>>
>>
>>>
>>> On Tue, Nov 18, 2008 at 1:51 PM, Andrew C
On Tue, Nov 18, 2008 at 2:00 PM, Andrew Coppin
<[EMAIL PROTECTED]>wrote:
> Jason Dagit wrote:
>
>
>>
>> On Tue, Nov 18, 2008 at 1:51 PM, Andrew Coppin <
>> [EMAIL PROTECTED] <mailto:[EMAIL PROTECTED]>> wrote:
>>
>>Duncan Coutts wrote:
On Tue, Nov 18, 2008 at 1:51 PM, Andrew Coppin
<[EMAIL PROTECTED]>wrote:
> Duncan Coutts wrote:
>
>> The Cabal package provides the library. The cabal-install package
>> provides the 'cabal' command line tool.
>>
>> The deprecated package you're thinking of is cabal-get or cabal-setup.
>>
>>
>
> W
On Mon, Nov 17, 2008 at 4:36 PM, Ivan Lazar Miljenovic <
[EMAIL PROTECTED]> wrote:
> Jason Dagit codersbase.com> writes:
>
> >
> > Hello,
> >
> > Has anyone already made a tool to check if exported functions, data
> > constructors, types, e
On Sun, Nov 16, 2008 at 5:10 PM, Michael D. Adams <[EMAIL PROTECTED]>wrote:
> Within a set of modules, the minimal imports also give you the minimal
> exports since each minimal export is required because it is imported
> somewhere. Just compile all your modules with -ddump-minimal-imports,
> the
On Sun, Nov 16, 2008 at 2:01 PM, Claude Heiland-Allen <
[EMAIL PROTECTED]> wrote:
>
> I don't know how evil those language extensions are, though - I just
> fiddled until it worked...
The only part of FlexibleInstances that you've used here is the ability to
mention a type variable more than onc
On Sun, Nov 16, 2008 at 5:35 AM, Thomas Schilling <[EMAIL PROTECTED]>
wrote:
> The relevant flag is: -ddump-minimal-imports
>
> See
http://www.haskell.org/ghc/docs/latest/html/users_guide/flag-reference.html#id2630684
The documentation says this:
> -ddump-minimal-imports
>
>Dump to the file "
Hello,
Has anyone already made a tool to check if exported functions, data
constructors, types, etc are unused within a set of modules?
For my usage it would probably suffice if the tool only compared
import lists against export lists as we compile with -Wall and 99% of
our imports say exactly wh
I was looking over the Hackage categories today to figure out what
Haskell is *really* used for?
I just really quickly sorted the categories by number of packages.
It's really interesting to see System, Graphics and Network so high on
the list.
Clearly, next to data types and text processing, peo
On Thu, Oct 30, 2008 at 1:20 PM, Juliusz Chroboczek
<[EMAIL PROTECTED]> wrote:
>> I wanted to know if anyone who is using distros with 6.6 need to be
>> able to build current releases of darcs from source.
>
> If there turns out to be a significant issue with Darcs 1, I need to be
> able to build a
On Thu, Oct 30, 2008 at 1:22 PM, Juliusz Chroboczek
<[EMAIL PROTECTED]> wrote:
>> Also, note that Lenny has 6.8, and it is scheduled to become stable Real
>> Soon Now.
>
> That's irrelevant. Lenny going stable will not cause my servers to
> automatically get upgraded.
>
> FWIW, the experimental se
On Thu, Oct 30, 2008 at 10:15 AM, Anatoly Yakovenko
<[EMAIL PROTECTED]> wrote:
>>> is there a way to pretty print a module?
>>> like:
>>>
>>> module Main where
>>> import Language.Haskell.TH
>>> main = do
>>> print $ pprint Main
>>>
>> haskell-src should be able to do that.
>
> I think haskell-src
On Wed, Oct 29, 2008 at 6:16 PM, Trent W. Buck <[EMAIL PROTECTED]> wrote:
> David Roundy <[EMAIL PROTECTED]> writes:
>
>> And as far as bundled versions, it's the desire to *remove* a bundled
>> version that's apparently at issue. I'm not sure why this is
>> considered desirable, but apparently so
On Wed, Oct 29, 2008 at 8:01 AM, David Roundy <[EMAIL PROTECTED]> wrote:
> On Wed, Oct 29, 2008 at 11:17:35AM -, Mitchell, Neil wrote:
>> Duncan,
>>
>> I believe the major darcs issue is the changed GADT implementation
>> between 6.6, so that neither 6.6 or 6.8 is a superset/subset of the
>> ot
On Wed, Oct 29, 2008 at 4:17 AM, Mitchell, Neil
<[EMAIL PROTECTED]> wrote:
> Duncan,
>
> I believe the major darcs issue is the changed GADT implementation
> between 6.6, so that neither 6.6 or 6.8 is a superset/subset of the
> other - leading to a situation where they have to use a common subset o
On Tue, Oct 28, 2008 at 4:42 PM, Juliusz Chroboczek
<[EMAIL PROTECTED]> wrote:
>> Debian is nice in some ways and it's really great that stable lives up
>> to its name, but I am sad that Debian has such old software for so
>> long.
>
> Jason,
>
> I know it's frustrating, but please understand where
On Tue, Oct 28, 2008 at 5:13 PM, Trent W. Buck <[EMAIL PROTECTED]> wrote:
> "Jason Dagit" <[EMAIL PROTECTED]> writes:
>> Debian is nice in some ways and it's really great that stable lives up
>> to its name, but I am sad that Debian has such old softwar
On Tue, Oct 28, 2008 at 8:32 AM, David Roundy <[EMAIL PROTECTED]> wrote:
> Yes, it's important for me to be able to use the latest darcs on my
> debian stable computers.
Debian is nice in some ways and it's really great that stable lives up
to its name, but I am sad that Debian has such old softwa
Hello,
I would like to find out if any darcs users who build from the source
are still using ghc 6.6?
If you are such a user, please let me know.
Thanks,
Jason
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listin
What is autoproc?
-
Tired writing procmail recipes by hand?
You're in luck!
Autoproc makes it quick and easy for Haskell programmers to make
procmail recipes by using an embedded domain specific language. Once
your recipes type check and compile you simply run autoproc an
On Thu, Oct 23, 2008 at 12:38 PM, Thomas Hartman <[EMAIL PROTECTED]> wrote:
>>> Specifically I'm trying to concatenate the output of two system calls
>>> into the input of a third. The following code does not get the job
>
> Can the left-fold enumerator described by oleg in
>
> http://okmij.org/ft
On Thu, Oct 23, 2008 at 11:40 AM, Thomas M. DuBuisson
<[EMAIL PROTECTED]> wrote:
>
>> What else should hackage do?
> Automate HPC, and quickChecks.
These two make it sound like we'd almost be providing a 'buildbot'-like service.
> Automatic package dep graph.
Dep. graph would be cool.
> Decentr
Hello,
I was thinking of fun little projects people could work on to improve Hackage:
1) Popularity statistics -- like debian's popcon, gives stats on how
many people have which packages from hackage installed
2) Per package ratings and feedback listed on the page for each package
3) A way to mark
On Tue, Oct 21, 2008 at 9:33 PM, Duncan Coutts
<[EMAIL PROTECTED]> wrote:
> On Tue, 2008-10-21 at 20:33 -0700, Jason Dagit wrote:
>
>> Correct me if I'm wrong, but if I want to make this work on windows I
>> can't use System.Posix, right? If so, what is the
Hello,
I'm not very perl literate, but I want to convert a perl script to
Haskell. This bit of perl is part of darcs' test suite. I was hoping
to make it "more portable" by writing it in Haskell. By more portable
I mean, works in windows without cygwin/mingw/msys and avoids the need
for perl al
On Sun, Oct 19, 2008 at 11:39 PM, Chris Eidhof <[EMAIL PROTECTED]> wrote:
> I think it might be more appropriate to move this discussion to
> haskell-cafe.
>
> On 19 okt 2008, at 17:24, Friedrich wrote:
>
>> Learn to love types: one of the neat things about Haskell is that if
>>> you can write do
On Sun, Oct 19, 2008 at 2:08 PM, Achim Schneider <[EMAIL PROTECTED]> wrote:
> What kind of things, barring coding on Haskell-less platforms and
> library interfaces would you choose to do in C++?
You're asking a crowd that is heavily biased towards Haskell, what they
would use C++ for? You shou
On Thu, Oct 16, 2008 at 7:22 PM, leledumbo <[EMAIL PROTECTED]>wrote:
>
> > ... If there isn't enough information to set a concrete type at the
> call,
> type inference fails. This is what you get with strong typing.
>
> In my case, where does type inference fail? Strong typing is good, but
> quit
On Wed, Oct 15, 2008 at 5:01 PM, Simon Michael <[EMAIL PROTECTED]> wrote:
> I'm pleased to announce the first release of hledger, a command-line
> accounting tool similar to John Wiegley's c++ ledger. hledger generates
> simple ledger-compatible transaction & account balance reports from a plain
>
On Mon, Oct 13, 2008 at 8:32 PM, Tommy M. McGuire <[EMAIL PROTECTED]> wrote:
>
> Java (and presumably C#) "generics" are very much like a weakened version
> of normal parametric polymorphism.
I'm curious, in what way are they weakened?
thanks,
Jason
_
On Sat, Oct 11, 2008 at 8:55 AM, Matthew Naylor <
[EMAIL PROTECTED]> wrote:
> Hi Jason,
>
> I don't know Python, but let me share some thoughts that you might
> find useful.
>
> First, a few questions about your manual translations. Are your
> functions curried? For example, can I partially appl
Hello,
I was thinking about translating Haskell to other languages, python being
the main one at the moment.
Here is my attempt at manually encoding Haskell in Python:
\begin{code}
import types
class thunk:
'''Thunks allow us to delay a computation and they also store their
value insi
On Fri, Oct 10, 2008 at 5:12 AM, Andrew Appleyard <
[EMAIL PROTECTED]> wrote:
> I'd like to announce the first release of Salsa, an experimental Haskell
> library that allows Haskell programs to access .NET libraries.
Wow, that's really great. I have a .NET friendly employer, so I'm happy to
se
On Tue, Oct 7, 2008 at 8:02 AM, apfelmus <[EMAIL PROTECTED]> wrote:
> Jason Dagit wrote:
> > Ryan Ingram wrote:
> >> Jason Dagit wrote:
> >>> \begin{code}
> >>> badOrder :: (Sealed (p x)) -> (forall b. (Sealed (q b))) ->
On Tue, Oct 7, 2008 at 1:13 AM, Ryan Ingram <[EMAIL PROTECTED]> wrote:
>
> You may think it doesn't matter, because you could instantiate it to
> anything after the fact, but it's possible that the result of the case
> statement depends on the choice of instantiation for sy; consider if
> sy had a
On Mon, Oct 6, 2008 at 7:06 PM, Mike Coleman <[EMAIL PROTECTED]> wrote:
> Hi,
>
> I could use a little help. I was looking through the Real World
> Haskell book and came across a trivial program for summing numbers in
> a file. They mentioned that that implementation was very slow, as
> it's bas
On Mon, Oct 6, 2008 at 2:27 PM, Jason Dagit <[EMAIL PROTECTED]> wrote:
>
> For what it's worth, in my real program where this came up, sy was created
> by a recursive call like this:
>
I guess it should have been more like this:
blah :: Sealed (p x)
foo :: Sealed (q b)
f
On Mon, Oct 6, 2008 at 1:56 PM, Ryan Ingram <[EMAIL PROTECTED]> wrote:
> 2008/10/6 Jason Dagit <[EMAIL PROTECTED]>:
> > \begin{code}
> > badOrder :: (Sealed (p x)) -> (forall b. (Sealed (q b))) -> (Sealed (q
> x))
> > badOrder sx sy = case sy of
&
On Mon, Oct 6, 2008 at 12:11 PM, Dominic Steinitz <
[EMAIL PROTECTED]> wrote:
> Not really a Haskell question but I'm not sure where else to go.
The best place to ask would be the darcs-users mailing list:
http://lists.osuosl.org/mailman/listinfo/darcs-users
What's the preferred method of conve
2008/10/6 John Van Enk <[EMAIL PROTECTED]>
> Hello All,
>
> I'm working on a Haskell based VPN. I can't think of any good names, so I'm
> crowd sourcing it.
>
> A few details that may help in naming it:
> 1. It's distributed (doesn't need a "master" or "server").
> 2. It's secure (duh)
> 3. It use
Originally I sent this to glasgow-haskell where I was hoping someone by the
name of Simon would comment on the error message. No one commented at all,
so I'm resending to haskell-cafe. Thanks!
I was wondering if someone could help me understand why reordering the
case statements changes the type
2008/10/5 Galchin, Vasili <[EMAIL PROTECTED]>
> ok ... by using "newtype", we are constricting/constraining to a subset of
> CInt .. e.g. something like a "subtype" of CInt?? (where by "subtype", I
> mean like the notion of subtype in languages like Ada). For our audience,
> can you perhaps distin
Hello,
I was just thinking about how many devs put "TODO ...", "FIXME ...", or
"HACK..." into comments.
Do others think this could be nice optional information for Haddock to
display? I think it could give people an idea for how mature, stable or
clean an api is just by inspecting the above item
On Fri, Oct 3, 2008 at 6:39 PM, <[EMAIL PROTECTED]> wrote:
> G'day all.
>
> Quoting Don Stewart <[EMAIL PROTECTED]>:
>
> How about EDSLs for producing high assurance controllers, and other
>> robust devices they might need. I imagine the LHC has a good need for
>> verified software components...
On Thu, Oct 2, 2008 at 2:46 PM, Jason Dusek <[EMAIL PROTECTED]> wrote:
> John Dorsey <[EMAIL PROTECTED]> wrote:
> > Now you can:
> > * Solve any of the software problems that cannot be solved without
> >the singleton tuple !
>
> What would those be? I'm still trying to figure out how a
>
On Wed, Oct 1, 2008 at 3:27 PM, Simon Brenner <[EMAIL PROTECTED]> wrote:
> On 10/1/08, John Van Enk <[EMAIL PROTECTED]> wrote:
> > There's the well known "How to shoot your self in the foot" list which I
> > have it printed and taped on my desk at work.
> >
> > http://www-users.cs.york.ac.uk/susan
On Tue, Sep 30, 2008 at 1:20 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
> noteed:
> > Hi,
> >
> > I'd like to know, now that time got by a bit, what the writers of the
> > X monad think about the use of the ReaderT/WriterT/IO brought to them
> > (to isolate Configuration data and dynamic data and
On Tue, Sep 30, 2008 at 12:51 AM, apfelmus <[EMAIL PROTECTED]>wrote:
> Jason Dagit wrote:
> > Hello,
> >
> > I recently had someone point me to this thread on LtU:
> > http://lambda-the-ultimate.org/node/2003
> >
> > The main paper in the article is
Hello,
I recently had someone point me to this thread on LtU:
http://lambda-the-ultimate.org/node/2003
The main paper in the article is this one:
http://www.jucs.org/jucs_10_7/total_functional_programming/jucs_10_07_0751_0768_turner.pdf
It leaves me with several questions:
1) Are there are exist
On Mon, Sep 29, 2008 at 12:43 PM, Andrew Coppin <[EMAIL PROTECTED]
> wrote:
> The other day, I sat down to eat a 2 Kg block of chocolate - one of those
> ones that's divided into lots of little squares. I proceeded to recursively
> subdivide it into smaller and smaller blocks, and then eat the ind
On Fri, Sep 26, 2008 at 9:45 AM, Thomas Davie <[EMAIL PROTECTED]> wrote:
>
> On 26 Sep 2008, at 17:51, Jonathan Cast wrote:
>
> On Fri, 2008-09-26 at 12:17 +0200, Thomas Davie wrote:
>>
>>> On 26 Sep 2008, at 12:12, Janis Voigtlaender wrote:
>>>
>>> Manlio Perillo wrote:
> When I compar
On Mon, Sep 22, 2008 at 6:27 PM, Brian Hurt <[EMAIL PROTECTED]> wrote:
>
>
> On Sun, 21 Sep 2008, wren ng thornton wrote:
>
>> Even with functionalists ---of the OCaml and SML ilk--- this use of spaces
>> can be confusing if noone explains that function application binds tighter
>> than all operato
On Thu, Sep 18, 2008 at 11:30 AM, Adam Langley <[EMAIL PROTECTED]> wrote:
> On Thu, Sep 18, 2008 at 10:05 AM, Judah Jacobson
> <[EMAIL PROTECTED]> wrote:
>> Just a guess, but this might be a problem with control-timeout's use
>> of the unsafePerformIO global variables hack. It's missing the
>> sta
On Thu, Sep 18, 2008 at 12:31 PM, Creighton Hogg <[EMAIL PROTECTED]> wrote:
> On Thu, Sep 18, 2008 at 1:55 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
>> wchogg:
>>> On Thu, Sep 18, 2008 at 1:29 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
>
>>> > This makes me cry.
>>> >
>>> >import System.Envir
On Mon, Sep 15, 2008 at 2:50 PM, Ryan Ingram <[EMAIL PROTECTED]> wrote:
> There are many papers that talk about using GADTs to reify types in
> this fashion to allow safe typecasting. They generally all rely on
> the "base" GADT, "TEq"; every other GADT can be defined in terms of
> TEq and existe
On Mon, Sep 15, 2008 at 11:01 AM, Tom Hawkins <[EMAIL PROTECTED]> wrote:
> Hi,
>
> How do I compare a GADT type if a particular constructor returns a
> concrete type parameter?
>
> For example:
>
> data Expr :: * -> * where
> Const :: Expr a
> Equal :: Expr a -> Expr a -> Expr Bool -- If thi
On Fri, Sep 12, 2008 at 8:53 PM, Don Stewart <[EMAIL PROTECTED]> wrote:
> cetin.sert:
>
>>main :: IO ()
>>main = do
>> as <- getArgs
>> mt <- newPureMT
>> let colors = randomRs (lo,hi) mt :: [RGB]
>> print $ zip tx cs
>> where
>>lo = read $ as !! 0
>>
I realized tonight that Hackage needs a theme song. Here is my
attempt at it, apologies to Jefferson Starship:
We built this hackage,
We built this hackage on lambda and types
Say you don't know me, or the parameters I pass
Say you don't care who instances this type class
Knee deep in the thunk,
2008/9/10 Olex P <[EMAIL PROTECTED]>:
> Hi guys,
>
> Any ideas how to integrate Haskell into other software as scripting engine?
> Similarly to Python in Blender or GIMP or to JavaScript in the products from
> Adobe. Which possibilities we have?
This is also very interesting to me. At my day job
2008/9/9 Conal Elliott <[EMAIL PROTECTED]>:
> Where do you like to place your tests? In the functionality modules? A
> parallel structure? A single Test.hs file somewhere?
The last time I had a chance to experiment with how to do this I used
a single Test.hs for the whole project and I think t
On Mon, Aug 25, 2008 at 9:10 AM, Mads Lindstrøm
<[EMAIL PROTECTED]> wrote:
> Hi
>
> Ketil Malde wrote:
>> I've had an interested user, who tried to get one of my programs to
>> run on a Debian machine - running Debian Etch, released a couple of
>> months ago. Here are some of the hurdles stumbled
2008/8/19 Greg Fitzgerald <[EMAIL PROTECTED]>:
> Does anyone know of a good case study comparing a project written in C
> versus one written in Haskell? I'm mostly looking for a comparison of lines
> of code, but any other metric, such as time to market and code quality
> metrics could also be
Yo
2008/8/18 Galchin, Vasili <[EMAIL PROTECTED]>:
>
>
>> .
>>
>> If by "faulting in" you mean downloading and installing missing
>> dependencies, then that's exactly what the cabal-install tool does.
>
>This is exactly by "faulting in" .. an analogy ...
>
>Installing cabal-install seem
On Sat, Aug 16, 2008 at 1:12 PM, Ben Franksen <[EMAIL PROTECTED]> wrote:
>
> Jason Dagit wrote:
> > On Wed, Aug 6, 2008 at 11:09 AM, Andrew Coppin
> > <[EMAIL PROTECTED]>wrote:
> >
> >> I just (re)discovered that I can do things like
> >>
>
On Wed, Aug 6, 2008 at 11:09 AM, Andrew Coppin
<[EMAIL PROTECTED]>wrote:
> I just (re)discovered that I can do things like
>
> data Foo x = Foo Int Int
>
> Now "Foo Int" and "Foo Double" are, as far as the type checker cares, two
> completely different types, even though in fact they are the same
Hello,
I just wanted to thank everyone that has shown their support for darcs
recently by either stopping by #darcs on freenode or joining in discussions
on the darcs-user mailing list. I'm cross posting to haskell-cafe because I
suspect many of you came from there.
There has been a lot of enthu
Thank you for the quick response. It's very helpful and makes perfect sense
now.
On Thu, Aug 7, 2008 at 7:58 PM, Ryan Ingram <[EMAIL PROTECTED]> wrote:
> Also, you may find it helpful to add
>
> > {-# LANGUAGE KindSignatures #-}
>
> to the top of your program, and start annotating your class and
Hello,
I recently had a problem where GHC couldn't deduce some type classes from my
constraints. I would get error messages like:
Could not deduce (Conflict (PatchInfoAnd p),
Patchy (PatchInfoAnd p))
from the context (RepoPatch p)
But, I had some instances like this
I've been lurking on this thread, collecting the valuable feedback. Thanks
all.
On Sun, Aug 3, 2008 at 12:06 PM, Brandon S. Allbery KF8NH <
[EMAIL PROTECTED]> wrote:
>
> On 2008 Aug 3, at 5:35, Andrew Coppin wrote:
>
> Well Darcs already does that. So... what's to develop? It's not like it's
>>
On 7/19/07, Jason Dagit <[EMAIL PROTECTED]> wrote:
On 7/19/07, Dan Weston <[EMAIL PROTECTED]> wrote:
> Oops, you got me. I didn't even look at the third line, I just took it
> from the previous post. My first instinct actually was to write:
>
> allEqual x@(h:t) = and
On 7/19/07, Dan Weston <[EMAIL PROTECTED]> wrote:
Oops, you got me. I didn't even look at the third line, I just took it
from the previous post. My first instinct actually was to write:
allEqual x@(h:t) = and (zipWith (==) x t)
I prefer,
allEqual [] = True
allEqual xs = foldl1 (==) xs
But, u
On 7/18/07, Derek Elkins <[EMAIL PROTECTED]> wrote:
On Wed, 2007-07-18 at 14:06 -0500, Antoine Latter wrote:
> MediaWiki's search isn't fantastic - what I did was a google search on
> "site:www.haskell.org DLL"
>
> It's not a very good answer, but it's the only answer I know.
>
In general I find
On 7/9/07, Donald Bruce Stewart <[EMAIL PROTECTED]> wrote:
voigt:
> Hi,
>
> I can't get http://lambdabot.codersbase.com/ to work for me. Whatever
> input => "No lambdabot process"
>
> Is that a known issue, not the right URL, ...?
>
> Thanks,
> Janis.
Right URL, but Jason's not running lambdabot
Darrell,
Would you be willing to put your step by step instructions on the
wiki? I think having them on the wiki would benefit the largest
audience.
Thanks!
Jason
On 6/21/07, Lewis-Sandy, Darrell <[EMAIL PROTECTED]> wrote:
Whoops - I posted the wrong version of the exports list. Compilation
with the type checking (my code is
wrong, but at least now I get a normal error from ghc).
Thanks,
Jason
Simon
| -Original Message-
| From: Ian Lynagh [mailto:[EMAIL PROTECTED]
| Sent: 15 June 2007 15:53
| To: Jason Dagit
| Cc: haskell-cafe@haskell.org; [EMAIL PROTECTED]; Simon Peyton-Jones
On 6/20/07, Andrew Coppin <[EMAIL PROTECTED]> wrote:
Donald Bruce Stewart wrote:
> Finally, to actually get C speed, use a C md5.
I always feel worried when people say this... It's almost like admitting
"hey, Haskell is beautiful, but it can never be fast". I always find
myself wanting that stat
On 6/18/07, Ian Lynagh <[EMAIL PROTECTED]> wrote:
On Mon, Jun 18, 2007 at 05:07:19PM +0200, Daniel Fischer wrote:
>
> Plugin.hs:46:7:
> Could not find module `Text.Regex':
> it is a member of package regex-compat-0.71, which is hidden
>
> which would be easy to fix if regex-compat-0.71
On 6/15/07, Sebastian Sylvan <[EMAIL PROTECTED]> wrote:
Benchmark it I guess :-)
Both versions use a non-bytestring recursive functions (the outer B.map
should just be a straight map, and yours use a foldr), which may mess fusion
up... Not sure what would happe here...
I don't have a Haskell com
On 6/15/07, Jim Burton <[EMAIL PROTECTED]> wrote:
Sebastian Sylvan wrote:
> On 15/06/07, Jim Burton <[EMAIL PROTECTED]> wrote:
[snip]
> Hi,
Hi Sebastian,
> I haven't compiled this, but you get the general idea:
>
> import qualified Data.ByteString.Lazy.Char8 as B
> -- takes a bytestring represent
On 6/15/07, Ian Lynagh <[EMAIL PROTECTED]> wrote:
On Thu, Jun 14, 2007 at 08:27:36PM -0700, Jason Dagit wrote:
> On 6/14/07, David Roundy <[EMAIL PROTECTED]> wrote:
>
> >src/Darcs/Patch/Show.lhs:50:0:
> >Quantified type variable `y' is unified with another
On 6/15/07, Jim Burton <[EMAIL PROTECTED]> wrote:
No -- I'll give it a try and compare them. Is laziness preferable here?
Laziness might give you constant space usage (if you are sufficiently
lazy). Which would help with the thrashing.
Jason
___
Ha
On 6/14/07, David Roundy <[EMAIL PROTECTED]> wrote:
src/Darcs/Patch/Show.lhs:50:0:
Quantified type variable `y' is unified with another quantified type
variable `x'
When trying to generalise the type inferred for `showPatch'
Signature type: forall x y. Patch x y -> Doc
T
On 5/22/07, Robin Green <[EMAIL PROTECTED]> wrote:
On Tue, 22 May 2007 15:05:48 +0100
Duncan Coutts <[EMAIL PROTECTED]> wrote:
> On Tue, 2007-05-22 at 14:40 +0100, Claus Reinke wrote:
>
> > so the situation for mailing lists and online docs seems to have
> > improved, but there is still the wiki
On 6/7/07, Ruben Zilibowitz <[EMAIL PROTECTED]> wrote:
Hi,
Thanks for the reply. The Lines.hs example program seems to work just
right. Unfortunately I still can't get colored lines to work in my 3d
program.
Maybe it has something to do with the fact my one is 3d and
the example program is in
On 6/2/07, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
> The last time I tried this code, I reported to haskell-cafe that
> OOHaskell does not work when compiled as a library (at least under
> GHC). For some reason the code that uses OOHaskell had to be compiled
> along side it. Is this now f
On 5/31/07, [EMAIL PROTECTED] <[EMAIL PROTECTED]> wrote:
Polymorphic extensible records with subtyping are already expressible
in Haskell. There is nothing needs to be added:
http://homepages.cwi.nl/~ralf/HList/
http://homepages.cwi.nl/~ralf/OOHaskell/
The last time I tried th
On 5/30/07, Jon Harrop <[EMAIL PROTECTED]> wrote:
I've found HOpenGL and the Debian package libghc6-opengl-dev. The former seems
to be very out of date (last release 2003) but I can't find any demos for the
latter.
Where should I go to get started with OpenGL and Haskell?
I started converting
On 5/29/07, Doug Kirk <[EMAIL PROTECTED]> wrote:
OTOH, I work for companies, and they really value their assets,
especially software assets. So they *want* centralized stuff, so they
can ensure they have consistent backups (in the U.S.A. there is a lot
of regulation under Sarbanes-Oxley that requ
On 5/28/07, Donald Bruce Stewart <[EMAIL PROTECTED]> wrote:
This thread should end, guys. It is inappropriate for the Haskell lists,
and appears to have been a simple misunderstanding anyway.
Thanks everyone. Please stay friendly!
-- Don
P.S. Have some cute code:
Control.Monad.Fix.fix ((1
On 5/28/07, Donald Bruce Stewart <[EMAIL PROTECTED]> wrote:
conrad:
> On 28/05/07, Donald Bruce Stewart <[EMAIL PROTECTED]> wrote:
> >Our small little window manager, xmonad, also has a pretty strict style
> >guide.
>
> where? Perhaps I need coffee, but I couldn't find this in the source
> (xmona
On 5/27/07, Ryan Ingram <[EMAIL PROTECTED]> wrote:
I was hoping that hSetBuffering would turn off the line buffering for stdin,
but it doesn't seem to work.
module Main where
import System.IO
main :: IO ()
main = do
hSetBuffering stdin NoBuffering
hSetBuffering stdout NoBuffering
Hello,
We recently had a challenge as follows:
Given a word, find all the words in the dictionary which can be made
from the letters of that word. A letter can be used at most as many
times as it appears in the input word. So, "letter" can only match
words with 0, 1, or 2 t's in them.
I opted
On 5/20/07, Andrew Coppin <[EMAIL PROTECTED]> wrote:
Rodrigo Queiro wrote:
> http://lambdabot.codersbase.com/
Wait, what the hell...?
> 1 + 1
/usr/lib/ghc-6.4.2/package.conf: openFile: does not exist (No such file
or directory)
Sorry about that, I upgraded my ghc package without realizing i
On 5/17/07, Adrian Hey <[EMAIL PROTECTED]> wrote:
Jules Bean wrote:
>> BTW, this is the commonly the subject of flame wars on the Haskell
>> mailing lists because there appear to be many who passionately believe
>> and assert that so called "global variables" are (at best) unnecessary
>> and (at
On 4/9/07, Joel Reymont <[EMAIL PROTECTED]> wrote:
Folks,
Does anyone have code that can grab a list of functions named with a
certain prefix from the current (or given) module? I want to find
functions named, say, ast_* and produce a list of tuples like
("input1", ast_input1).
I wrote some co
Am I the only one that doesn't get it?
Jason
On 12/20/06, [EMAIL PROTECTED]
<[EMAIL PROTECTED]> wrote:
Bernie Pope writes:
> I thought this email might be interesting for the Spanish speaking
> part of the Haskell community, so I have written it in Spanish for them:
> ("Since learning Haskell
On 12/15/06, Bulat Ziganshin <[EMAIL PROTECTED]> wrote:
Hello Martin,
Friday, December 15, 2006, 3:51:24 PM, you wrote:
>>1) F#, is Ocaml dialect integrated in .NET environment
>>2) Clean, very Haskell-like language with a commercial IDE, GUI libs and so on
>>3) Business Objects, integration of
501 - 600 of 675 matches
Mail list logo
