[Haskell-cafe] fixity declaration in GHCi

2012-01-16 Thread Takayuki Muranushi
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: http://www.haskell.org/ghc

Re: [Haskell-cafe] Network.Browser and Network.TLS

2012-01-16 Thread Vincent Hanquez
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 do

Re: [Haskell-cafe] Network.Browser and Network.TLS

2012-01-16 Thread Erik de Castro Lopo
Felipe Almeida Lessa wrote: > On Mon, Jan 16, 2012 at 6:28 PM, Myles C. Maxfield > 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

Re: [Haskell-cafe] How to get Cabal to spit out a .a library suitable for linking into C/Objective-C

2012-01-16 Thread Jason Dagit
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 wrote: > Howdy, > > I'm trying to figure out how to get Cabal configured to compile a

Re: [Haskell-cafe] Haskell Summers of Code retrospective (updated for 2011)

2012-01-16 Thread Jason Dagit
On Sat, Dec 10, 2011 at 6:57 PM, Gwern Branwen 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 turned out

Re: [Haskell-cafe] Network.Browser and Network.TLS

2012-01-16 Thread Felipe Almeida Lessa
On Mon, Jan 16, 2012 at 6:28 PM, Myles C. Maxfield 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 Haskell programs. It

Re: [Haskell-cafe] decoupling type classes

2012-01-16 Thread Yin Wang
>>> 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 "param

[Haskell-cafe] Network.Browser and Network.TLS

2012-01-16 Thread Myles C. Maxfield
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 pac

Re: [Haskell-cafe] Monad-control rant

2012-01-16 Thread Edward Z. Yang
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 wante

Re: [Haskell-cafe] strict, lazy, non-strict, eager

2012-01-16 Thread David Barbour
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

Re: [Haskell-cafe] How to make asynchronous I/O composable and safe?

2012-01-16 Thread David Barbour
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: * http://lambda-the-ultimate.org/node/4289#comment-

[Haskell-cafe] ICFP 2012 Call for papers

2012-01-16 Thread Wouter Swierstra
= ICFP 2012: International Conference on Functional Programming Copenhagen, Denmark, September 9 - 15, 2012 http://www.icfpconference.org/icfp2012 = Import

Re: [Haskell-cafe] Monad-control rant

2012-01-16 Thread Brandon Allbery
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

Re: [Haskell-cafe] Monad-control rant

2012-01-16 Thread Mikhail Vorozhtsov
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.

[Haskell-cafe] Patch combinators

2012-01-16 Thread Emil Axelsson
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 function

Re: [Haskell-cafe] named pipe interface

2012-01-16 Thread Serge D. Mechveliani
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 >>

Re: [Haskell-cafe] bindings for libvirt

2012-01-16 Thread Erik de Castro Lopo
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: http://libvirt.org/ocaml/Change

Re: [Haskell-cafe] bindings for libvirt

2012-01-16 Thread Gaius Hammond
The author of libvirt, Richard Jones, is an OCaml hacker. G -- -Original Message- From: Michael Litchard Sender: haskell-cafe-boun...@haskell.org Date: Sun, 15 Jan 2012 14:05:56 To: Subject: Re: [Haskell-cafe] bindings for libvirt That's encouraging! On Sun, Jan

Re: [Haskell-cafe] named pipe interface

2012-01-16 Thread Jean-Marie Gaillourdet
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" , >> ... >>> Initially, I did the example by the Foreign Function Interface for C. >>> But then, I thought "But this is unnatural! Use plainly the

Re: [Haskell-cafe] decoupling type classes

2012-01-16 Thread Dominique Devriese
Yin, 2012/1/14 Yin Wang : > On Sat, Jan 14, 2012 at 2:38 PM, Dominique Devriese > 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 whether my system works on the example or not.