I would like to formally propose that Monad become a subclass of Applicative, with a call for consensus by 1 February.
The change is described on the wiki at http://haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal, and ticketed
at http://hackage.haskell.org/trac/ghc/ticket/4834.
As
John Smith wrote:
I would like to formally propose that Monad become a subclass of
Applicative, with a call for consensus by 1 February.
I would prefer that we have some proposal like class aliases implemented
before we start fundamental restructuring of basic type classes. This
would help to
Dear Mr. Hudak,
I understand the need for a change with respect to the Haskell server
and would be very grateful if you will run the old server also in
January 2011.
(Recently I have written some mails concerning the migration problems
to Haskell.org.)
Than I can try to transfer the Yarrow
On Mon, Dec 13, 2010 at 10:35:22AM -0800, Don Stewart wrote:
Hi Paul,
The move is complete. There are no haskell.org services running there
now. You could shut down the machine in December if you wish.
Everyone keeps saying the move is complete but I'm not sure it's
really true. I
Hi Brent,
On 14.12.2010, at 16:02, Brent Yorgey wrote:
On Mon, Dec 13, 2010 at 10:35:22AM -0800, Don Stewart wrote:
Hi Paul,
The move is complete. There are no haskell.org services running there
now. You could shut down the machine in December if you wish.
Everyone keeps saying the move is
it was just pointed out to me that
http://www.haskell.org/~pairwise/intro/intro.html
is missing, which is linked from the tutorial page.
I don't own that page but I'm forwarding the observation here in case
someone else thinks they do...
Ben
--
http://www.hawaga.org.uk/ben/
On Tue, Dec 14, 2010 at 10:02:29AM -0500, Brent Yorgey wrote:
Everyone keeps saying the move is complete but I'm not sure it's
really true. I understand in theory that people were given ample time
and warning to migrate content, but in practice it has not worked.
Off the top of my head I know
Google’s Huge Change and How it affects you.
•Anyone can now post bad reviews and kill your rank.
•We post good reviews and improve your rank.
•We post good reviews to keep others from killing your rank.
Google: Judge, Jury and Online Shopping Executioner
Google rank is based on
Everyone keeps saying the move is complete but I'm not sure it's
really true. I understand in theory that people were given ample time
and warning to migrate content, but in practice it has not worked.
.. Are there any
plans to copy over things like this? Relying on maintiners to do it
has
Hi,
Then posting the list of missing URLs here might alert those
who care about them (or not, but at least fewer things would
disappear silently).
OK, here are a few broken links I happen to care about:
Old Haskell Workshop proceedings, including the very first one.
They are on the Haskell
On Tue, Dec 14, 2010 at 08:48:47PM +, Henrik Nilsson wrote:
Also, the www.haskell.org/yampa page is gone. Very out of date,
no doubt, but even so. Sorry, probably a FAQ, but this move
has essentially passed me by: any way I can get at the old
content before the old server is
I'm sure this question has been asked many times but I have not been able to
find it anywhere.
I have written the code below into Lekseh directly from the RWH book.
However, I always get the error
parse error on input 'getString' and the line number refers to the type
declaration for
Hi,
Make sure the line
data JValue ...
is not indented. I should start at the first column.
Patrick
On Tue, Dec 14, 2010 at 4:28 PM, dhjdhj dhj...@gmail.com wrote:
I'm sure this question has been asked many times but I have not been able to
find it anywhere.
I have written the
OMG --- that was it --- I can't tell you how many hours I have been wrestling
with this.
Thank you so much for the quick response.
I was aware that Haskell required indentation for some things (and I'm a fan of
indentation) but I didn't realize it required NO indentation for some things
--- I
On Tuesday 14 December 2010 22:44:23, David Jameson wrote:
OMG --- that was it --- I can't tell you how many hours I have been
wrestling with this.
Thank you so much for the quick response.
I was aware that Haskell required indentation for some things (and I'm a
fan of indentation) but I
On Mon, Dec 13, 2010 at 8:01 AM, Hudak, Paul paul.hu...@yale.edu wrote:
My research group is paying $200/month to maintain the old haskell.org at
Yale, and we cannot continue doing this indefinitely -- indeed, I had hoped
that we could have turned off the machine by now. I propose that we
#4370: Bring back monad comprehensions
-+--
Reporter: simonpj |Owner: nsch
Type: feature request | Status: new
Priority: normal|Milestone: 7.2.1
#4841: TypeSynonymInstances allow some flexible instances
-+--
Reporter: benmachine|Owner:
Type: bug | Status: new
#3645: Layout and pragmas
--+-
Reporter: igloo |Owner:
Type: feature request| Status: patch
Priority: normal |Milestone: 7.0.1
#4807: Data instance for Data.Map is incomplete
-+--
Reporter: sclv | Owner:
Type: bug | Status: new
Priority:
#4821: Passing -optP-traditional to the preprocessor breaks the build.
--+-
Reporter: gwright | Owner:
Type: bug | Status: closed
#4837: Template Haskell does not work in a profiled compiler.
-+--
Reporter: benl |Owner:
Type: bug | Status: new
#4842: keep Data.Map.foldWithKey
-+--
Reporter: maeder| Owner:
Type: proposal | Status: new
Priority: normal| Component:
#4842: keep Data.Map.foldWithKey
-+--
Reporter: maeder| Owner:
Type: proposal | Status: new
Priority: normal| Component:
#4807: Data instance for Data.Map is incomplete
-+--
Reporter: sclv | Owner:
Type: bug | Status: new
Priority:
#4842: keep Data.Map.foldWithKey
-+--
Reporter: maeder| Owner:
Type: proposal | Status: new
Priority: normal| Component:
#4468: Linking libstdc++ is broken on Windows
---+
Reporter: rl| Owner:
Type: bug | Status: closed
Priority: high | Milestone:
#4836: literate markdown not handled correctly by unlit
-+--
Reporter: guest |Owner:
Type: bug | Status: new
Priority:
#4073: Error with '#' at beginning of line in literate Haskell
---+
Reporter: guest | Owner:
Type: bug | Status: closed
Priority: normal| Milestone: 7.2.1
#4804: ghc-stage2: Monadic.o: bus error / segmentation fault / internal error
-+--
Reporter: altaic|Owner:
Type: bug | Status: infoneeded
#4837: Template Haskell does not work in a profiled compiler.
-+--
Reporter: benl |Owner:
Type: bug | Status: new
#4827: Data.Array.IO.hPutArray/hGetArray ignore count argument
--+-
Reporter: dylex |Owner: simonmar
Type: bug| Status: new
#4826: RTS flag documentation
-+--
Reporter: Orphi |Owner: simonmar
Type: bug | Status: patch
Priority: high |Milestone: 7.0.2
#4835: Segfault when reading lots of files
-+--
Reporter: NeilMitchell |Owner:
Type: bug | Status: new
Priority: highest |Milestone:
#4842: keep Data.Map.foldWithKey
-+--
Reporter: maeder| Owner:
Type: proposal | Status: new
Priority: normal| Component:
#1657: throwTo + unsafeInterleaveIO oddness
---+
Reporter: guest |Owner:
Type: bug | Status: merge
Priority: normal |Milestone: _|_
#1657: throwTo + unsafeInterleaveIO oddness
---+
Reporter: guest |Owner:
Type: bug | Status: merge
Priority: normal |Milestone: _|_
#3645: Layout and pragmas
--+-
Reporter: igloo |Owner:
Type: feature request| Status: patch
Priority: normal |Milestone: 7.0.1
#4809: MonoLocalBinds and type classes cause infinite loop
--+-
Reporter: JeremyShaw | Owner:
Type: bug | Status: closed
#4843: include directory missing in the ghc 7.0.1 windows installer
-+--
Reporter: nsch | Owner:
Type: bug | Status: new
Priority:
#4829: build does not respect --with-gcc option
-+--
Reporter: gwright |Owner: igloo
Type: bug | Status: new
Priority: high
#4459: Polymorphic Data.Dynamic
-+--
Reporter: vivian|Owner:
Type: feature request | Status: new
Priority: normal
Starting with a clean tree I get:
/usr/bin/ghc -H32m -O -Wall -Werror -H64m -O0 -package-conf
libraries/bootstrapping.conf -package-name ghc-7.1 -hide-all-packages
-i -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen
-icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn
On 14/12/2010 16:33, Audrius Šaikūnas wrote:
Hello,
I've noticed that libraries that are compiled even with -dynamic are
really huge:
libHScairo-0.12.0-ghc6.12.1.so - 1.4 M
libHSgio-0.12.0-ghc6.12.1.so - 1.6 M
libHSgtk-0.12.0-ghc6.12.1.so - 14 M
(ldd confirms that these libraries are really
On Tuesday 14 December 2010 17:50:30, Simon Marlow wrote:
This particular example seems to be fixed, at least with the current
HEAD:
Also with 7.0.1. On my 32-bit system, -O increases the Types.o size from
37K to 45K which is reasonable, while with 6.12.3 it goes from 38K to 543K.
On 12/14/10 03:13, John Smith wrote:
I would like to formally propose that Monad become a subclass of
Applicative, with a call for consensus by 1 February. The change is
described on the wiki at
http://haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal,
That page isn't written as a
The reason for mirror was avilability, yes, and when the signatures were
only on the central sever, then the user could choose not to install
packages from mirrors, when they were not available.
But now if the signatures were generated by the uploader, then the morrors
would be just as secure as
[switching to cafe]
On 14 Dec 2010, at 08:59, Sittampalam, Ganesh wrote:
John Smith wrote:
I would like to formally propose that Monad become a subclass of
Applicative, with a call for consensus by 1 February.
I would prefer that we have some proposal like class aliases
implemented
Hi Vincent,
I got it to work :) But there seems to be some bugs in the Haskell
server certificate handling. It seems that TLS do not transfer the ST
(state, as in California) parameter in the X509 subject field. It also
seems that the Haskell server do not send the email-address.
The reason for
Hi,
I want to use dph (data parallel haskell) for a presentation.
(Nothing fancy, just compile and run some demos.)
What ghc version should I use and where do I get it?
I read the advice use HEAD but when I build
from the 7.1.20101213 source snapshot,
dph is not installed (should it be?)
Best -
On Mon, 13 Dec 2010, John Meacham wrote:
A better plan would be to start depending on 'haskell2010' or
'haskell98' and get rid of explicit dependencies on 'base' altogether.
Since those are standardized between compilers.
I admit that once in the past I have replaced all dependencies on
Hi,
Is there something like an identity type, transparent to the type-checker, in
haskell ?
For instance, I'm defining an interval arithmetic, with polynomials, matrices,
and all that... defined with intervals. The types are :
Polynomial Interval (instead of Polynomial Double for instance)
Hi John,
On Mon, Dec 13, 2010 at 10:45 AM, Peter Simons sim...@cryp.to wrote:
Relying exclusively on GHC's ability to limit run-time memory
consumption feels like an odd choice for this task. It's nice that
this feature exists in GHC, but it's inherently non-portable and
outside of
Hi,
John Smith wrote:
I would like to formally propose that Monad become a subclass of
Applicative
A lot of code would break because of this change, but all problems
should be reported at compile time, and are easy to fix. In most of the
cases, either adding obvious Functor and Applicative
2010/12/14 Tillmann Rendel ren...@informatik.uni-marburg.de:
Hi,
John Smith wrote:
I would like to formally propose that Monad become a subclass of
Applicative
A lot of code would break because of this change, but all problems should be
reported at compile time, and are easy to fix. In
Hello,
while building GUIs using Gtk2HS I always struggled with the following
question: how to sync the state of the GUI with the state of the rest
application. I usually make several IORefs store the state there. But
it's quite easy to forget to update relevant parts of GUI when state
Hi Haskeleers,
I got a working SSL server using the TLS package. Great. However, I
really intended to use SSL for an asynchronous server. That is, the
server must constantly listen for a client message, which may result in
zero or more messages send _to_ the client. And the server will, without
* Mads Lindstrøm:
I got it to work :) But there seems to be some bugs in the Haskell
server certificate handling. It seems that TLS do not transfer the ST
(state, as in California) parameter in the X509 subject field. It also
seems that the Haskell server do not send the email-address.
And
Hi Peter
I beg your pardon? I didn't say anything about 32M. I said that
designing software to rely on a GHC-enforced memory limit as a means of
dealing with infinite loops feels really not like a particularly good
solution.
As I understand the discussion, it's not about infinite loops.
Maybe I'm missing something - but shouldn't the code listening on the
Handle already be in it's own thread?
The general recipe is:
1. Bind a socket to port
2. Call Network.accept, then take the resultant Handle, call forkIO
with the TLS actions and the resultant handle. Go back to 1.
So even
On Tue, Dec 14, 2010 at 11:41:29AM +0100, Mads Lindstrøm wrote:
Hi Vincent,
I got it to work :) But there seems to be some bugs in the Haskell
server certificate handling. It seems that TLS do not transfer the ST
(state, as in California) parameter in the X509 subject field. It also
seems
On Tue, Dec 14, 2010 at 10:24:29PM +0100, Florian Weimer wrote:
* Mads Lindstrøm:
I got it to work :) But there seems to be some bugs in the Haskell
server certificate handling. It seems that TLS do not transfer the ST
(state, as in California) parameter in the X509 subject field. It also
On Tue, Dec 14, 2010 at 09:21:48PM +0100, Mads Lindstrøm wrote:
Hi Haskeleers,
[snip]
It seems to me that a general SSL implementation should not preclude
asynchronous servers. I know, the TLS package is not more than a few
months old and one can already use it for SSL servers and clients,
Ok, I think, I made it right now. I wrote two versions of the very same
module with roughly the same interface. It is minimalistic framework for
producing, transforming, zipping and folding streaming data (a sample
code that does file IO provided, but it is not well tested yet). One
version abuses
On Tue, Dec 14, 2010 at 1:48 PM, Peter Simons sim...@cryp.to wrote:
I beg your pardon? I didn't say anything about 32M. I said that
designing software to rely on a GHC-enforced memory limit as a means of
dealing with infinite loops feels really not like a particularly good
solution.
Sorry
Fail can't just be removed. That would just break too much code. For
example, I find myself writing code like the following:
[a,b,c] - Just someList
in place of
let [a,b,c] = someList
so that pattern match failure is lifted into the maybe monad (as
long as I'm already in the maybe monad).
I
Quick question:
Why do I need the $ in the following bits of code?
main = withSocketsDo $ do
--do something with sockets
foo = fromMaybe 0 $ do
--do something in the maybe monad
I don't see (after admittedly only a minute or so thinking about it)
where any grammar ambiguities would
J.W.,
This came up recently here:
http://www.mail-archive.com/haskell-cafe@haskell.org/msg84528.html
http://www.mail-archive.com/haskell-cafe@haskell.org/msg84528.htmlIt looks
like your best bet may be to use GHC 6.12 until the now-separate dph
libraries are released.
--
Jason M. Knight
Ph.D.
Hello!
I use ghc-7.0.1 and cabal 1.10.0 . When tried to install lhs2tex-1.16 I
got error in Setup.lhs:
===
Setup.hs:294:46:
`programArgs' is not a (visible) field of constructor
`ConfiguredProgram'
Setup.hs:296:46:
`programArgs' is not a (visible) field of
* Jonathan Geddes geddes.jonat...@gmail.com [2010-12-14 19:59:14-0700]
Quick question:
Why do I need the $ in the following bits of code?
main = withSocketsDo $ do
--do something with sockets
foo = fromMaybe 0 $ do
--do something in the maybe monad
I don't see (after
70 matches
Mail list logo
