On 4 September 2011 21:44, Mario Blažević wrote:
> I was recently surprised to discover that the maximum and maximumBy
> functions always return the *last* maximum, while minimum and minimumBy
> return the *first* minimum in the list. The following GHCi session
> demonstrates this:
>
> $ ghci
>
I was recently surprised to discover that the maximum and maximumBy
functions always return the *last* maximum, while minimum and minimumBy
return the *first* minimum in the list. The following GHCi session
demonstrates this:
$ ghci
GHCi, version 7.2.1: http://www.haskell.org/ghc/ :? for
These are important questions. I think there is a trade-off between
supporting many cases and having a simple desugaring. We should find a
sweet-spot where the desugaring is reasonably simple and covers most
idiomatic cases.
So I guess it's possible to detect the pattern:
>
> do x1 <- foo1; ...;
PLPV 2012
The Sixth ACM SIGPLAN Workshop
Programming Languages meets Program Verification
24th January, 2012
Philadelphia, USA
(Affiliated with POPL 2012)
http://research.microsoft.com/en-us/um/people/nswamy/plpv12
--
[Apologies if you receive multiple copies.]
Final Call for Papers
=
14th International Symposium on
Practical Aspects of Declarative Languages (PADL 2012)
http://research
L.S.,
I have installed Eclipse 3.7 and EclipseFP 2.1.0 on my Windows XP computer
After trying to install EclipseFP in Eclipse, I got the following message:
C:\Programs\Haskell Platform\2011.2.0.1\bin\ghc-pkg.exe dump --global
cabal.0.6.0.exe: failed to parse output of 'ghc-pkg dump'
What ca
On 4 September 2011 17:46, Haisheng Wu wrote:
> Hello guys,
> I googled for a real open source CMS application in Haskell but have no
> luck.
> So I'm wondering if Haskell is used very little in Web development area.
> Thanks.
> -Simon
There was this, quite some time ago:
http://article.gma
On Sun, Sep 4, 2011 at 7:09 PM, tsuraan wrote:
>> For this specific problem I recommend using a forkIO'd
>> Iteratee/Enumerator pair with a Chan to shuttle data between them, I
>> think it's probably the best way of doing it.
>
> Googling for "enumerator chan" gives me this gist (written by you in
Yeah, I use SHE and her idiom brackets for several of my projects, but there
are many cases in which they're awkward too.
Another consideration about the "monad" comprehensions is that unbound
(i.e., with no <-) statements in a monad comprehension are treated as
MonadPlus guards, so the applicativ
On Sun, Sep 4, 2011 at 12:24 AM, Ivan Lazar Miljenovic
wrote:
> On 4 September 2011 12:34, Daniel Peebles wrote:
>> Hi all,
>> For example, if I write in a do block:
>> x <- action1
>> y <- action2
>> z <- action3
>> return (f x y z)
>> that doesn't require any of the context-sensitivty that Mona
It's not the same as what you propose, but it's related, so for
discussion, I just want to point out idiom brackets (an analog for
do-notation for Applicative functors) which have been introduced in
some Haskell-related languages. Examples are Idris
(http://www.cs.st-andrews.ac.uk/~eb/Idris/donotat
> For this specific problem I recommend using a forkIO'd
> Iteratee/Enumerator pair with a Chan to shuttle data between them, I
> think it's probably the best way of doing it.
Googling for "enumerator chan" gives me this gist (written by you in
April): https://gist.github.com/932384 . Is that wha
On Sun, Sep 4, 2011 at 6:03 PM, tsuraan wrote:
> Is my basic model broken here? It's occurred to me that what I
> actually want to do is tie the enumSocket clientSock to an iterSocket
> upstreamSock, do the reverse, and then do two runIteratee calls (one
> in a forkIO, I guess?). That seems ugli
I don't quite understand how this would work. For example, would it work
for these examples?
do x <- blah
let foo = return
foo (f x) -- Using an alias of return/pure
do x <- Just blah
Just (f x) -- another form of aliasing
do x <- blah
return (g x x) -- could perhap
I'm trying to write a program whose network behaviour is analogous to
a web proxy. A client connects to my server and gives me some data,
my server connects to an upstream server and gives data to it, my
server gets data from upstream, and gives data to the client. I'd
like to write this using th
What is it?
A preprocessor and library which allow you to create dynamic libs
from arbitrary annotated Haskell programs with one click. It also
allows you to use the generated lib in C, C++ and C# just by including
the generated header files.
At a minimum it can be considered the inverse
On Sun, Sep 4, 2011 at 11:34 AM, Daniel Peebles wrote:
> I was wondering what people thought of a smarter do notation.
I'd support it (for both do notation and monad comprehensions) once
Applicative is a superclass of Monad.
To me it looks light a slight complication for an advantage. Parsers
ar
* Sean Leather [2011-09-04 12:48:38+0200]
> On Sun, Sep 4, 2011 at 12:31, Roman Cheplyaka wrote:
>
> > I'm looking for an example of idiomatic usage of the fixpoint library[1].
> >
> > [1]: http://hackage.haskell.org/package/fixpoint-0.1.1
>
>
> I'm not sure if this counts for idiomatic usage,
It's being great than those frameworks getting popular and mature.
Initially what I expect is something similar toJoomla! in PHP or Refinery
CMS in Ruby than allow us to quick start a CMS application.
And I'm not such experienced at Haskel to build a one on my own. :(
Thanks.
-Haisheng
On Sun,
On Sun, Sep 4, 2011 at 12:31, Roman Cheplyaka wrote:
> I'm looking for an example of idiomatic usage of the fixpoint library[1].
>
> [1]: http://hackage.haskell.org/package/fixpoint-0.1.1
I'm not sure if this counts for idiomatic usage, but you can check out
our approach to incrementalization.
Hi,
I'm looking for an example of idiomatic usage of the fixpoint library[1].
[1]: http://hackage.haskell.org/package/fixpoint-0.1.1
Here's what I managed to get:
{-# LANGUAGE TypeFamilies, FlexibleContexts, UndecidableInstances,
FlexibleInstances #-}
import Data.Fixpoint
newtype
Good idea! I'd forgotten about monad comprehensions.
On Sun, Sep 4, 2011 at 3:11 AM, Shachaf Ben-Kiki wrote:
> On Sat, Sep 3, 2011 at 19:34, Daniel Peebles wrote:
> ...
> > Of course, the fact that the return method is explicitly mentioned in my
> > example suggests that unless we do some real
On Sat, Sep 3, 2011 at 19:34, Daniel Peebles wrote:
...
> Of course, the fact that the return method is explicitly mentioned in my
> example suggests that unless we do some real voodoo, Applicative would have
> to be a superclass of Monad for this to make sense. But with the new default
> supercla
23 matches
Mail list logo