Claus,
Thanks for your thoughtful response. Let me note that fully abstract
semantics for PCF -- a total toy, mind you, just lambda + bools + naturals
-- took some 25 years from characterization of the problem to a solution.
That would seem to indicate shoe-horning, in my book ;-). Moreover, when i
Brandon,
i see your point, but how do we sharpen that intuition to a formal
characterization?
Best wishes,
--greg
On Mon, Nov 24, 2008 at 10:45 PM, Brandon S. Allbery KF8NH <
[EMAIL PROTECTED]> wrote:
> On 2008 Nov 24, at 17:06, Greg Meredith wrote:
>
> Now, are there references for a theory of
On 2008 Nov 24, at 17:06, Greg Meredith wrote:
Now, are there references for a theory of monads and take-out
options? For example, it seems that all sensible notions of
containers have take-out. Can we make the leap and define a
container as a monad with a notion of take-out? Has this been d
Owen Smith wrote:
Hi all,
Thanks for your welcome and helpful comments. I've banged out a first
attempt at a Haskell library and was curious if anybody would have
time or interest in looking it over it for style, design, stuff that's
just wrong, or (most likely) stuff that's been done better els
I've noticed that many of the packages I upload to haddock don't build
documentation properly, although the documentation builds fine locally
when I run "cabal haddock".
For example:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HAppSHelpers
is fine in my local environment.
I am no
Hello,
Cabal allows specifying arguments for tools it recognizes on the
command line, e.g.
runhaskell Setup.hs configure --c2hs-option=some_option
Unfortunately, I can't find a way to make this work with .cabal (or
.buildinfo) files, except for the specific cases of ghc, hugs, and
nhc98 options.
- i am interested in a first-principles notion of data. Neither lambda
nor π-calculus come with a criterion for determining which terms represent
data and which programs. You can shoe-horn in such notions -- and it is
clear that practical programming relies on such a separation -- but alon
john:
> Is the windows 32 or 64 bit, a while ago, ghc had trouble producing
> efficient binaries for 64 bit intel systems. Something about the
> interaction between gcc and the C it produced created some pessimal
> assembly output. I do not know how much this is still an issue though.
> You could t
2008/11/21 Robert Greayer <[EMAIL PROTECTED]>:
> How does Hackage run 'haddock' on uploaded packages? I had assumed it
> directly runs the cabal 'haddock' target, e.g.
>
> runhaskell Setup.hs haddock
>
> but it appears to perhaps be more complex than that.
>
> Some backrgound --
>
> haddock doesn
On Mon, 2008-11-24 at 15:16 +0100, Thomas Hartman wrote:
> I have run into another issue with cabal packaging, which seems
> related to the issues discussed above. (see attached tar file for
> complete example of failure scenario)
>
> If I have a cabal package that depends on two other packages
>
On Mon, Nov 24, 2008 at 02:06:33PM -0800, Greg Meredith wrote:
> Now, are there references for a theory of monads and take-out options? For
> example, it seems that all sensible notions of containers have take-out. Can
> we make the leap and define a container as a monad with a notion of
> take-out
Is the windows 32 or 64 bit, a while ago, ghc had trouble producing
efficient binaries for 64 bit intel systems. Something about the
interaction between gcc and the C it produced created some pessimal
assembly output. I do not know how much this is still an issue though.
You could try compiling 32
Jonathan,
Nice! Thanks. In addition to implementations, do we have more mathematical
accounts? Let me expose more of my motives.
- i am interested in a first-principles notion of data. Neither lambda
nor π-calculus come with a criterion for determining which terms represent
data and which
bartek:
> Hi Everybody,
>
> while working on my resent project I've noticed that my code seems to be
> faster under Windows than under Linux x64.
> More exactly this was an AI game evaluator that ran on given parameters.
> There
> was no IO performed. I've run 3 lots of test on both systems and
Hi Everybody,
while working on my resent project I've noticed that my code seems to be
faster under Windows than under Linux x64.
More exactly this was an AI game evaluator that ran on given parameters. There
was no IO performed. I've run 3 lots of test on both systems and stored some
figures.
A way this analogy breaks down is that lazyness evaluates precisely what
is needed, and no more. The set of values evaluated by lazyness is
exactly equivalent to the set of values needed.
Garbage collectors are conservative by nature, the values collected by
the garbage collector are some subset o
On Mon, 2008-11-24 at 14:06 -0800, Greg Meredith wrote:
> 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 m
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
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.
Some monads do not come with take-out options, IO being a notorious
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HGL
or
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/soegtk
2008/11/24 Dmitri O.Kondratiev <[EMAIL PROTECTED]>:
> Please help, to locate in GHC distribution SOEGraphics library from
> Paul Hudak, book "The Haskell School of E
simonpj:
>
> | It's sad to see the OpenGL binding being dropped from GHC binary
> | installers starting from 6.10. Though this issue has been brought up
> | and discussed before, I'm sure a lot of people who based their work on
> | OpenGL would share the same sympathy.
>
> The plan (which we have
Which version of GHC are you using?
This particular example triggers a "boundary condition" in ghc 6.10
where, with only one spark, GHC doesn't fire up the extra cpu. Try it
with 6.8.x to see that in action.
Simon Marlow may be able to comment more.
-- Don
olivier.boudry:
> Hi all,
>
> I'm rea
Did you try clicking the links on that page you referenced?
There's one labelled software.
http://www.haskell.org/soe/software1.htm
Which shows source code links for SOE.
Dave
2008/11/24 Dmitri O.Kondratiev <[EMAIL PROTECTED]>
> Please help, to locate in GHC distribution SOEGraphics library fr
Luke Palmer wrote:
> Larry Evans wrote:
>>
>> contains a cross function which calculates the cross product
>> of two lists. That attached does the same but then
>> used cross on 3 lists. Naturally, I thought use of
>> fold could generalize that to n lists; however,
>> I'm getting error:
>
> The
Please help, to locate in GHC distribution SOEGraphics library from
Paul Hudak, book "The Haskell School of Expression"
(http://www.haskell.org/soe/ )
Thanks!
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/
On 11/24/08 00:40, Andrea Vezzosi wrote:
It's more natural to consider the cross product of no sets to be [[]] so
your crossr becomes:
crossr [] = [[]]
crossr (x:xs) = concat (map (\h ->map (\t -> h:t) (crossr tail)) hd)
which we can rewrite with list comprehensions for conciseness:
crossr []
Hi all,
I'm reading the following tutorial:
http://research.microsoft.com/~simonpj/papers/parallel/AFP08-notes.pdf
"A Tutorial on Parallel and Concurrent
Programming in Haskell" and have problems getting the expected speed
improvement from running two tasks in parallel. With any version of
the cod
If you want to defer the choice of 's' you've to make it appear in the type
signature of test1, so you've to introduce an artificial parameter even if
we're interested only in its type. e.g.:
data Proxy (s :: * -> * -> *) -- useful because we can't have an argument
of type 's' directly, since it's
Hi all,
Thanks for your welcome and helpful comments. I've banged out a first
attempt at a Haskell library and was curious if anybody would have
time or interest in looking it over it for style, design, stuff that's
just wrong, or (most likely) stuff that's been done better elsewhere.
I'm willing
| It's sad to see the OpenGL binding being dropped from GHC binary
| installers starting from 6.10. Though this issue has been brought up
| and discussed before, I'm sure a lot of people who based their work on
| OpenGL would share the same sympathy.
The plan (which we have perhaps not articulate
Jacques Carette wrote:
-- This does not however help at all! The only way I have found of
'fixing' this requires annotating the code itself, which I most
definitely do not want to do because I specifically want the code to be
polymorphic in that way. But GHC 6.8.2 does not want to let me do
31 matches
Mail list logo