Ivan Lazar Miljenovic wrote:
I think ghci is just not smart enough to know that it should change to
the parent directory and run it from there. As such, it's trying to
find A.B.C from the context of the current directory, and the file is
not in A/A/B/C.hs so it can't find it.
So it's just a
On Sat, 17 Jul 2010 22:45:57 -0700, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
Carter Schonwald carter.schonw...@gmail.com writes:
Hello All, I'm not sure if this either a bug in how ghc does path/module
lookup or it simply is invalid haskell:
consider modules A, A.B and A.B.C
I'm pleased to announce the fruits of my labours during AusHac [1]:
version 0.0.0.0 of the container-classes library [2] I was talking about
in my last blog post [3].
[1]: http://www.haskell.org/haskellwiki/AusHac2010
[2]: http://hackage.haskell.org/package/container-classes
[3]:
Hrm... my example also makes ghc flub too I think... (its been a long day).
is there anything implicitly going on behind this behavior that couldn't be
resolved by eg having the reasonable heuristic that for a module named *(Prefix
...).Name* in file *Name*, any import of the form* (Prefix
Is it just me, or does aligning [OSX,Win,Linux] `zip` [Comprehensive,
Robust, CuttingEdge] send the wrong message...
Yeah, I noticed that too when designing it, but at the time it didn't bother me
too much.
I do see how it could confuse some people though, so I've made a design
alternative
The difficulty with optimising for cache effects is that you're effectively
introducing sequential dependencies between elements of the array you're
processing.
To say this another way: If you can evaluate the array elements in any order
then you can evaluate them in parallel. Adding
I still like the original design on http://imgur.com/NjiVh a lot
better, It has a simple modern design to it in my opinion :)
+1. It is simply beautiful. Much more striking and memorable than
the blue diver.
Regards,
Malcolm
___
Recently I discovered for myself monadLib as an alternative for
mtl-like packages. It seems that monadLib has better interface,
but I'm quite confused with it's type classes: they have the
monad type variable before the effect type variable (e.g.
ReaderM m i instead of ReaderM i m). AFAIU, this
Emil Melnikov emilm...@gmail.com writes:
Recently I discovered for myself monadLib as an alternative for
mtl-like packages. It seems that monadLib has better interface,
but I'm quite confused with it's type classes: they have the
monad type variable before the effect type variable (e.g.
I was in a bit of a rush to send this email earlier before the table got
packed up from in front of me, so I forgot to mention these little
tidbits:
* container-classes uses MPTCs+fundeps to define the classes rather than
type families. My initial preference would have been to use an
On 18 July 2010 23:35, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote:
* Someone's asked me why I don't define a Traversable-like class. The
reason is is that I haven't gotten around to it yet ;-) (as well as a
great many other things).
Ugh, I got Traversable mixed up with Foldable
On 07/18/2010 08:27 AM, Ivan Lazar Miljenovic wrote:
When discussing a similar issue with Manuel Chakravarty, he convinced me
that cunning newtype deriving is actually rather bad in practice and
shouldn't be used as there's a lack of proofs or some such (I can't
remember the arguments, but I
Jake McArthur jake.mcart...@gmail.com writes:
On 07/18/2010 08:27 AM, Ivan Lazar Miljenovic wrote:
When discussing a similar issue with Manuel Chakravarty, he convinced me
that cunning newtype deriving is actually rather bad in practice and
shouldn't be used as there's a lack of proofs or
Paul, this is what we are interested in... :-)
Taken that Haskell has lots of combinator constructs on various levels
as you said -- might I ask what are your personal favourites among them...?
Your mentioning of early coding initiative taken domain experts and
programmers in one person for
On Fri, Jul 16, 2010 at 08:36:46AM -0700, Corey O'Connor wrote:
On Wed, Jul 14, 2010 at 4:42 PM, Thomas Schilling
nomin...@googlemail.com wrote:
This solver is currently being implemented in GHC (there's a branch on
darcs.h.o), but correctness comes first. It'll probably take a while
On 2010, July 18, 23:27
Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote:
When discussing a similar issue with Manuel Chakravarty, he convinced me
that cunning newtype deriving is actually rather bad in practice and
shouldn't be used as there's a lack of proofs or some such (I can't
On Sun, Jul 18, 2010 at 3:59 AM, Carter Schonwald
carter.schonw...@gmail.com wrote:
I don't think that semantics creates the sort of ambiguity that Kevin is
concerned about, and while yes there simple alternative approaches, they
require whatever is starting up ghci to know what the correct
On Sat, Jul 17, 2010 at 2:10 PM, Don Stewart d...@galois.com wrote:
andrewcoppin:
Don Stewart wrote:
allbery:
like to repeat one request: Please, please, please make it easier to
- Download older versions of HP.
- Find out which HP release contains what.
- Figure out what the difference
I'm not sure I follow, because the toy example I'm asking about does in fact
use hierarchical module names...
are you proposing that a reasonable workaround in my use case is to do
:cd ..
:r
this seems like a reasonableish approach, or was there a different example
you had in mind?
On Sun, Jul
Hi,
When using monadLib, I use newtype deriving to get the Functor,
Applicative, and Monad instances for my custom newtyped monad. Those
work just fine, and there is nothing unsafe about them.
For a custom monad, I usually don't derive MonadLib's effect classes
directly. Instead, I tend to
dave:
Actually, it just got trivial:
$ diffcabal old-platform.cabal haskell-platform.cabal
Cabal 1.8.0.2 - 1.8.0.6
QuickCheck 2.1.0.3 - 2.1.1.1
[etc.]
Okay, so where do I go to find out the difference between, say,
QuickCheck 2.1.0.3 and 2.1.1.1?
--
Currently, the
On Sun, Jul 18, 2010 at 1:55 PM, Carter Schonwald
carter.schonw...@gmail.com wrote:
I'm not sure I follow, because the toy example I'm asking about does in fact
use hierarchical module names...
are you proposing that a reasonable workaround in my use case is to do
:cd ..
:r
this seems like a
nope, I was suggesting rather:
./A.hs has module A which has an import A.B line
./A/ has B.hs with module A.B which imports A.B.C
/C which has module A.B.C in file C.hs
I think this scenario should work
-carter
On Sun, Jul 18, 2010 at 2:18 PM, Anthony Cowley
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 7/18/10 09:27 , Ivan Lazar Miljenovic wrote:
When discussing a similar issue with Manuel Chakravarty, he convinced me
that cunning newtype deriving is actually rather bad in practice and
shouldn't be used as there's a lack of proofs or some such
On 2010, July 18, 11:10
Iavor Diatchki iavor.diatc...@gmail.com wrote:
Hi,
When using monadLib, I use newtype deriving to get the Functor,
Applicative, and Monad instances for my custom newtyped monad. Those
work just fine, and there is nothing unsafe about them.
For a custom monad, I
In my Cabal file I have defined a flag that controls whether tests are
built or not. Now I'd like to hook it up a bit more so that './Setup.hs
test' actually runs the tests.
I haven't found a way to access that configuration flag in my hook
though. Is it not available in some way?
Currently
The changelog feature would be very useful---dumping repository
history is no substitute for it because it is too low level (contains
too much noise). Generally, I would expect that whoever makes the
release of a piece of software should be in charge of writing a
summary of what's new since the
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 7/18/10 14:18 , Anthony Cowley wrote:
On Sun, Jul 18, 2010 at 1:55 PM, Carter Schonwald
carter.schonw...@gmail.com wrote:
are you proposing that a reasonable workaround in my use case is to do
:cd ..
:r
this seems like a reasonableish
On Sun, Jul 18, 2010 at 12:23 PM, Magnus Therning mag...@therning.org wrote:
In my Cabal file I have defined a flag that controls whether tests are
built or not. Now I'd like to hook it up a bit more so that './Setup.hs
test' actually runs the tests.
This will allow you to issue 'cabal test'
begin Brandon S Allbery KF8NH quotation:
The fundamental problem is that ghci has no concept of projects. The
correct place for this is in Cabal, which *does* have project support, but
as yet it has no support for ghci. It's conceivable that the ghci user
commands capability could be used to
Silly question, but I can't find the answer on the net. I think I'm just
using the wrong words in my search. I'm looking for a way to create
constant expressions in Haskell. The C/C++ equivalent of what I'm
talking about is
#define NAME VALUE
I want an expression, or really just numbers for
Iavor Diatchki wrote:
The changelog feature would be very useful---dumping repository
history is no substitute for it because it is too low level (contains
too much noise). Generally, I would expect that whoever makes the
release of a piece of software should be in charge of writing a
summary
On Sunday 18 July 2010 22:19:21, Eitan Goldshtrom wrote:
Silly question, but I can't find the answer on the net. I think I'm just
using the wrong words in my search. I'm looking for a way to create
constant expressions in Haskell. The C/C++ equivalent of what I'm
talking about is
#define
On Sun, Jul 18, 2010 at 5:19 PM, Eitan Goldshtrom
thesource...@gmail.com wrote:
Silly question, but I can't find the answer on the net. I think I'm just
using the wrong words in my search. I'm looking for a way to create constant
expressions in Haskell. The C/C++ equivalent of what I'm talking
On Sun, Jul 18, 2010 at 10:19 PM, Eitan Goldshtrom
thesource...@gmail.com wrote:
Silly question, but I can't find the answer on the net. I think I'm just
using the wrong words in my search. I'm looking for a way to create constant
expressions in Haskell. The C/C++ equivalent of what I'm talking
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 7/18/10 16:10 , Mike Dillon wrote:
Not sure if anyone mentioned this possibility elsewhere in the thread,
but I was thinking that having a cabal console command would be a nice
way to handle this. Cabal would parse the *.cabal file and invoke
So just so I get this straight, the following are equivalent to the
computer, after compiling:
1.
fact = 10
{-# INLINE fact #-}
func x = x * fact
2.
func x = x * 10
I'm also curious as to what the {-# #-} brackets represent. I've never
seen those before.
-Eitan
On Sunday 18 July 2010 23:07:38, Eitan Goldshtrom wrote:
So just so I get this straight, the following are equivalent to the
computer, after compiling:
1.
fact = 10
{-# INLINE fact #-}
func x = x * fact
2.
func x = x * 10
I'm not sure if they're equivalent when compiled without
On 18 July 2010 21:23, Andrew Coppin andrewcop...@btinternet.com wrote:
As somebody who occasionally releases (admittedly useless) packages on
Hackage, it's really quite irritating that there isn't an easy way to say
what changed.
(As for scanning a repo to find changes, that's very
On 18/07/10 20:55, Rogan Creswick wrote:
On Sun, Jul 18, 2010 at 12:23 PM, Magnus Therning mag...@therning.org wrote:
In my Cabal file I have defined a flag that controls whether tests are
built or not. Now I'd like to hook it up a bit more so that './Setup.hs
test' actually runs the tests.
Hey hey,
Thanks for the response!
In sounds like you're trying to use typeclasses as if they were
OO-classes, which is a good way to confuse yourself. What you probably
want is just parametric polymorphism. For example, if every experiment
is a sequence of trials, and every trial is a
On 19 July 2010 04:16, Don Stewart d...@galois.com wrote:
Hackage doesn't yet provide support for changelogs. However, it does
provide support for repository links, from which we can construct a
changelog. That's right: you have to read each repo to get the full
changelog, unless the author
On 19 July 2010 14:31, Jonathan Geddes geddes.jonat...@gmail.com wrote:
Now when I'm working in a subdirectory, say Foo where the modules are
named Foo.Bar, Foo.Baz, Foo.etc., and I try to compile Bar.hs which
imports Foo.Baz, the compiler looks for the file Foo/Baz.hs. The
problem is that I'm
2010/7/19 Ivan Miljenovic ivan.miljeno...@gmail.com:
On 19 July 2010 14:31, Jonathan Geddes geddes.jonat...@gmail.com wrote:
Now when I'm working in a subdirectory, say Foo where the modules are
named Foo.Bar, Foo.Baz, Foo.etc., and I try to compile Bar.hs which
imports Foo.Baz, the compiler
44 matches
Mail list logo