Re: [Haskell-cafe] [Off-topic] How unimportant it is whether submarines can swim (EWD1056)

2012-10-30 Thread Kim-Ee Yeoh
On Sun, Oct 28, 2012 at 11:29 AM, Rustom Mody rustompm...@gmail.com wrote: In particular, there is one small notational point that he insisted on towards the end of his career (and life) viz. where traditional mathematicians write *f(x) *and functional programmers write *f x*, he would write

[Haskell-cafe] TAP 2013: 1st Call for Papers

2012-10-30 Thread Achim D. Brucker
(Apologies if you receive this announcement multiple times. We also apologize for resending the first call for papers, the original announcement contained an incorrect URL to easychair.) *** ***

Re: [Haskell-cafe] Optimal line length for haskell

2012-10-30 Thread Richard O'Keefe
On 30/10/2012, at 5:56 PM, Alexander Solla wrote: For example, I generally prefer using the combinators directly when dealing with functors, applicatives, and monads. This can be written wide, but it can also be written in the style of: f' = f $ (a = g) * (b = h) * (c

Re: [Haskell-cafe] Optimal line length for haskell

2012-10-30 Thread Evan Laforge
I wonder if people who like one giant window maybe don't use the REPL? I keep 3 windows open: one with the editor, one with ghci, and one with a shell. The shell I use for compiles, darcs records, diffs, grepping, moving files around, etc. I don't understand how people are able work with

Re: [Haskell-cafe] GHC maintenance on Arch

2012-10-30 Thread Peter Simons
Hi Vagif, I fail to see how a fringe bleeding edge linux distro undermines a haskell platform. Arch Linux does not comply to the Haskell Platform. That fact communicates to users of the distribution: We, the maintainers, don't believe that HP is relevant. Clearly, this undermines the Haskell

Re: [Haskell-cafe] Optimal line length for haskell

2012-10-30 Thread Mike Meyer
Evan Laforge qdun...@gmail.com wrote: I wonder if people who like one giant window maybe don't use the REPL? I keep 3 windows open: one with the editor, one with ghci, and one with a shell. [...] I've tried with 3 terminals but I can never figure out what to do with the extra ones. Besides

Re: [Haskell-cafe] Optimal line length for haskell

2012-10-30 Thread Jason Dusek
2012/10/29 MightyByte mightyb...@gmail.com: The ideal line length for text layout is based on the physiology of the human eye… At normal reading distance the arc of the visual field is only a few inches – about the width of a well-designed column of text, or about 12 words per line. Research

Re: [Haskell-cafe] [Security] Put haskell.org on https

2012-10-30 Thread Niklas Hambüchen
So how do we go forward about getting the SSL certificate and installing it? On 29/10/12 01:06, Patrick Mylund Nielsen wrote: Sure. No matter what's done in Cabal, the clients for everything else will still be mainly browsers. On Mon, Oct 29, 2012 at 12:59 AM, Niklas Hambüchen m...@nh2.me

Re: [Haskell-cafe] ANNOUNCE: btree-concurrent

2012-10-30 Thread Alberto G. Corona
Hi. That´s fine. I missed an implementation of a persistent b-tree in haskell. I planned to do my own, but it is not trivial task. how the IO and STM is managed? . The serialization- deserialization is automatic or programmer must write the cached blocks? (i suppose that the block reads are

[Haskell-cafe] ANNOUNCE: network-house

2012-10-30 Thread Niklas Hambüchen
In absence of a library that easily parses network packages from recorded raw data (not sockets), I have taken the network stack from the House project and put it into a separate package, network-house. http://hackage.haskell.org/package/network-house This library allows you to parse Ethernet,