Hello Johannes,
Wednesday, September 10, 2008, 9:39:15 AM, you wrote:
Has there ever been a discussion of typed, user-definable,
user-processable source code annotations for Haskell?
afair it was on haskell-prime list
btw, Template Haskell may be used for this purpose (although not in
wren ng thornton wrote:
Daryoush Mehrtash wrote:
The MaybeT transformer is defined as:
newtype MaybeT m a = MaybeT {runMaybeT :: m (Maybe a)}
Question: What does runMaybeT x mean?
As for what does it do, I think everyone else has handled that pretty
well. As far as what does it
2008/9/9 Maurício [EMAIL PROTECTED]:
I use Haskell, and my friends at
work use Java. Do you think it
could be a good idea to use Haskell
with Java, so I could understand
and cooperate with them? Is there a
a Haskell to Java compiler that's
already ready to use?
Besides the other
Has there ever been a discussion of typed, user-definable,
user-processable source code annotations for Haskell?
afair it was on haskell-prime list
http://hackage.haskell.org/trac/haskell-prime/ticket/88
if you can call that a discussion :-)
signature.asc
Description: OpenPGP digital
Bulat Ziganshin wrote:
Is there a
a Haskell to Java compiler that's
already ready to use?
CAL
Just in case this answer was a bit cryptic for the original poster...
What Bulat means is the following:
http://labs.businessobjects.com/cal/
--
Dr. Janis Voigtlaender
Am Mittwoch, 10. September 2008 00:59 schrieb Duncan Coutts:
[…]
The .tar.gz packages are pristine and must not change, however
the .cabal file that is kept in the hackage index could change and that
information will be reflected both in the hackage website and just as
importantly for tools
Am Dienstag, 9. September 2008 15:46 schrieb Sean Leather:
[…]
Testing non-exported functionality without exporting the test interface
seems difficult in general. Is there a way to hide part of a module
interface with Cabal? Then, you could have a 'test' function exported from
each module
Am Dienstag, 9. September 2008 16:05 schrieb Conal Elliott:
[…]
My current leaning is to split a package foo into packages foo
and foo-test
What benefit does this provide?
It keeps the library and its dependencies small.
Do you publish foo-test on Hackage? If yes than the
On Tue, Sep 09, 2008 at 10:59:17PM +, Duncan Coutts wrote:
The .tar.gz packages are pristine and must not change, however
the .cabal file that is kept in the hackage index could change and that
information will be reflected both in the hackage website and just as
importantly for tools like
Hi Bruce,
Some comments from an 11 year Java professional and occasional Haskell
hobbyist.
On 9 Sep 2008, at 20:30, Bruce Eckel wrote:
So this is the kind of problem I keep running into. There will seem
to be consensus that you can do everything with isolated processes
message passing
Duncan Coutts [EMAIL PROTECTED] writes:
So we should think about how to make it less confusing. Perhaps like
distributors use an extra revision number we should do the same. I had
hoped that would not be necessary but that's probably not realistic.
If we go this route, it'd be nice to have a
If I do foo and foo-test, then I would probably place foo-test on Hackage.
Alternatively, just give foo a pointer to the location of the foo-test darcs
repo location. But then it might not be easy for users to keep the versions
in sync.
On Wed, Sep 10, 2008 at 10:24 AM, Wolfgang Jeltsch
[EMAIL
On Wed, 2008-09-10 at 10:26 +0100, Ross Paterson wrote:
On Tue, Sep 09, 2008 at 10:59:17PM +, Duncan Coutts wrote:
The .tar.gz packages are pristine and must not change, however
the .cabal file that is kept in the hackage index could change and that
information will be reflected both in
Am Mittwoch, 10. September 2008 11:47 schrieben Sie:
On Wed, 2008-09-10 at 10:11 +0200, Wolfgang Jeltsch wrote:
Am Mittwoch, 10. September 2008 00:59 schrieb Duncan Coutts:
[…]
The .tar.gz packages are pristine and must not change, however
the .cabal file that is kept in the hackage
2008/9/9 Bruce Eckel [EMAIL PROTECTED]
So this is the kind of problem I keep running into. There will seem to be
consensus that you can do everything with isolated processes message passing
(and note here that I include Actors in this scenario even if their
mechanism is more complex). And
At this time It's not really a question
of better implementation, but cooperation.
I know Haskell, they know Java, and it
would be nice if we could share code and
work. The idea of the api, or maybe dbus,
seems OK. It just would be easier if we
could join everything in a single piece,
but it is
(...)
* Since a data constructor can be an infix operator (either spelled with
backticks or a symbolic name beginning with ':' ) we can also write our
patterns with infix notation.
(...)
(Slightly off-topic?)
Do you have any reference for that use of infixing
constructors by start their
There used to be.
http://www.cs.rit.edu/~bja8464/lambdavm/
(Last darcs change log entry:
Sun Oct 21 03:05:20 CEST 2007 Brian Alliet [EMAIL PROTECTED]
* fix build for hsjava change
)
However it didn't compile for me or I had some other problems.
The last bits from the Java backend have been
Hello Mauricio,
Wednesday, September 10, 2008, 4:07:41 PM, you wrote:
Do you have any reference for that use of infixing
constructors by start their name with ':'? That's
interesting, and I didn't know about it.
really? ;)
sum (x:xs) = x + sum xs
sum [] = 0
--
Best regards,
Bulat
2008/9/10 Johannes Waldmann [EMAIL PROTECTED]:
Has there ever been a discussion of typed, user-definable,
user-processable source code annotations for Haskell?
afair it was on haskell-prime list
http://hackage.haskell.org/trac/haskell-prime/ticket/88
if you can call that a discussion :-)
2008/9/9 Jed Brown [EMAIL PROTECTED]:
On Tue 2008-09-09 12:30, Bruce Eckel wrote:
So this is the kind of problem I keep running into. There will seem to be
consensus that you can do everything with isolated processes message passing
(and note here that I include Actors in this scenario even if
I found that as I can do
xs.map(+1).sort
by redefine . to be
a . f = f a
infixl 9 .
I can also do
readFile readme.markdown . lines . length
by making
a . b = a .liftM b
infixl 9 .
Kinda annoying, but the option is there.
- jinjing
sorry about the confusion, too much drinks.
I used the redefined . in the difination of .. it should really just be
flip liftM
On Wed, Sep 10, 2008 at 9:14 PM, jinjing [EMAIL PROTECTED] wrote:
I found that as I can do
xs.map(+1).sort
by redefine . to be
a . f = f a
infixl 9 .
I
On Wed 2008-09-10 09:05, David Roundy wrote:
2008/9/9 Jed Brown [EMAIL PROTECTED]:
On Tue 2008-09-09 12:30, Bruce Eckel wrote:
So this is the kind of problem I keep running into. There will seem to be
consensus that you can do everything with isolated processes message
passing
(and
I was going to suggest using the -xc option of the GHC runtime (if you
are using GHC), but it seems that it doesn't always give meaningful
results as indicated here:
http://osdir.com/ml/lang.haskell.glasgow.bugs/2006-09/msg8.html
and here:
On Wed, Sep 10, 2008 at 03:30:50PM +0200, Jed Brown wrote:
On Wed 2008-09-10 09:05, David Roundy wrote:
2008/9/9 Jed Brown [EMAIL PROTECTED]:
On Tue 2008-09-09 12:30, Bruce Eckel wrote:
So this is the kind of problem I keep running into. There will seem to be
consensus that you can do
On 2008 Sep 10, at 6:48, Wolfgang Jeltsch wrote:
Am Mittwoch, 10. September 2008 11:47 schrieben Sie:
So we should think about how to make it less confusing. Perhaps like
distributors use an extra revision number we should do the same.
Yes, maybe this is the way to go.
Everyone who manages
On 2008 Sep 10, at 8:53, Bulat Ziganshin wrote:
Wednesday, September 10, 2008, 4:07:41 PM, you wrote:
Do you have any reference for that use of infixing
constructors by start their name with ':'? That's
interesting, and I didn't know about it.
really? ;)
sum (x:xs) = x + sum xs
sum [] =
On Wed, 2008-09-10 at 11:54 -0400, Brandon S. Allbery KF8NH wrote:
On 2008 Sep 10, at 8:53, Bulat Ziganshin wrote:
Wednesday, September 10, 2008, 4:07:41 PM, you wrote:
Do you have any reference for that use of infixing
constructors by start their name with ':'? That's
interesting, and I
As people have suggested on this list, in order to write a haskell program
you need to develop a mathematical model which requires some serious up
front thinking. Writing java code on the other hand is more about coding
and then re-factoring. 'Thinking is discouraged (agile), as the design
is
On Wed, 2008-09-10 at 12:09 +0200, Ketil Malde wrote:
Duncan Coutts [EMAIL PROTECTED] writes:
So we should think about how to make it less confusing. Perhaps like
distributors use an extra revision number we should do the same. I had
hoped that would not be necessary but that's probably
On Wed, Sep 10, 2008 at 2:55 AM, Maarten Hazewinkel
[EMAIL PROTECTED] wrote:
And a further note on sharing memory via a transactional resource (be it
STM, a database or a single controlling thread).
This situation always introduces the possibility that your update fails, and
a lot of client
Pieter Laeremans wrote:
Hello,
I've written a cgi script in haskell, it crashes sometimes with the
error message Prelude . tail : empty list
Yup, been there, done that.
First, look for all the uses of tail in your program and think hard
about all of them. Wrap them in assert or trace
Tim Chevalier wrote:
2008/9/8 Vlad Skvortsov [EMAIL PROTECTED]:
Posting to cafe since I got just one reply on [EMAIL PROTECTED] I was suggested
to
include more SCC annotations, but that didn't help. The 'serialize' function
is still reported to consume about 32% of running time, 29%
On Wed, Sep 10, 2008 at 12:31 PM, Vlad Skvortsov [EMAIL PROTECTED] wrote:
Hmm, that's a good point! I didn't think about it. Though how do I make GHC
link in profiling versions of standard libraries? My own libraries are built
with profiling support and I run Setup.hs with
Sean Leather wrote:
How do folks like to package up QuickCheck tests for their
libraries? In the main library? As a separate repo package?
Same repo separate package? Keeping tests with the tested code
allows testing of non-exported functionality, but can add quite a
Ketil Malde wrote:
Conal Elliott [EMAIL PROTECTED] writes:
Thanks a bunch for these tips. I haven't used the flags feature of cabal
before, and i don't seem to be able to get it right.
Another option might be to have the test command build via 'ghc
--make' instead of Cabal - this way,
Sean Leather wrote:
My tests are making use of a nice console test runner I wrote that
supports both HUnit and QuickCheck (and is extensible to other test
providers by the user):
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/test-framework.
The description
Bruce Eckel wrote:
So this is the kind of problem I keep running into. There will seem to
be consensus that you can do everything with isolated processes message
passing (and note here that I include Actors in this scenario even if
their mechanism is more complex). And then someone will pipe
On 10 Sep 2008, at 20:28, Ryan Ingram wrote:
On Wed, Sep 10, 2008 at 2:55 AM, Maarten Hazewinkel
[EMAIL PROTECTED] wrote:
[on transaction failures in databases and STM]
This seems to be a bit too much F.U.D. for STM. As long as you avoid
unsafeIOToSTM (which you really should; that
Hi, All.
I needed to make a batch of edits to some input files after a big change
in my program. Normally, one would choose some scripting language, but
I can't bear to program in them. The nasty thing about using Haskell
is that giving regexes as string constants sometime requires two levels
Hi guys,
Any ideas how to integrate Haskell into other software as scripting engine?
Similarly to Python in Blender or GIMP or to JavaScript in the products from
Adobe. Which possibilities we have?
Cheers,
Alex.
On Wed, Sep 10, 2008 at 10:20 PM, David F. Place [EMAIL PROTECTED] wrote:
Hi,
On Wed, Sep 10, 2008 at 02:12:00PM +0200, Marc Weber wrote:
There used to be.
http://www.cs.rit.edu/~bja8464/lambdavm/
(Last darcs change log entry:
Sun Oct 21 03:05:20 CEST 2007 Brian Alliet [EMAIL PROTECTED]
* fix build for hsjava change
)
Sorry about this. I hit a critical mass of
On Wed, Sep 10, 2008 at 05:20:54PM -0400, David F. Place wrote:
Hi, All.
I needed to make a batch of edits to some input files after a big change
in my program. Normally, one would choose some scripting language, but
I can't bear to program in them. The nasty thing about using Haskell
is
2008/9/10 Olex P [EMAIL PROTECTED]:
Hi guys,
Any ideas how to integrate Haskell into other software as scripting engine?
Similarly to Python in Blender or GIMP or to JavaScript in the products from
Adobe. Which possibilities we have?
This is also very interesting to me. At my day job we use
On Wed, 2008-09-10 at 16:57 -0500, John Goerzen wrote:
Whoa, that is sneaky and clever. But it will fail the minute you try
to run this on a compiled program, because then getProgName will give
you the binary executable.
So, I won't do that. In addition to getProgName getting the binary,
On Wed, 2008-09-10 at 11:49 -0400, Brandon S. Allbery KF8NH wrote:
On 2008 Sep 10, at 6:48, Wolfgang Jeltsch wrote:
Am Mittwoch, 10. September 2008 11:47 schrieben Sie:
So we should think about how to make it less confusing. Perhaps like
distributors use an extra revision number we should
This email is for darcs users in general and in particular for people
who host a project on code.haskell.org.
What we are doing
=
We are upgrading /usr/bin/darcs to version 2 on the machine that hosts
code.haskell.org.
That means it will be used by everyone who uses ssh to push
On 2008 Sep 10, at 17:51, Duncan Coutts wrote:
dependent packages don't get confused when it's re-released. If
we're
considering modifying hackage's versioning, we should probably decide
if we want/need this now instead of having to add it in later when
something major goes *boom*.
We've
On Wed, 2008-09-10 at 18:35 -0400, Brandon S. Allbery KF8NH wrote:
On 2008 Sep 10, at 17:51, Duncan Coutts wrote:
dependent packages don't get confused when it's re-released. If
we're
considering modifying hackage's versioning, we should probably decide
if we want/need this now instead
On 2008 Sep 10, at 18:43, Duncan Coutts wrote:
On Wed, 2008-09-10 at 18:35 -0400, Brandon S. Allbery KF8NH wrote:
On 2008 Sep 10, at 17:51, Duncan Coutts wrote:
dependent packages don't get confused when it's re-released. If
we're
considering modifying hackage's versioning, we should probably
On Wed, 2008-09-10 at 18:53 -0400, Brandon S. Allbery KF8NH wrote:
As I understand it, epochs were mainly introduced to cope with
un-cooperative upstream maintainers whereas here maintainers already
have to specify a version number in the Cabal/Hackage scheme and
there's
That is one
There are some examples of adding IO actions to commit and rollback events at
http://www.haskell.org/haskellwiki/New_monads/MonadAdvSTM
Disclaimer: I wrote this instance of the code, but have not used it much.
Cheers,
Chris
___
Haskell-Cafe
On Wed, Sep 10, 2008 at 10:07:54AM +, Duncan Coutts wrote:
On Wed, 2008-09-10 at 10:26 +0100, Ross Paterson wrote:
So if Debian or Gentoo etc repackage one of these packages in their
distributions, what is the pristine tarball that they use?
They use the one and only pristine tarball.
Do you have any reference for that use of infixing
constructors by start their name with ':'?
(...)
(...) for data constructors, go to
http://haskell.org/onlinereport/lexemes.html
and search for `Operator symbols'. (...)
Here it is:
“Operator symbols are formed from one or more
There used to be.
http://www.cs.rit.edu/~bja8464/lambdavm/
(Last darcs change log entry:
Sun Oct 21 03:05:20 CEST 2007 Brian Alliet [EMAIL PROTECTED]
* fix build for hsjava change
)
Sorry about this. I hit a critical mass of darcs conflicts (I look
forward to giving git a try) around the
Mauricio wrote:
Sorry about this. I hit a critical mass of darcs conflicts (I look
forward to giving git a try) around the same time I got really busy at
work. I've been meaning to get back into it (and update it to GHC HEAD)
but I haven't received sufficient nagging yet. Please yell if
On 11 Sep 2008, at 3:54 am, Brandon S. Allbery KF8NH wrote:
I think that only counts as the origin of the idea; isn't :-prefixed
infix constructors a ghc-ism?
Haskell 98 report, page 10:
An operator symbol starting with a colon is a constructor.
(I seem to have four copies of the report on
On Wed, 2008-09-10 at 21:32 -0300, Mauricio wrote:
Do you have any reference for that use of infixing
constructors by start their name with ':'?
(...)
(...) for data constructors, go to
http://haskell.org/onlinereport/lexemes.html
and search for `Operator symbols'. (...)
59 matches
Mail list logo
