Yin,
2012/1/14 Yin Wang yinwa...@gmail.com:
On Sat, Jan 14, 2012 at 2:38 PM, Dominique Devriese
dominique.devri...@cs.kuleuven.be wrote:
I may or may not have thought about it. Maybe you can give an example
of parametric instances where there could be problems, so that I can
figure out
Hi,
On 14.01.2012, at 12:11, Serge D. Mechveliani wrote:
On Fri, Jan 13, 2012 at 12:19:34PM -0800, Donn Cave wrote:
Quoth Serge D. Mechveliani mech...@botik.ru,
...
Initially, I did the example by the Foreign Function Interface for C.
But then, I thought But this is unnatural! Use plainly
The author of libvirt, Richard Jones, is an OCaml hacker.
G
--
-Original Message-
From: Michael Litchard mich...@schmong.org
Sender: haskell-cafe-boun...@haskell.org
Date: Sun, 15 Jan 2012 14:05:56
To: haskell-cafe@haskell.org
Subject: Re: [Haskell-cafe] bindings
Gaius Hammond wrote:
The author of libvirt, Richard Jones, is an OCaml hacker.
libvirt has many authors. See the git repo commit history:
http://libvirt.org/git/?p=libvirt.git;a=summary
Richard Jones is however the the main author of the Ocaml
bindings:
To my question about safety of
toA_IO = openFd toA WriteOnly Nothing defaultFileFlags
fromA_IO = openFd fromA ReadOnly Nothing defaultFileFlags
toA = unsafePerformIO toA_IO
fromA = unsafePerformIO fromA_IO
axiomIO :: String - IO String
axiomIO str = do
fdWrite toA str
Hi all!
Based on ideas by Koen Claessen, I have made a small module for what
might be called patch combinators:
http://hpaste.org/56501
Examples are found as comments.
Before I push this to Hackage, I just wanted to check if there is any
package that already provides this sort of
On 01/16/2012 02:15 PM, Edward Z. Yang wrote:
Hello Mikhail,
Hi.
Sorry, long email. tl;dr I think it makes more sense for throw/catch/mask to
be bundled together, and it is the case that splitting these up doesn't address
the original issue monad-control was designed to solve.
On Mon, Jan 16, 2012 at 08:17, Mikhail Vorozhtsov
mikhail.vorozht...@gmail.com wrote:
As I said, you think of IO too much.
I think you two are talking about two related but different things;
monad-control is solving a *specific* problem with IO, but you want
something more general. I think
=
ICFP 2012: International Conference on Functional Programming
Copenhagen, Denmark, September 9 - 15, 2012
http://www.icfpconference.org/icfp2012
=
I favor a wait-free concurrency model based on the `vat` from E language.
Vats can be modeled very easily in Haskell, and in many other languages. I
currently use such a vat model for my Haskell projects. I describe aspects
of it at a few places:
*
Full beta-reduction is certainly not strict but also doesn't guarantee
terminate even where it is possible (i.e. it might indefinitely unfold a
value without making progress). I don't think there is much you can say
about non-strictness and termination.
Regards,
Dave
On Mon, Jan 9, 2012 at 3:01
Hello Mikhail,
Thanks for continuing to be willing to participate in a lively discussion. :-)
Excerpts from Mikhail Vorozhtsov's message of Mon Jan 16 08:17:57 -0500 2012:
On 01/16/2012 02:15 PM, Edward Z. Yang wrote:
Anders and I thought a little more about your example, and we first wanted
Hello!
I am interested in extending the Network.HTTP code in the HTTP package to
support HTTPS via TLS. A clear candidate is to use the Network.TLS module
in the TLS library (because its TLS logic is written in pure Haskell,
rather than any of the FFI libraries like Network.Curl or the OpenSSL
The typical example would be
instance Eq a = Eq [a] where
[] == [] = True
(a : as) == (b : bs) = a == b as == bs
_ == _ = False
It can handle this case, although it doesn't handle it as a parametric
instance. I suspect that we don't need the concept of parameter
instances at all. We
On Mon, Jan 16, 2012 at 6:28 PM, Myles C. Maxfield
myles.maxfi...@gmail.com wrote:
I am interested in extending the Network.HTTP code in the HTTP package to
support HTTPS via TLS.
[snip]
I am left with the conclusion that it is impossible to support TLS in
Network.Browser without breaking many
On Sat, Dec 10, 2011 at 6:57 PM, Gwern Branwen gwe...@gmail.com wrote:
The Wheel turns, and months come and pass, leaving blog posts that
fade into 404s; a wind rose in Mountain View, whispering of the coming
Winter...
Tonight I sat down and finally looked into the 2011 SoCs to see how
they
Did you figure out what you need to know? If not, I would suggest
asking this same question but on StackOverflow (assuming you haven't
already asked there).
Jason
On Mon, Dec 19, 2011 at 2:35 PM, David Pollak
feeder.of.the.be...@gmail.com wrote:
Howdy,
I'm trying to figure out how to get
Felipe Almeida Lessa wrote:
On Mon, Jan 16, 2012 at 6:28 PM, Myles C. Maxfield
myles.maxfi...@gmail.com wrote:
I am interested in extending the Network.HTTP code in the HTTP package to
support HTTPS via TLS.
[snip]
I am left with the conclusion that it is impossible to support TLS in
On 01/16/2012 08:28 PM, Myles C. Maxfield wrote:
Hello!
[snip]
Hi Myles,
I'm going to echo Felipe and Erik's comments, and think you'ld have a better
time porting Network.Browser on top of http-enumerator (now called
http-conduit). Looking at it quickly, it doesn't seems too difficult to
Hello everyone,
while I'm playing with fixity declaration in GHCi, I found a strange
behavior. Can anyone explain this?
Is this actually an expected behavior, or is it a glitch?
$ ghci
GHCi, version 7.0.3:
20 matches
Mail list logo
