-- stm-chans 1.0.0
The stm-chans package offers a collection of channel types, similar to
Control.Concurrent.STM.TChan but with additional features. In particular
it offers these types:
* Control.Concur
>>> I worked out a small hdf5 binding using cabal and bindings-DSL and
>>> sqlite3 as my example.
>> I just wanted to add that I also started an HDF5 binding recently
>> (using hsc2hs only). It does more than enough for me ATM, so I don't
>> develop it actively, but if you want to pursue this (an
I am trying to install llvm-0.9.0.1 on Windows (through cygwin), on top
of a clean install of Haskell Platform 2010.2.0.0.
I do
cabal install llvm --configure-option --with-llvm-prefix="C:\\llvm"
(which is where I unpacked llvm-gcc4.2-2.8-x86-mingw43.tar.bz2). This
fails with
.mingw\bin\
On Sun, Apr 3, 2011 at 4:21 PM, Jason Dagit wrote:
> I'm excited to announce the immediate availability of FreeType 2 bindings
> on hackage. These bindings are based off the 2.4.4 release of FreeType 2
> and use the BSD licensing option for FreeType 2. This package should be of
> interest to Op
I'm excited to announce the immediate availability of FreeType 2 bindings on
hackage. These bindings are based off the 2.4.4 release of FreeType 2 and
use the BSD licensing option for FreeType 2. This package should be of
interest to OpenGL users as it provides a way to get nice looking fonts int
> From: Patrick Browne
> Sent: Sun, April 3, 2011 9:04:22 AM
>
...
> 2)My second question is more theoretical. It is stated by the author
> that type checking and excitability provide verification.
I don't know what "excitability" has to do with verification.
Type checking in Haskell provide
Ryan,
That did it! Thanks a lot for your help.
Tad
On Sun, Apr 3, 2011 at 1:14 PM, Ryan Ingram wrote:
>
>
> On Sun, Apr 3, 2011 at 1:00 PM, Tad Doxsee wrote:
>>
>> "Equality constraints ... enable a simple translation of programs
>> using functional dependencies into programs using fami
Hi!
Based on my Etage data-flow framework:
http://hackage.haskell.org/package/Etage
I have made a package to show how to implement graph algorithms on top of it:
http://hackage.haskell.org/package/Etage-Graph
I invite everybody to take a look and see how it is possible to
implement known contr
On Sun, Apr 3, 2011 at 1:00 PM, Tad Doxsee wrote:
> "Equality constraints ... enable a simple translation of programs
>using functional dependencies into programs using family
>synonyms instead.
>
> So I tried:
>
> class (T s ~ a) => ShapeC a s where
> type T s :: *
> draw :: s -> Str
Hello fellow Haskellers,
(once again posted to the cafe, because the Haskell mailing list rejects
my mails.)
I have released quite a few libraries over time on Hackage. I feel they
are stable enough now to announce them here.
* contstuff: Fast and flexible monad transformers based on the CPS
Hi All,
Last week I asked a question with the subject "object oriented
technique". I got a lot very helpful answers and I thank all who
contributed. At the end of my question, I alluded to some problems
that I was having with what I wanted to do next, which was to add
additional polymorphism. I
On Sunday 03 April 2011 21:25:34, Patrick Browne wrote:
> Daniel,
> I think that the definition of other in Link makes bi-directional travel
> possible in prog1. The function other takes an edge and the first node
> and returns the other (second) node of that edge. So we can begin our
> journey at
Jason Dagit schrieb:
> While the GLfloat instances don't need to be in base, the CFloat
> instance probably should be in base. Is this something I should make a
> library proposal for and submit patches? Is there an easier way to get
> these instances? Has someone already done this?
Maybe the
Daniel,
I think that the definition of other in Link makes bi-directional travel
possible in prog1. The function other takes an edge and the first node
and returns the other (second) node of that edge. So we can begin our
journey at the end and arrive at the start
other (Edge (Node "end") (Node "s
Hi all,
It's time for a second edition of the Typeclassopedia [1], and I'd
love to have your suggestions and contributions. You can send me
suggestions and darcs patches [2] by email. For more detailed
information, see my blog post [3].
-Brent
[1] http://www.haskell.org/wikiupload/8/85/TMR-Iss
On Sunday 03 April 2011 16:31:10, Anwar Bari wrote:
> HI Cafe
> I have problem with this function
> value :: Theorm-> [(String,Int)] -> Tem -> Int
> value _ env (Var s) = maybe (error "Unknown variable.") id
> (lookup s env) value mdl env (OP s _ _ l) = maybe (error "Function not
> defined
On Sunday 03 April 2011 16:04:22, Patrick Browne wrote:
> Hi,
> Attached are two programs that represent one-way and two-way traffic on
> a road. I can get the programs to produce reasonable results that match
> our intuitive ideas of roads.
> However, I have 2 question about the programs:
>
> 1)I
HI Cafe
I have problem with this function
value :: Theorm-> [(String,Int)] -> Tem -> Int
value _ env (Var s) = maybe (error "Unknown variable.") id (lookup s env)
value mdl env (OP s _ _ l) = maybe (error "Function not defined.") id (lookup
(map (value mdl env) l) (S.toList $ maybe (err
Hi,
Attached are two programs that represent one-way and two-way traffic on
a road. I can get the programs to produce reasonable results that match
our intuitive ideas of roads.
However, I have 2 question about the programs:
1)I cannot get the result suggested by the author that t1 should give
tru
I wrote:
>> After running yackage -l, I cannot connect to it even directly
>> from localhost. I get the message:
>> This Yackage server only talks to local clients
Michael Snoyman wrote:
> ...it doesn't sound like your problem is caused by the mis-behaving
> Yackage code: it *should* give you a "
On Sun, Apr 3, 2011 at 1:32 PM, Yitzchak Gale wrote:
> On Mac OS X 10.6.7, after upgrading to yackage 0.1.0.1:
>
> After running yackage -l, I cannot connect to it even directly
> from localhost. I get the message:
>
> This Yackage server only talks to local clients
>
> On a Linux server it seem
On Mac OS X 10.6.7, after upgrading to yackage 0.1.0.1:
After running yackage -l, I cannot connect to it even directly
from localhost. I get the message:
This Yackage server only talks to local clients
On a Linux server it seems to work fine though.
On the Mac, when I do "telnet localhost" I
We probably won't have a video camera, but we can always provide the slides.
Cheers,
Jasper
On Sat, Apr 2, 2011 at 8:41 PM, oliver mueller wrote:
> sounds like an interesting program...
> you should think about making the talks available later for those who
> can not attend.
> br,
> oliver
>
> O
23 matches
Mail list logo