On Tue, Sep 03, 2013 at 11:33:46AM +, AntC wrote:
> I'm probably being dumb, but Hoogle nor the wiki are helping me.
>
> I want an instance and type improvement constraint of the form
>
> instance (f ~ (-> Bool)) => C Foo (f b) where ...
>
> The first arg to C is driving type improvement
On Fri, Aug 16, 2013 at 01:35:22AM +, AntC wrote:
> There's an annoying inconsistency:
>
> (CustId 47, CustName "Fred", Gender Male) -- threeple
> (CustId 47, CustName "Fred)-- twople
> -- (CustId 47)-- oneple not!
> ()
Paul Hudak
Program Chair: Conal Elliott
Publicity Chair: Brent Yorgey
Program Committee
-
- Daniel Cukier (AgileAndArt)
- Conal Elliott (Tabula) (chair)
- Kathleen Fisher (Tufts University)
- Richard Gabriel (IBM Research)
- George Giorgidze (University of Tübingen)
-
On Thu, Jul 11, 2013 at 03:39:02PM -0700, KC wrote:
> I ask this on this mailing list because there are quite a few
> mathematically oriented people here.
If you accept the Law of Excluded Middle, everything either has a
matroid structure, or not. On the other hand, if you do not accept
it, then
Maybe Euterpea?
http://haskell.cs.yale.edu/euterpea/download/
On Wed, Jul 10, 2013 at 08:20:08AM -0700, Mark Lentczner wrote:
> I'm a little lost in the bewildering array of music packages for Haskell,
> and need some help.
>
> I'm looking to recreate one of my algorithmic music compositions fro
On Thu, Jul 04, 2013 at 05:26:59PM +0200, Anders Bech Mellson wrote:
> Is there any project that needs working this fall which could be used as a
> university project?
>
> I am in the university (M.Sc. in software development),
> so I am mainly looking for project ideas (preferably concrete ones).
Hi all,
Below is the call for demonstration proposals for FARM 2013. Please
forward to anyone who might be interested -- apologies if you receive
multiple copies!
Brent Yorgey
publicity chair for FARM 2013
ng the same type as foo1, foo1' does work because now I've
> pattern matched on the GADT first. As soon as I do that, its equality
> constraint of (a ~ Maybe v) enters into scope of the case branches.
>
> Cheers,
>
> On Wed, Jun 19, 2013 at 7:59 AM, Brent Yorgey wrote:
This is great fun, more people should come and join us! =)
http://www.nomyx.net:8000/Nomyx
we are playing game "demo3".
-Brent
On Fri, Jun 14, 2013 at 05:57:57PM +0200, Corentin Dupont wrote:
> Hello everybody!
> Here it comes, the second beta release [1] of Nomyx, the only game where
> You c
On Wed, Jun 19, 2013 at 11:11:16AM +0100, Francesco Mazzoli wrote:
> At Wed, 19 Jun 2013 10:03:27 + (UTC),
> AntC wrote:
> > Hi Francesco, I think you'll find that the 'annoyance' is nothing to do
> > with GADTs. I suggest you take the type signature off of foo1, and see
> > what type ghc inf
ont in two columns.
Submissions can be made via EasyChair at
https://www.easychair.org/conferences/?conf=farm2013
Organizers
--
Workshop Chair: Paul Hudak
Program Chair: Conal Elliott
Publicity Chair: Brent Yorgey
Program Committee
-
Daniel Cukier (University of São Pa
On Tue, Apr 23, 2013 at 12:49:59PM +0200, Alberto G. Corona wrote:
> Hi
>
> I ever was worried about the barrier that the complexity of the Haskell
> errors impose to users of DSLs. Many DSLs look so simple that even someone
> without knowledge of Haskell can make use of them for some domains.
>
Generally, for a successful proposal you need to already find someone
who is willing to mentor the project.
Honestly, I do not think working on Yi would make for a very strong
proposal. It is definitely a cool piece of software, and definitely
worth working on, but it does not have a very large u
Hi Eric,
On Sun, Apr 14, 2013 at 10:57:43AM -0700, Eric Dobson wrote:
> I am working at reimplementing the library Unbound to understand how
> it works. One issue I have come up with is that an equation that I
> thought held true doesn't. The equation is: Forall e::Rebind a b, e
> `aeq` (uncurry r
/www.easychair.org/conferences/?conf=farm2013
Organizers
--
Workshop Chair: Paul Hudak
Program Chair: Conal Elliott
Publicity Chair: Brent Yorgey
Program Committee
-
Daniel Cukier (AgileAndArt)
Conal Elliott (Tabula) (chair)
Kathleen Fisher (Tufts University)
Richard Gab
(Redirecting follow-up to haskell-cafe)
Very cool! I have been hoping someone will find a way to integrate
kuler.adobe.com with diagrams, and this will help a lot. =)
https://github.com/diagrams/diagrams-lib/issues/77
-Brent
On Wed, Apr 03, 2013 at 06:49:34PM -0500, Jeremy Shaw wrote:
> I am
On Fri, Mar 29, 2013 at 08:05:47AM -0230, Roger Mason wrote:
> Thank you for your response. 'ghc-pkg check' shows some problems:
>
> http://pastebin.ca/2344794
>
> On 03/28/2013 08:01 PM, Patrick Wheeler wrote:
> >So I printed off the requirements for pandoc on a empty ghc-7.6.2
> >install you c
On Sat, Mar 23, 2013 at 08:26:52PM -0700, Luke Evans wrote:
> I'm curious about using Haskell for metaprogramming.
>
> It looks like I can dynamically compile, load and run some Haskell with the
> plugins package. Actually I've briefly tried this and it seems to work for
> some simple cases at
On Thu, Mar 21, 2013 at 06:18:46PM +0530, C K Kashyap wrote:
> Hi,
>
> I have a situation where I need to define a data type T such that
>
> data T = C1 Int | C2 Char | C3 T
>
> However, I want to enforce a constraint that C3 only allows (C2 Char) and
> not (C1 Int). That is
If C3 should only b
On Thu, Mar 21, 2013 at 11:32:21AM +0100, matteo vezzola wrote:
> I'm playing with tagless final interpreters reading [1], using a very simple
> language:
>
> >>> class Ints repr where
> >>> int :: Integer -> repr Integer
> >>> (.+.) :: repr Integer -> repr Integer -> repr Integer
> >>>
On Mon, Mar 11, 2013 at 11:50:38AM -0700, Ben wrote:
>
> On Mar 11, 2013, at 11:26 AM, Jason Dagit wrote:
>
> > Myself and several of my friends would find it useful to have a plotting
> > library that we can use from ghci to quickly/easily visualize data.
> > Especially if that data is part of
Hi everyone,
I am currently teaching a half-credit introductory Haskell class for
undergraduates. This is the third time I've taught it. Both of the
previous times, for their final project I gave them the option of
contributing to an open-source project; a couple groups/individuals
took me up on
On Mon, Mar 04, 2013 at 02:30:55PM -0800, bri...@aracnet.com wrote:
> On Mon, 4 Mar 2013 17:27:29 -0500
> Brent Yorgey wrote:
>
> > On Sun, Mar 03, 2013 at 05:38:02PM -0800, bri...@aracnet.com wrote:
> > > On Sun, 3 Mar 2013 19:58:37 -0500
> > > Brent Yorgey wr
On Sun, Mar 03, 2013 at 05:38:02PM -0800, bri...@aracnet.com wrote:
> On Sun, 3 Mar 2013 19:58:37 -0500
> Brent Yorgey wrote:
>
> >
> > Good access to fonts and font metrics is the kicker. Otherwise I'd
> > say to switch to using diagrams as a backend, hence get
On Mon, Mar 04, 2013 at 11:26:23AM +1100, Tim Docker wrote:
> On 04/03/13 07:22, Arnaud Bailly wrote:
> >Then I managed to install splot and timeplot. I then tried to use
> >Chart to draw a simple chart, following
> >http://hackage.haskell.org/packages/archive/Chart/0.16/doc/html/Graphics-Renderin
On Sun, Mar 03, 2013 at 09:22:15PM +0100, Arnaud Bailly wrote:
> Hello,
> I am trying to install timeplot and splot on a windows 7 host, using
> Haskell platform 2012.2.0.0, and I have troubles installing HSChart.
>
> First difficulties were installing cairo, which requires Gtk+ libraries and
> he
On Fri, Mar 01, 2013 at 08:30:20AM +1300, Alistair Bayley wrote:
> You cannot bend the split package to your needs?
> http://hackage.haskell.org/packages/archive/split/0.2.1.2/doc/html/Data-List-Split.html
>
> Some combination of splitWhen and a pcre-based predicate?
This won't work; splitWhen op
On Sun, Feb 24, 2013 at 02:33:55PM +, Niklas Hambüchen wrote:
> You are right, my "ghc-7.4.2" was broken in ghc-pkg list; I fixed the
> problem by killing my .cabal folder (as so often).
Surely you mean by killing your .ghc folder? I do not see what effect
killing your .cabal folder could pos
On Fri, Feb 22, 2013 at 06:44:06PM +0100, Corentin Dupont wrote:
> Hi all,
> I have a program able to read another program as a string, and interpret it
> (using Hint).
> I'd like to make unit tests, so I have a file "Test.hs" containing a serie
> of test programs as strings.
> However, how could I
On Sat, Dec 15, 2012 at 08:13:44AM +0100, Petr P wrote:
> This is strange, I thought that cpphs should be specified in
> "build-tools:", not in "build-depends:".
> <
> http://www.haskell.org/cabal/users-guide/developing-packages.html#build-information
> >
>
> Best regards,
> Petr
Presumably the r
ms/gallery.html
[14] http://hackage.haskell.org/package/diagrams%2Dcontrib
Happy diagramming!
Brought to you by the diagrams team:
- Michael Sloan
- Ryan Yates
- Brent Yorgey
with contributions from:
- Sam Griffin
- Niklas Haas
- Peter Hall
- Claude Heiland-Allen
- Deepak Joi
On Wed, Dec 05, 2012 at 08:22:32PM +0100, Petr P wrote:
>Dear Haskellers,
>
> I've made some minor improvements of fixpoint package <
> http://hackage.haskell.org/package/fixpoint>. I tried to contact the
> original maintainer twice, but without success. The package hasn't been
> updated for 4
had some mutable state as
well as some read-only configuration to thread through your
interpreter.
xmonad is certainly a nontrivial example but perhaps it is a bit *too*
nontrivial. If I think of any other good examples I'll let you know.
-Brent
>
>
> On Dec 3, 2012, at 1:23 PM, Bren
Oh, PLEASE people. Let's not have another round of bikeshedding about
this AFTER the feature is already implemented!
-Brent
On Fri, Nov 30, 2012 at 01:25:27PM +0100, Herbert Valerio Riedel wrote:
> Jon Fairbairn writes:
>
> [...]
>
> > “\case” complicates lambda, using “of” simply breaks “cas
On Fri, Nov 30, 2012 at 02:33:54AM +0100, Ben Franksen wrote:
> Brent Yorgey wrote:
> > On Thu, Nov 29, 2012 at 03:52:58AM +0100, Ben Franksen wrote:
> >> Tony Morris wrote:
> >> > As a side note, I think a direct superclass of Functor for Monad is not
On Thu, Nov 29, 2012 at 03:52:58AM +0100, Ben Franksen wrote:
> Tony Morris wrote:
> > As a side note, I think a direct superclass of Functor for Monad is not
> > a good idea, just sayin'
> >
> > class Functor f where
> > fmap :: (a -> b) -> f a -> f b
> >
> > class Functor f => Apply f where
>
On Wed, Nov 28, 2012 at 07:08:16PM +0200, Roman Beslik wrote:
> Hi. There is more verbose page
> http://www.haskell.org/haskellwiki/IDEs . I registered on
> http://www.haskell.org/haskellwiki/ , but have not found the "Delete
> Page" command, wiki software help pages, or feedback channel, so I'm
>
On Sun, Nov 25, 2012 at 06:09:26PM -0500, Albert Y. C. Lai wrote:
>
> If you begin with "cabal configure", the correct idiom is:
>
> cabal configure [flags]
> cabal build
> [cabal haddock, if you want]
> cabal copy
> cabal register
Even this does not do the same thing as 'cabal install', because
On Fri, Nov 16, 2012 at 03:25:35PM -0500, Jay Sulzberger wrote:
>
>
> On Fri, 16 Nov 2012, Carter Schonwald wrote:
>
> >how would ghc-core enable targetting core for Agda?
> >
> >
> >On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel wrote:
> >
> >>Excellent!
> >>
> >>With ghc-core being maintained
Turn on the ScopedTypeVariables extension (e.g. by putting {-#
LANGUAGE ScopedTypeVariables #-} at the top of your file), and add an
explicit 'forall a.' to the type signature of f.
-Brent
On Wed, Nov 14, 2012 at 04:03:57PM +0400, Serge D. Mechveliani wrote:
> Please,
> how to correctly set an ex
On Thu, Oct 18, 2012 at 11:49:08PM +0530, niket wrote:
> I am a novice in Haskell but I would love to see the gurus out here
> teaching Haskell on MOOCs like Coursera or Udacity.
>
> Dr Martin Odersky is doing it for Scala here:
> https://www.coursera.org/course/progfun
>
> I would love to see Ha
On Wed, Oct 03, 2012 at 10:41:25AM +0200, Alfredo Di Napoli wrote:
> Hello everyone,
>
> sorry for the dumb question but I'm wrapping my head around arrow just from
> this morning.
> Consider this toy function to swap argument of a tuple:
>
> swapA' :: (Arrow a) => a ((b,c), (b,c)) (c,b)
> swapA'
Quite a while ago there was a mailing list thread where the idea was
brought up of creating a mailing list for those interested in
combinatorics in the setting of Haskell.
Well, I've finally gotten around to it. If you're interested in
(probably extremely low-traffic) discussion and announcements
Lorenzo is correct, but actually for the wrong reason. =) The *type*
of guard is a historical accident, and the fact that it requires
MonadPlus doesn't really tell us anything. Let's take a look at its
implementation:
guard :: (MonadPlus m) => Bool -> m ()
guard True = return
On Sat, Sep 08, 2012 at 11:04:34AM +0400, Sergey Mironov wrote:
> Hello list. Do we have a guideline for selecting correct category for
> a package being developed? I'd like to choose between Web.MyLib and
> Network.MyLib. Or probably just MyLib if I feel ambitious?
> Sergey.
MyLib is discouraged.
On Thu, Sep 06, 2012 at 09:42:19AM +, Amy de Buitléir wrote:
> I'm happy to announce a new package called grid:
>
> http://hackage.haskell.org/package/grid
> https://github.com/mhwombat/grid/wiki (wiki)
Looks neat! By the way, the URLs within the Haddock documentation are
formatted i
On Mon, Aug 27, 2012 at 10:52:59AM -0700, Bryan O'Sullivan wrote:
> On Mon, Aug 27, 2012 at 9:57 AM, Erik Hesselink wrote:
>
> > I'm seeing this again, on abstract-deque-0.1.6. Ross, can you fix it again?
> >
>
> Hang on a second.
>
> The reason you're seeing build breakage is that the .cabal f
Correct. I just meant that you can use a lowercase x or a
lowercase chi (χ). Any lowercase characters (as defined by Unicode)
can be used as identifiers.
-Brent
On Thu, Aug 23, 2012 at 11:09:41AM -0400, dude wrote:
> Not in 7.4.2, correct?
>
> --
> dude
>
> On 08/22/20
On Thu, Aug 23, 2012 at 01:25:39PM +0100, Patrick Browne wrote:
>
>If there is no model expansion could it be because of the constructor
>discipline, which only allows variables, and constructors in the LHS
>argument patterns.
Indeed, a variable name as a pattern on the LHS of a funct
I believe in the paper it is actually a lowercase Greek chi (χ), which
should work too. ;)
-Brent
On Wed, Aug 22, 2012 at 08:15:48AM +0200, José Pedro Magalhães wrote:
> Nope, but it should work on 7.6 (also on the release candidate).
> The 'X' should be lowercase, though, like type variables.
>
On Thu, Aug 16, 2012 at 06:07:06PM -0400, Joey Adams wrote:
> On Wed, Aug 15, 2012 at 3:38 PM, Bryan O'Sullivan wrote:
> > I propose that the sense of the recommendation around upper bounds in the
> > PVP be reversed: upper bounds should be specified only when there is a known
> > problem with a n
On Thu, Aug 16, 2012 at 05:30:07PM +0300, Yitzchak Gale wrote:
>
> For actively maintained packages, I think the
> problem is that package maintainers don't find
> out promptly that an upper bound needs to be
> bumped. One way to solve that would be a
> simple bot that notifies the package maintai
On Sat, Aug 11, 2012 at 12:13:45PM +0100, Benjamin Edwards wrote:
> Hello café,
>
> I have a program that is crashing, and I have no idea why:
>
> module Main
> where
>
> import System.Process (readProcessWithExitCode)
>
>
> main :: IO ()
> main = do _ <- readProcessWithExitCode "ghc-pkg" ["
On Thu, Aug 02, 2012 at 01:50:50PM +, Amy de Buitléir wrote:
> I'm developing a framework for artificial life experiments that I would like
> to
> make available on Hackage eventually. I've read all the guidance and
> proposals I
> could find for where to place packages in the hierarchy:
>
>
On Fri, Jul 20, 2012 at 01:24:57PM +, jwaldmann wrote:
> Dear all,
>
> how would I quickly select an element of a Set (as in Data.Set)
> uniformly at random?
>
> Via the API, this can only be done in linear time? (via toList)
> If I could access the tree structure,
> then of course it could
On Thu, Jul 19, 2012 at 09:37:52AM +0800, Magicloud Magiclouds wrote:
> Hi,
> Say I have a package that only appends
> --constraint="template-haskell==2.7.0.0"
> --constraint="warp-tls==1.2.1" could I install it. Now I want to
> release the package, then how could I have these constraint into the
On Mon, Jul 16, 2012 at 02:00:46PM +0200, Nathan Hüsken wrote:
> Hey,
>
> I have been a passive member of the haskell community for quite some
> time now. I have benefit from the community a lot through the mailing
> list, the haskell webpage and other channels. Thanks for all that!
>
> Now I am
On Sat, Jul 07, 2012 at 09:42:01PM -0300, Sebastián Krynski wrote:
> Ok , thanks for the answers, I understand now what liftM2 does.
> In this case would it be silly to use combinerPred (and maybe a newType
> Predicate a = a -> Bool) for the sake of readability or shoud I stick with
> a -> Boo
On Sun, Jul 08, 2012 at 09:21:08AM -0600, Jonathan Geddes wrote:
> I agree that the Raison d'être for a .NET or JVM backend is interop.
> Perhaps that's not worth the effort of an entirely new backend. JavaScript
> is a different beast, however. I said before:
>
> >From my point of view, language
On Fri, Jul 06, 2012 at 03:17:54PM -0300, Felipe Almeida Lessa wrote:
> On Fri, Jul 6, 2012 at 2:11 PM, Sebastián Krynski wrote:
> > As I was using predicates (a -> bool) , it appeared the need for combining
> > them with a boolean operator (bool -> bool -> bool) in order to get a new
> > predica
On Thu, Jun 07, 2012 at 07:32:45PM +0100, ex falso wrote:
>
> we always have to put the class restriction (TupleLength l) there,
> even though all possible type constructors of [*] have a TupleLength
> instance defined!
Yes, and this is a feature, for at least two reasons.
First: to the extent t
On Mon, Jun 04, 2012 at 11:04:36AM -0400, Victor Miller wrote:
> Before I install it (on on Mac OS X Lion) is there anything, manually, that
> I need to do in order to keep all of the cabal packages that I've
> installed, or are the reinstalled automatically?
Neither. If you install a new version
On Mon, Jun 04, 2012 at 11:35:20AM +0200, Ismael Figueroa Palet wrote:
> Hi, I was wondering about defining a restricted monad, and found out this
> blog post: http://blog.omega-prime.co.uk/?p=127
>
> In GHC 7.4.1 still the recommended way is using the rmonad package,
> right?
You can do it howev
On Wed, May 23, 2012 at 09:24:06AM +0200, Ertugrul Söylemez wrote:
> Yves Parès wrote:
>
> > > Note about []: Don't even mention foldl. The folding
> > > combinator for lists is foldr, period.
> >
> > Yes, I do agree. I came to this when I realized foldr gave the church
> > encoding of a li
On Thu, May 17, 2012 at 03:05:22PM +0100, Chris Dornan wrote:
> I have been playing around with the latest cabal-install (0.14.0) and it is
> working really nicely. Having unpacked a cabal bundle you can now type
> 'cabal install' inside the root and it will work everything out as if you
> had aske
I am curious how the title was translated. Of course, the English
title "Learn You a Haskell for Great Good" uses intentionally
ungrammatical/unidiomatic English for humorous effect. Is the
Japanese title also ungrammatical/unidiomatic Japanese? Or do
Japanese speakers not find that humorous?
-
It is possible. I have done it for
http://projects.haskell.org/diagrams/doc/index.html
But it is not fun, and it took me several days of work (spread over
two weeks) to figure out the proper magic incantations to get
everything to work properly. I really ought to write up a blog post
with
Hi everyone,
I am currently teaching a half-credit introductory Haskell class for
undergraduates. This is the second time I've taught it. The last
time, for their final project I gave them the option of contributing
to an open-source project; a couple groups took me up on it and I
think it ended
On Fri, Mar 16, 2012 at 12:30:13PM +0100, Twan van Laarhoven wrote:
>
> If you want to avoid the side effects of boolTest2 when boolTest1
> returns true, you will need to implement a monadic or, something like
>
> orM ma mb = do
> a <- ma
> if a then return True else mb
Note
by the diagrams team:
- Peter Hall
- Ian Ross
- Michael Sloan
- Ryan Yates
- Brent Yorgey
with contributions from:
- Sam Griffin
- Claude Heiland-Allen
- John Lato
- Vilhelm Sjoberg
- Luite Stegeman
- Kanchalai Suveepattana
On Thu, Mar 08, 2012 at 07:53:48PM +0100, Christopher Done wrote:
> On 8 March 2012 18:32, Anthony Cowley wrote:
> > Perhaps Data.Key meets your needs?
> >
> > http://hackage.haskell.org/packages/archive/keys/2.1.2/doc/html/Data-Key.html
>
> Ah, perhaps indeed. Thanks!
>
> On 8 March 2012 19:12,
On Sat, Mar 03, 2012 at 10:37:10PM -0500, Ras Far wrote:
> letters correspond to grammar, words, or meaning." So we've got love,
> too (Aramaic word “Abba” = love of God or so...)
Not quite, it's a familiar/intimate form of "father", cf English
"papa", "dada" or "daddy".
-Brent
On Tue, Feb 28, 2012 at 06:06:25PM +0100, Johan Holmquist wrote:
>
> inter :: (a -> a -> b) -> [a] -> [b]
> inter f [] = []
> inter f l = map (uncurry f) $ zip l (tail l)
I've never seen this function defined anywhere, but it looks nice.
> withPair :: (a' -> b' -> c) -> (a -> a') -> (b -> b') -
On Thu, Feb 23, 2012 at 01:18:22PM -0800, Matt Brown wrote:
> Hi all,
>
> I'm reading the haskellwiki article on multiplate. Is it possible to
> modify the getVariablesPlate example to return the free variables?
> One idea I had is to store an environment in a reader monad, and use
> local to upda
On Sun, Feb 05, 2012 at 01:17:31AM -0600, Qi Qi wrote:
> Brilliant! That's what I was looking for. Thanks for all the replies.
>
> Sometimes, I suspect that Haskell not only makes easier of the hard things for
> imperative programming languages but also makes harder of some easy
> things.
This i
On Sat, Feb 04, 2012 at 12:23:07PM -0600, Qi Qi wrote:
> Hello,
>
> I have a question;how can I print out the intermediate number lists in a
> mergesort recursive function like the following one.
>
> merge [] ys = ys
> merge xs [] = xs
> merge (x:xs) (y:ys) = if x <= y
> the
On Fri, Feb 03, 2012 at 01:06:16AM -0500, wren ng thornton wrote:
> On 2/2/12 6:46 PM, Carter Schonwald wrote:
> >On Thu, Feb 2, 2012 at 4:06 PM, Ivan Lazar Miljenovic wrote:
> >>On 3 February 2012 07:11, Brent Yorgey wrote:
> >>>On Wed, Feb 01, 2012 at 01:53:03AM
On Wed, Feb 01, 2012 at 01:53:03AM -0500, wren ng thornton wrote:
>
> [2] HaskellForMaths, gamma, statistics, erf, math-functions,
> combinat,...
To this list I'd like to add 'species' and also the specialized
'multiset-comb' packages. The former doesn't build under recent GHCs
but I plan to fix
On Mon, Jan 23, 2012 at 09:06:52PM -0800, Ryan Ingram wrote:
> On Mon, Jan 23, 2012 at 8:05 PM, Daniel Fischer <
> daniel.is.fisc...@googlemail.com> wrote:
>
> > On Tuesday 24 January 2012, 04:39:03, Ryan Ingram wrote:
> > > At the end of that paste, I prove the three Haskell monad laws from the
>
On Fri, Jan 06, 2012 at 10:51:58AM +, Steve Horne wrote:
>
> If I specify both extensions (-XMultiParamTypeClasses and
> -XFlexibleInstances) it seems to work, but needing two language
> extensions is a pretty strong hint that I'm doing it the wrong way.
Not necessarily. These two extensions
The other much simpler solution no one has mentioned yet is to just
pull 'subsome' out as its own top-level declaration. Having such a
big function nested locally within a 'let' is ugly anyway, and it
makes it harder to test and debug than necessary.
-Brent
On Tue, Jan 03, 2012 at 05:44:01PM +01
On Mon, Dec 26, 2011 at 12:32:13PM +0400, Eugene Kirpichov wrote:
> 2011/12/26 Gábor Lehel
>
> > On Sun, Dec 25, 2011 at 9:19 PM, Eugene Kirpichov
> > wrote:
> > > Hello Heinrich,
> > >
> > > Thanks, that's sure some food for thought!
> > >
> > > A few notes:
> > > * This is indeed analogous to
Hi all,
Although it doesn't seem to be documented in the user manual (!),
Haddock supports inline images, using a <> syntax. I'd like to
include some images in the documentation for a package I'm writing,
but not sure of the best way.
I can, of course, just make the images available under my UPe
On Thu, Dec 15, 2011 at 09:05:13PM +, Conor McBride wrote:
>
> On 15 Dec 2011, at 15:19, Brent Yorgey wrote:
>
> >On Thu, Dec 15, 2011 at 06:49:13PM +1000, Gregory Crosswhite wrote:
> >>
> >>So at the end of the day... what is the point of even mak
On Thu, Dec 15, 2011 at 09:34:14AM -0800, Bryan O'Sullivan wrote:
> On Wed, Dec 14, 2011 at 10:29 PM, Chris Wong <
> chrisyco+haskell-c...@gmail.com> wrote:
>
> >-- [Warning]: This is only defined for actions that eventually fail
> >-- after being performed repeatedly, such as parsing. For
On Thu, Dec 15, 2011 at 06:49:13PM +1000, Gregory Crosswhite wrote:
>
> So at the end of the day... what is the point of even making Maybe and []
> instances of Alternative?
The Alternative and Monoid instances for [] are equivalent. However,
the Alternative and Monoid instances for Maybe are n
On Thu, Dec 15, 2011 at 07:29:20PM +1300, Chris Wong wrote:
> > Okay, so how about the following as a user narrative for some and many?
> >
> > ...
>
> I was in the middle of writing my own version of Applicative when I
> stumbled on this intense debate. Here's what I wrote for the
> documentation
On Wed, Dec 14, 2011 at 04:53:38PM +0100, Ivan Perez wrote:
> I think not. The version in hackage is still hxournal-0.5.0.0. Unless,
> of course,
> you can update a package that's already been submitted without increasing the
> version number. Is that possible? (I actually don't know)
Thankfully,
On Mon, Dec 12, 2011 at 03:17:38PM +0100, Jean-Luc Delatre wrote:
> Does anybody has an hands on experience of using Chuan-Kai Lin's Unimo
> framework?
No, but if you want to define monads operationally I would instead
recommend using the 'operational' package:
http://hackage.haskell.org/packa
On Sun, Dec 11, 2011 at 05:09:44PM +0400, Sergey Mironov wrote:
>
> Hi. I am Awesome WM user thinking about swithcing to the xmonad. Could I
> take an opportunity and ask about mouse support in xmonad/xmobar ?
> Actually, I assume that xmobar does nothing with mouse, but what is a
> common way of
On Wed, Dec 07, 2011 at 04:47:47PM +0100, Gábor Lehel wrote:
> On Wed, Dec 7, 2011 at 1:07 PM, Dmitry Kulagin
> wrote:
> >> For short, type synonyms work for mere aliases, but not for full-fledged>
> >> type-level non-inductive functions.> And sometimes we intuitively want to
> >> use them as s
On Mon, Nov 28, 2011 at 04:20:54PM -0600, Antoine Latter wrote:
> On Mon, Nov 28, 2011 at 4:12 PM, Willem Obbens wrote:
> > Hello,
> > I get this error when I try to derive an instance of the Show typeclass:
> > Abc.hs:21:60:
> > Couldn't match expected type `Vector' with actual type `[Point]'
On Thu, Nov 17, 2011 at 10:28:47AM +0100, Alexander Bernauer wrote:
> On Tue, Nov 15, 2011 at 08:18:04PM -0800, John Meacham wrote:
> > People tend to concentrate on the lambda which cooresponds to the
> > functional aspect of haskell when designing logos. Not nearly enough
> > attention is paid to
On Tue, Nov 08, 2011 at 10:04:20AM -0800, Rogan Creswick wrote:
> On Mon, Nov 7, 2011 at 11:40 PM, Rustom Mody wrote:
> > Does anyone give me a little comparison of these?
>
> virtualenv:
>
> I'm not familiar with virtualenv, but from skimming the site, it looks
> like it does something very sim
I am pleased to announce that Issue 19 of The Monad.Reader, a special
issue on parallelism and concurrency, is now available:
http://themonadreader.files.wordpress.com/2011/10/issue19.pdf
Issue 19 consists of the following three articles:
* Mighttpd – a High Performance Web Server in Haskell
On Wed, Oct 26, 2011 at 09:10:23PM +0400, MigMit wrote:
> Can't be done. Even if this particular module doesn't contain
> "instance Class Type", it's quite possible that the said instance
> would be defined in another module, about which this one knows
> nothing about.
That doesn't mean it can't b
On Wed, Oct 26, 2011 at 09:15:41AM -0700, Nathan Howell wrote:
> On Wed, Oct 26, 2011 at 6:53 AM, Magicloud Magiclouds <
> magicloud.magiclo...@gmail.com> wrote:
>
> > But in Haskell, could I write a code to list the classes that a type
> > instanced?
> > TemplateHaskell as well.
> >
>
> It's p
On Mon, Oct 24, 2011 at 01:58:33PM -0700, Jason Dagit wrote:
> On Sun, Oct 23, 2011 at 11:47 AM, Brent Yorgey wrote:
> > I am pleased to announce the release of version 0.4 of diagrams, a
> > full-featured framework and embedded domain-specific language for
> > declarative
On Mon, Oct 24, 2011 at 11:55:53AM -0700, David Barbour wrote:
> Thanks.
>
> Diagrams package seems it could be promising for a declarative UI model -
> i.e. integration with functional reactive programming and similar models -
> so long as I'm willing to sacrifice `native` look and feel, which do
On Sun, Oct 23, 2011 at 11:06:19PM -0700, David Barbour wrote:
> Is there any way to `query` a diagram, i.e. associate data with each pixel
> for mouse clicks?
Yes. Every diagram has an associated 'query function', which
associates a monoidal value to every point. By default it just
returns Tru
1 - 100 of 487 matches
Mail list logo