On Thu, Mar 10, 2011 at 7:41 PM, eldavido wrote:
> Hi,
> I´m doing a project in haskell and I need to define an operator that
> concatenate some own defined data types, just like the operator ++ does for
> lists. I don´t see how to define the operator recursively since this adding
> function (:) d
Hi,
I´m doing a project in haskell and I need to define an operator that
concatenate some own defined data types, just like the operator ++ does for
lists. I don´t see how to define the operator recursively since this adding
function (:) doesn´t work on my own data types.
This is my code:
data All
I'm trying to write some bindings using hsc2hs. At the top of my .hsc
file, I have
#include
#include
When I compile a .c file with just these two lines in gcc, it works
fine (the jack directory is in /usr/local/include). When I try to run
hsc2hs,
it complains that it cannot find the header file
On Wed, Mar 9, 2011 at 17:18, Simon Peyton-Jones wrote:
> could you contribute a little vignette or story
> about using Haskell in a *parallel/concurrent* application
> that I could use to illustrate my talk?
>
Combinatorrent is a BitTorrent client written in Haskell, based
On Thu, Mar 10, 2011 at 6:04 PM, John D. Ramsdell wrote:
> At the code level, all that is done is replace one map call with a
> parallelized version of map that I saw in one of your papers:
>
> #if defined HAVE_PAR
> parMap :: (a -> b) -> [a] -> [b]
> parMap _ [] = []
Opps. Please delete the #if
On Wed, Mar 9, 2011 at 11:18 AM, Simon Peyton-Jones
wrote:
> could you contribute a little vignette or story
> about using Haskell in a *parallel/concurrent* application
> that I could use to illustrate my talk?
The Cryptographic Protocol Shapes Analyzer (CPSA) attempts to
e
to answer the question of the other poster, ghc 7.0.2 packaged installer, 64
bit build
Jurrien, I wound up doing something similar, namely just wholesale copying
the 10.5 sdk into the sdks folder.
i'm still curious why this problem even exists!
2011/3/10 Jurriën Stutterheim
> I solved it by ma
On 10/03/11 18:20, Bas van Dijk wrote:
On 10 March 2011 18:11, Simon Marlow wrote:
On 28/02/11 15:59, Bas van Dijk wrote:
On 25 February 2011 19:10, Bas van Dijkwrote:
On 25 February 2011 18:27, sclvwrote:
Bas van Dijk-2 wrote:
I believe the OS threads are created by my levmar
On Wed, Mar 09, 2011 at 05:50:12PM +0100, Gábor Lehel wrote:
> On Wed, Mar 9, 2011 at 5:26 PM, Remi Turk wrote:
> > Count on it having at least an order of magnitude more overhead.
> > I did some simple test of calling the following three trivial
> > functions (with constant arguments, and ignorin
We're pleased to announce the 2011.2 release of the Haskell Platform: a
single, standard Haskell distribution for everyone.
Download the Haskell Platform 2011.2.0.0:
http://haskell.org/platform/
The specification, along with installers (including Windows, Apple and
Unix installers for a full
Questions:
1. How did you install ghc-7? Using a binary package? The one for leopard or
snow leopard?
2. Which compiler flags did you use? Does it work with another backend?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/m
Hi,
I haven't installed XCode 4 yet, but the crt1.10.5.o is the c runtime file
defining the symbol "start" which any program will be linked with being the
programs real entry point.
Disassembling "crt1.10.5.o" (for Leopard) and "crt1.10.6.o" (for Snow
Leopard) reveals the very same code for th
On 7 Mar 2011, at 23:38, Alexander Solla wrote:
>_|_ /= (_|_,_|_)
>
> > (undefined, undefined)
> (*** Exception: Prelude.undefined
>
> That is as close to Haskell-equality as you can get for a proto-value that
> does not have an Eq instance. As a consequence of referential transparency,
>
On 10 March 2011 18:11, Simon Marlow wrote:
> On 28/02/11 15:59, Bas van Dijk wrote:
>>
>> On 25 February 2011 19:10, Bas van Dijk wrote:
>>>
>>> On 25 February 2011 18:27, sclv wrote:
Bas van Dijk-2 wrote:
>
> I believe the OS threads are created by my levmar library. Thi
On 10 March 2011 18:24, Yves Parès wrote:
> Why has the operator (.) troubles with a type like (forall s. ST s a)?
>
> Why can't it match the type 'b' in (.) definition?
As explained by the email from SPJ that I linked to, instantiating a
type variable (like 'b') with a polymorphic type (like 'fo
Why has the operator (.) troubles with a type like (forall s. ST s a)?
Why can't it match the type 'b' in (.) definition?
2011/3/10 Daniel Fischer
> On Thursday 10 March 2011 14:18:24, Anakim Border wrote:
> > Dear list,
> >
> > I have the following (simplified) piece of code:
> >
> > find ::
From: Simon Peyton-Jones
>
> Friends
>
> I'm giving a talk at a developer conference in London on Friday 18th, about
> parallel programming in Haskell.
>http://skillsmatter.com/event/scala/functionalpx-2011/ad-1382
>
> I know that some of you have been using Haskell for parallel or concur
On 28/02/11 15:59, Bas van Dijk wrote:
On 25 February 2011 19:10, Bas van Dijk wrote:
On 25 February 2011 18:27, sclv wrote:
Bas van Dijk-2 wrote:
I believe the OS threads are created by my levmar library. This
library uses bindings-levmar[4] which is a binding to a C library.
bindings-le
On Thursday 10 March 2011 17:15:29, Bas van Dijk wrote:
> On 10 March 2011 14:47, Daniel Fischer
wrote:
> > If memory serves correctly, it's impredicative polymorphism.
>
> Indeed. For example the following also doesn't type check in GHC-7:
>
> foo :: (forall s. ST s a) -> a
> foo st = ($) runS
On 10 March 2011 14:47, Daniel Fischer wrote:
> If memory serves correctly, it's impredicative polymorphism.
Indeed. For example the following also doesn't type check in GHC-7:
foo :: (forall s. ST s a) -> a
foo st = ($) runST st
Surprisingly the following does:
foo :: (forall s. ST s a) -> a
On Thursday 10 March 2011 14:18:24, Anakim Border wrote:
> Dear list,
>
> I have the following (simplified) piece of code:
>
> find :: Int -> [Int]
> find i = runST . (`runContT` return) $
> callCC $ \escape -> do
> return []
>
> which used to compile correctly under GHC 6.12.3.
>
> Now t
Dear list,
I have the following (simplified) piece of code:
find :: Int -> [Int]
find i = runST . (`runContT` return) $
callCC $ \escape -> do
return []
which used to compile correctly under GHC 6.12.3.
Now that I've switched to 7.0.2 it gets rejected with the following error:
Couldn
In regions-0.9 I removed support for forking threads because it
allowed you to use a closed handle in a forked thread. Unfortunately I
just realized that it's still possible to fork threads in a region.
The reason is that I've derived a MonadControlIO instance for RegionT
which enables you to use f
On Thursday 10 March 2011 07:24:45 you wrote:
> Like Kenneth Hoste, I haven't been receiving mails from haskell-cafe@
> nor libraries@ for a few days to a week now. What is the status of the
> mailing lists?
>
> (Please CC me off-list, for obvious reasons)
Like David, I receive posts for both lis
> Will methods explained here work for boolean expressions?
The convenience of defining using specialised datatypes for
serialising numeric operations comes from Num being a typeclass. This
is not the case for Bool:
Prelude> :info Num
class (Eq a, Show a) => Num a where
(+) :: a -> a -> a
..
> This is already an improvement to my current code. But I am not
> entirely satisfied. I can pick and choose which structures to use in
> my terms but the context type is still an ordinary data type. Each
> module which extends the expression language with new structures needs
> to define a compl
What are the arguments for updating?
Are you using ghc-7.0.2? Wait for Haskell Platform 2011.2.0.0 that will
be based on cabal-install-0.10.2!
Cheers Christian
Am 10.03.2011 11:27, schrieb Hauschild, Klaus (EXT):
> Hallo,
>
> I'm using Haskell Platform 2010.2.0.0 on a Windows XP machine. This
>
Hi Johan,
Thank you for the tip. After a tiny manupulation at my PATH variable it works.
-Ursprüngliche Nachricht-
Von: Johan Tibell [mailto:johan.tib...@gmail.com]
Gesendet: Donnerstag, 10. März 2011 11:39
An: Hauschild, Klaus (EXT)
Cc: haskell-cafe@haskell.org
Betreff: Re: [Haskell-ca
On Thu, Mar 10, 2011 at 11:27 AM, Hauschild, Klaus (EXT)
wrote:
> Hallo,
>
> I'm using Haskell Platform 2010.2.0.0 on a Windows XP machine. This haskell
> platform includes cabal-1.8.0.6.
> Now I want to update cabal by "cabal install cabal". Installation works
> well.
> Call like "runhaskell ./Se
Hallo,
I'm using Haskell Platform 2010.2.0.0 on a Windows XP machine. This haskell
platform includes cabal-1.8.0.6.
Now I want to update cabal by "cabal install cabal". Installation works well.
Call like "runhaskell ./Setup.hs" will use the updatetd cabal-1.10.0.0. But
"cabal --version" says sti
On 10 March 2011 04:04, Jason Dusek wrote:
> I'm trying to hew relatively close to Duncan Coutts'
> blog posting in working through this; so I have different
> code and a new Makefile:
Starting with your code I've managed to make it work (OS X 10.6, GHC
7). The Makefile is:
"""
loadfoo: loadf
Erlend Hamberg wrote:
> When I wanted to get the newest xmonad code from darcs today¹ it was
> really, really slow...
> Being on an IPv6 network, and having been burnt by
> similar problems before, I tried adding IPv4 address for
> code.haskell.org in /etc/hosts...
> This fixed the issue
> ...Conne
> In practice if you want to actually _use_ ST you'll find you'll need to
let the world escape into your type. Otherwise you won't be able to create
and pass around any STRefs or arrays and use them later.
> The universal quantification inside of MyST's definition will keep you
from holding on to t
On Thu, Mar 10, 2011 at 10:06 AM, Bas van Dijk wrote:
> On 10 March 2011 08:12, Hauschild, Klaus (EXT)
> wrote:
>> Hi Haskellers,
>>
>> I read about the cabal features for running test code from Setup.hs with
>> "defaultMainWithHooks". I'm looking for more generic code that allows me to
>> place
On 10 March 2011 08:12, Hauschild, Klaus (EXT)
wrote:
> Hi Haskellers,
>
> I read about the cabal features for running test code from Setup.hs with
> "defaultMainWithHooks". I'm looking for more generic code that allows me to
> place any haskell in a subdirectory "test" or so and "cabal test" will
35 matches
Mail list logo
