On Mon, Jul 27, 2009 at 6:37 PM, Daniel van den Eijkel wrote:
> Is it possible, to reach the (shadowed) values in any way?
I'm not sure about this, but . . .
> Another question: Is it possible to show only those identifiers that are
> defined during the interactive session? I only can list all i
On Mon, Jul 27, 2009 at 7:58 PM, Dan Weston wrote:
> The following inferred type has a constraint that can be trivially
> satisfied, but isn't:
>
> Control.Monad> :t \ (m,f,x) -> (m >>= f) x
> \ (m,f,x) -> (m >>= f) x
> :: forall t a b. (Monad ((->) t)) => (t -> a, a -> t -> b, t) -> b
>
> -- In C
The following inferred type has a constraint that can be trivially
satisfied, but isn't:
Control.Monad> :t \ (m,f,x) -> (m >>= f) x
\ (m,f,x) -> (m >>= f) x
:: forall t a b. (Monad ((->) t)) => (t -> a, a -> t -> b, t) -> b
-- In Control.Monad there is forall t. instance Monad ((->) t),
-- so
On 28/07/2009, at 12:59 PM, Richard O'Keefe wrote:
On Jul 28, 2009, at 2:25 PM, Peter Gammie wrote:
But Richard (or am I arguing with Kay?) - monads don't interact.
You're arguing with Alan Kay here: the reference to Leibniz
was his. The key link here is (Wikipedia): " Leibniz allows
just
On Jul 28, 2009, at 2:25 PM, Peter Gammie wrote:
But Richard (or am I arguing with Kay?) - monads don't interact.
You're arguing with Alan Kay here: the reference to Leibniz
was his. The key link here is (Wikipedia): " Leibniz allows
just one type of element in the build of the universe" (s
I tried updating to ghc-6.10.4 and have exactly the same error.
Also ghc doesn't seem to be able to find any of the haskell platform
packages, even though it ghc-pkg finds them just fine.
For example (trimmed for brevity):
ghc-pkg list
/usr/local/lib/ghc-6.10.4/./package.conf:
Cabal-1.6.0.3,
On 28/07/2009, at 11:35 AM, Richard O'Keefe wrote:
It's true that the abstract speaks of "a more biological
scheme of protected universal cells interacting only through
messages that could mimic any desired behavior", but that's
basically _it_ for biology, if we are to believe Kay, and
even then
On Jul 27, 2009, at 6:30 PM, Benjamin L.Russell wrote:
Incidentally, just for the record, in response to my forwarding your
claim, Alan Kay, the inventor of Smalltalk, just refuted your
refutation [1] (see
http://lists.squeakfoundation.org/pipermail/beginners/2009-July/006331.html)
;
_viz._:
Hi,
in GHCi, after pressing the tab-key, all defined identifiers are listed.
If an identifier was redefined, all old and shadowed versions are
listed, too.
Is it possible, to reach the (shadowed) values in any way?
Another question: Is it possible to show only those identifiers that are
def
I would find a third meaning for dot in Haskell just a little
bit too many.
Especially with hierarchical modules, Haskell encourages
writing small modules, or at any rate no larger than they
have to be. (SML goes further, of course.) So if we're
doing what the software engineering books say (sm
Hello Wouter.
I've had a go at the paper linked and perused other references found
with Google. Unfortunately, such sophisticated use of the type system
is pretty far out of my normal problem domain and I can't see how to
apply the techniques presented to my motivating example. Would you be
so kin
2009/7/27 Ahn, Ki Yung :
> How should I you use QuickCheck for testing a property that is a nested
> implecation such as (A ==> B) ==> C ?
You could use the classical equivalence (A ==> B) <=> (~A \/ B). I'm
not sure you would get very much out of the implication strategy for
the nested one, anyw
How should I use QuickCheck for testing a property that is a nested
implecation such as (A ==> B) ==> C ?
The problem is (==>) in QuickCheck is that its type is Testable prop =>
Bool -> prop -> Property rather than Testable prop => prop -> prop ->
Property. So, A ==> (B ==> C) would work but (A
How should I you use QuickCheck for testing a property that is a nested
implecation such as (A ==> B) ==> C ?
The problem is (==>) in QuickCheck is that its type is Testable prop =>
Bool -> prop -> Property rather than Testable prop => prop -> prop ->
Property. So, A ==> (B ==> C) would work but
Cale et al,
I have a concern about the implementation of the proposed
TypeDirectedNameResolution. (I'm not familiar with the internals of any of
the compilers, so it could be that my concern isn't well founded.)
I'm assuming that name resolution is currently independent of type
inference, and wi
wren ng thornton wrote:
[1] In System F the capital-lambda binder is used for the term-level
abstraction of passing type representations. So for example we have,
id :: forall a. a -> a
id = /\a. \(x::a). x
Thus, the forall keyword is serving as the type-level abstraction.
Perhaps this
Yo ho! I just installed ghc-6.10.4 over my 6.10.3. Now 'cabal install
lhs2tex' works. Phew!
On Mon, Jul 27, 2009 at 11:44 AM, Conal Elliott wrote:
> Via cabal:
>>
>>--constraint='base<4'
>>
>> or replace Control.Exception with Control.OldException
>>
>> or add 'base < 4' to the depends i
>
> Via cabal:
>
>--constraint='base<4'
>
> or replace Control.Exception with Control.OldException
>
> or add 'base < 4' to the depends in the .cabal file.
>
Thanks, Don.
Trying your first suggestion, I get the same result for the first and third
method, and a ghc panic on cat_evals for the
On Jul 27, 2009, at 14:23 , Conal Elliott wrote:
Note that the the first module to be compiled is Main. On my linux
machine, Main is the *last* of several modules to be compiled.
It's compiling the setup program which is presumably used by cabal to
do the work a configure script normally do
conal:
> Fails during configuration:
>
> bash-3.2$ cabal install lhs2tex
> Resolving dependencies...
> [1 of 1] Compiling Main ( /tmp/lhs2tex-1.1423397/lhs2tex-1.14/
> Setup.hs, /tmp/lhs2tex-1.1423397/lhs2tex-1.14/dist/setup/Main.o )
> Linking /tmp/lhs2tex-1.1423397/lhs2tex
Fails during configuration:
bash-3.2$ cabal install lhs2tex
Resolving dependencies...
[1 of 1] Compiling Main (
/tmp/lhs2tex-1.1423397/lhs2tex-1.14/Setup.hs,
/tmp/lhs2tex-1.1423397/lhs2tex-1.14/dist/setup/Main.o )
Linking /tmp/lhs2tex-1.1423397/lhs2tex-1.14/dist/setup/setup
about qualified imports and TDNR:
for x.f to work (as in the proposal),
the name f must be in scope (that is, be imported unqualified)?
That would be bad
(unqualified imports should be discouraged).
In Java, the methods of a type are automatically in scope,
e.g., the ".bitCount()" works with
Hi Don,
no I can't, I have no clue how to do that. :)
There is Olegs ZFS and he has written all his code without any use of
forkIO, so I know it's possible, I just haven't been able to translate it
to my problem.
Günther
Am 27.07.2009, 19:10 Uhr, schrieb Don Stewart :
gue.schmidt:
Hi,
gue.schmidt:
> Hi,
>
> I'd like to retire forkIO and friends by using Delimited Continuations
> instead. Am I dead wrong here in my understanding of Delimited
> Continuations or can I pursue in this direction?
>
> The most immediate use for this is actully GUI problems where I'd use
> del-con
2009/7/27 Jason Dagit :
>
>
> On Mon, Jul 27, 2009 at 9:29 AM, Cale Gibbard wrote:
>>
>> 2009/7/27 Johannes Waldmann :
>> > While browsing Haskell-Prime I found this:
>> >
>> > http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution
>> >
>> > This is not some April Fool's day
Hi,
I'd like to retire forkIO and friends by using Delimited Continuations
instead. Am I dead wrong here in my understanding of Delimited
Continuations or can I pursue in this direction?
The most immediate use for this is actully GUI problems where I'd use
del-conts in place of forkIO for
On Mon, Jul 27, 2009 at 9:29 AM, Cale Gibbard wrote:
> 2009/7/27 Johannes Waldmann :
> > While browsing Haskell-Prime I found this:
> >
> http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution
> >
> > This is not some April Fool's day hoax? Because, it might actually
> > tu
2009/7/27 Jules Bean :
> Cale Gibbard wrote:
>>
>> What do people think of this idea? Personally, it really annoys me
>> whenever I'm forced to give explicit module qualifications, and I
>> think this would really help. It would also subsume the
>> DisambiguateRecordFields extension rather handily.
I've spoken in favor of this many times before. But there are many who
think, "Every function you write should have a unique name." Talk
about needless clutter.
Regards,
John A. De Goes
N-Brain, Inc.
The Evolution of Collaboration
http://www.n-brain.net|877-376-2724 x 101
On Jul
Cale Gibbard wrote:
What do people think of this idea? Personally, it really annoys me
whenever I'm forced to give explicit module qualifications, and I
think this would really help. It would also subsume the
DisambiguateRecordFields extension rather handily.
A disadvantage - and this is not a
2009/7/27 Johannes Waldmann :
> While browsing Haskell-Prime I found this:
> http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution
>
> This is not some April Fool's day hoax? Because, it might actually
> turn Haskell into a somewhat usable (and marketable) language ...
> wel
> this wiki anyone can write his proposals [...]
sure, but this "anyone" is "simponpj" ...
signature.asc
Description: OpenPGP digital signature
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-ca
Hello Johannes,
Monday, July 27, 2009, 7:58:11 PM, you wrote:
> While browsing Haskell-Prime I found this:
> http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution
haskell-prime is future haskell standard now in development and on
this wiki anyone can write his proposals w
While browsing Haskell-Prime I found this:
http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution
This is not some April Fool's day hoax? Because, it might actually
turn Haskell into a somewhat usable (and marketable) language ...
well, you know what I mean.
Is there 'ghc -
Hi Brian,
If I understand you correctly, you've run into the "Expression
Problem". Phil Wadler posed the problem in a widely-cited e-mail,
formulating it much more clearly than I ever could:
http://homepages.inf.ed.ac.uk/wadler/papers/expression/expression.txt
There are lots of ways to t
Brian Troutwine wrote:
Do you have any reason not to do the above?
Yes, the subset types that I wish to define are not clean partitions,
though my example does suggest this. Let's say that the definition of
Foo is now
data Foo = One | Two | Three | Four | Five | Six
while Odd and Even remai
Hi,
Although I have used dbus with ruby a little, but still, I do not
understand hdbus's APIs
Is there any sample that I could learn? Thanks.
--
竹密岂妨流水过
山高哪阻野云飞
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailma
On Sun, Jul 26, 2009 at 10:27:41PM +0200, Grzegorz Chrupała wrote:
Hi all,
I have a piece of code where I'm serializing a datastructure with the
following type [(Int, (Map DType (IntMap Int)))], using Binary.encode
The thing is it is very slow: actually quite a bit slower than just using
show.
Th
38 matches
Mail list logo
