Dear all,
It is time to collect contributions for the 19th edition of the
Haskell Communities Activities Report
http://www.haskell.org/communities/
Submission deadline: 1 November 2010
This makes me curious. What's the use case where you want to allow the user
to pass arguments on the command line, but you don't want that user to
be able
to use '--help' to find out what arguments may be passed?
When you don't want to bother defining the help options/descriptions? :p
Simon Marlow wrote:
Interesting. You're absolutely right, GHC doesn't respect the
report, on something as basic as sections! The translation we use
is
(e op) == (op) e
once upon a time, when the translation in the report was originally
written (before seq was added) this would have
Hi,
Am Dienstag, den 12.10.2010, 16:42 +1100 schrieb Ivan Lazar Miljenovic:
On 12 October 2010 16:32, Magnus Therning mag...@therning.org wrote:
This makes me curious. What's the use case where you want to allow the user
to pass arguments on the command line, but you don't want that user
On 09/10/2010 10:07, Daniel Fischer wrote:
On Saturday 09 October 2010 06:34:32, Lennart Augustsson wrote:
That code is incorrect. You can't assume that the base for floating
point numbers is 2, that's something you have to check.
(POWER6 and z9 has hardware support for base 10 floating
Hello,
recently I've cabalized my program and it brought some problems.
First of all, I made use of 'import Paths_package name' functionality
to get the path of installed data files. It works great, but now I can
no longer run my program in ghci because this module is auto-generated
by
On Tue, Oct 12, 2010 at 10:20, Dmitry V'yal akam...@gmail.com wrote:
Hello,
recently I've cabalized my program and it brought some problems.
First of all, I made use of 'import Paths_package name' functionality to
get the path of installed data files. It works great, but now I can no
longer
On Tue, Oct 12, 2010 at 4:34 AM, Bertram Felgenhauer
bertram.felgenha...@googlemail.com wrote:
Simon Marlow wrote:
Interesting. You're absolutely right, GHC doesn't respect the
report, on something as basic as sections! The translation we use
is
(e op) == (op) e
once upon a time,
Greetings,
I'm looking for dynamic dispatch on extensible sets of types.
Here is a more detailed explanation of what I mean:
# Consider the following Python code as representative of something
# you might see in
To do this I would use dynamic types (via Data.Dynamic).
There are more typeful ways to deal with heterogeneous structures[*],
but if clients can easily extend it with their own new types you've
pretty much defined what dynamic types solve.
[*] See the HList papers and library and various
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 10/11/10 04:06 , Sittampalam, Ganesh wrote:
While I agree with the potential benefits, I also worry that you will
end up making something that is far less well tested in practice. For
widely used and fairly low-level libraries like gnutls,
Hi,
Are there any plans to extent the current Data.Judy package to include
bindings to JudySL and JudyHS? There's a standalone binding to JudySL by
Andrew Choi that is usable but it would of course be better to have the
functionality in the Data.Judy package proper.
Thanks
Tom
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 10/11/10 04:41 , Brandon Moore wrote:
particular about cryptographic primitives. Some side channel attacks seem to
call for a very low-level language, to make it easier to verify that e.g.
execution time and the memory access pattern does not
Hi Gregory,
...
No, but there is no point in using a formalism that adds complexity
without adding functionality. Arrows are more awkward to use than
monads because they were intentionally designed to be less powerful than
monads in order to cover situations in which one could not use a
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 10/11/10 03:37 , Michael Snoyman wrote:
verified users will be displayed here. I'm also considering adding a
new status as well: real picture, so that only people with real images
(not cartoons, not identicons) can show up on the homepage. I
[Sorry Stephen, didn't mean to take this off-list, hence the resend.]
On 2010 Oct 12, at 14:31, Stephen Tetley wrote:
To do this I would use dynamic types (via Data.Dynamic).
Ah, yes, I've just stumbled upon these while trying to figure out what
APPLY or FUNCALL would mean in Haskell.
2010/10/12 o...@okmij.org:
An alternative approach to model sharing at the object level is the
technique I use for modelling context-free grammars in my PADL 2011
paper Explicitly Recursive Grammar Combinators... Using ideas from
the Multirec generic programming library and some recent
On Mon, Oct 11, 2010 at 3:24 PM, Michael Snoyman mich...@snoyman.comwrote:
On Mon, Oct 11, 2010 at 2:44 PM, Magnus Therning mag...@therning.org
wrote:
On Mon, Oct 11, 2010 at 13:14, John Lato jwl...@gmail.com wrote:
From: Michael Snoyman mich...@snoyman.com
Also, now 10 random profiles
Gregory,
I use arrows (especially list arrows) in a lot of my projects and find them
(after some training) easier to work with than monands. Code that I write
point-free using arrows generally contains fewer bugs than code I write in
monadic style.
On Oct 11, 2010, at 8:48 PM, Gregory
From: Jacek Generowicz jacek.generow...@cern.ch
So my question is, what would be the Haskell approach to combining
heterogeneity (as provided by variant (algebraic) types) with
type-extensibility (as provided by type classes), without losing the
benefits of Haskell's type system?
I
Hey Haskellers (and darcs-users CC'ed)
On Sat, Oct 09, 2010 at 23:08:12 +, Jason Dagit wrote:
I answered you immediate question in a different email. Now I'll do a bit
of explanation on why people want hashed.
Thanks to Jason for the explanation.
I've linked to it from
On 12 October 2010 14:08, Jacek Generowicz jacek.generow...@cern.ch wrote:
Reading the GHC docs on Data.Dynamic, I infer that Data.Dynamic is
non-standard, but, in principle, portable to other implementations.
Is that understanding correct?
Yes - Data.Dynamic uses some GHC specifics but
On Tuesday 12 October 2010 11:18:39, Simon Marlow wrote:
On 09/10/2010 10:07, Daniel Fischer wrote:
On Saturday 09 October 2010 06:34:32, Lennart Augustsson wrote:
That code is incorrect. You can't assume that the base for floating
point numbers is 2, that's something you have to check.
On 12.10.2010 13:45, Magnus Therning wrote:
On Tue, Oct 12, 2010 at 10:20, Dmitry V'yalakam...@gmail.com wrote:
Hello,
recently I've cabalized my program and it brought some problems.
First of all, I made use of 'import Paths_package name' functionality to
get the path of installed data
Does anyone have a Windows binary for the latest GHC darcs head or at least
October 8th they could send me.
Many thanks in advance,
Aaron
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hey all,
Guessing popular consensus based on what people write on the mailing
list is not exactly statistically sound. So instead, I've put up some
of our open questions- along with some other questions I've wanted to
ask- in a survey. If you are interested in the future of Haskellers, I
On Tue, Oct 12, 2010 at 15:34, Dmitry V'yal akam...@gmail.com wrote:
On 12.10.2010 13:45, Magnus Therning wrote:
On Tue, Oct 12, 2010 at 10:20, Dmitry V'yalakam...@gmail.com wrote:
Hello,
recently I've cabalized my program and it brought some problems.
First of all, I made use of 'import
On Tue, Oct 12, 2010 at 10:02 AM, Tyson Whitehead twhiteh...@gmail.com wrote:
On October 11, 2010 15:12:12 Daniel Fischer wrote:
GHC's new code generator does some incredible stuff with the code for
Float's RealFrac instance, properFraction has become about _seven times_
faster, floor and
tomdoris:
Hi,
Are there any plans to extent the current Data.Judy package to include
bindings
to JudySL and JudyHS? There's a standalone binding to JudySL by Andrew Choi
that is usable but it would of course be better to have the functionality in
the Data.Judy package proper.
Thanks
Tom
On Tuesday 12 October 2010 17:15:14, Antoine Latter wrote:
On Tue, Oct 12, 2010 at 10:02 AM, Tyson Whitehead twhiteh...@gmail.com
wrote:
On October 11, 2010 15:12:12 Daniel Fischer wrote:
GHC's new code generator does some incredible stuff with the code for
Float's RealFrac instance,
On Tue, Oct 12, 2010 at 8:56 AM, Uwe Schmidt u...@fh-wedel.de wrote:
No, but there is no point in using a formalism that adds complexity
without adding functionality. Arrows are more awkward to use than
monads because they were intentionally designed to be less powerful than
monads in order
Dear Sebastiaan,
I would first refer to the description of the Change function in a
paper by Erik Meijer (an Haskeller among the designers of F#):
http://portal.acm.org/citation.cfm?id=1297027.1297078
In short, programmers will learn something new only if the improvement
is worth the effort of the
On Tue, Oct 12, 2010 at 8:56 AM, Uwe Schmidt u...@fh-wedel.de wrote:
No, but there is no point in using a formalism that adds complexity
without adding functionality. Arrows are more awkward to use than
monads because they were intentionally designed to be less powerful than
monads in
On 10/12/10 5:56 AM, Uwe Schmidt wrote:
Hi Gregory,
As I understood, John Hughes invented the arrows as a generalisation
of monads, you say it's a less powerful concept. I'm a bit puzzled with
that. Could you explain these different views.
Consider the following example:
f :: Int - m a
On Tuesday 12 October 2010 4:02:06 pm Gregory Crosswhite wrote:
Hughes himself said that when your arrow is an instance of ArrowApply,
you are better off just sticking with monads.
Well, this is not necessarily good advice. It is true that ArrowApply will
preclude some sort of static
On 10/12/10 12:39 PM, Gene A wrote:
splitMiddle :: forall a. [a] - ([a], [a])
splitMiddle =
(id (length flip div 2))
(\(xs,a) - splitAt a xs)
But is that really easier to understand at a glance then
splitMiddle xs = splitAt (length xs `div` 2) xs
? It seems to me that while
Hi
I am trying to read and write delimited messages[3] using
protocol-buffers [1,2] over a socket. I have managed to write delimited
messages and I was looking for examples of reading delimited messages.
Maybe somebody has an example of reading delimited messages from a
socket?
The Haskell
On 10/12/10 6:29 AM, Sebastiaan Visser wrote:
Gregory,
I use arrows (especially list arrows) in a lot of my projects and find them
(after some training) easier to work with than monands. Code that I write
point-free using arrows generally contains fewer bugs than code I write in
monadic
On Tue, Oct 12, 2010 at 3:00 PM, Paolo G. Giarrusso
p.giarru...@gmail.com wrote:
Were you writing a paper, your comment would be fully valid. Here
we're talking about a library for people to use in practice. In the
middle, somebody should make sure that people without a PhD can learn
arrows,
If oktober 7th would do you can get it at
http://www.haskell.org/ghc/dist/current/dist/
http://www.haskell.org/ghc/dist/current/dist/ghc-7.1.20101007-i386-windows.e
xe
maybe a newer build would show up soon.
From: haskell-cafe-boun...@haskell.org
[mailto:haskell-cafe-boun...@haskell.org]
On 10/12/10 1:22 PM, Dan Doel wrote:
On Tuesday 12 October 2010 4:02:06 pm Gregory Crosswhite wrote:
Hughes himself said that when your arrow is an instance of ArrowApply,
you are better off just sticking with monads.
Well, this is not necessarily good advice. It is true that ArrowApply will
One minor but important note: the hashed format is *not* readable with a
darcs-1 program:
(after a darcs optimize --upgrade
in /opt/repositories/controls/darcs/apps/HoBiCaT)
frank...@aragon:~/tmp /usr/bin/darcs --version
1.0.9rc1 (release candidate 1)
frank...@aragon:~/tmp /usr/bin/darcs
get
To kick off discussion about Haskell's general theme, as discussed
recently, here's some random ideas.
Going with the original colours of the nominated Haskell logo, and
kinda what's been done here:
http://new-www.haskell.org/haskellwiki/Haskell
http://img840.imageshack.us/img840/3577/ideasv.png
On Oct 12, 2010, at 4:24 AM, Jacek Generowicz wrote:
I can't see a Haskell solution which combines both of these orthogonal
features without losing the benefits of the type system. (For example,
I could create my own, weak, type system with tags to identify the
type and maps to do the
On Tue, Oct 12, 2010 at 2:02 PM, Ben Franksen ben.frank...@online.dewrote:
One minor but important note: the hashed format is *not* readable with a
darcs-1 program:
Sorry about that. The support for hashed repos existed long before 2.0 was
released and so I misremembered the hashed support
Does anyone use Yi on Windows? I've managed to get it to build and run, but
it doesn't seem to pick up a config file. This seems to be an issue
identified over a year ago:
http://code.google.com/p/yi-editor/issues/detail?id=269. This would seem to
render the editor almost completely useless on
Neil Mitchell wrote:
This makes me curious. What's the use case where you want to allow the
user to pass arguments on the command line, but you don't want that user
to be able
to use '--help' to find out what arguments may be passed?
I wanted to create a clone of an existing program that had
Joachim Breitner wrote:
Am Dienstag, den 12.10.2010, 16:42 +1100 schrieb Ivan Lazar Miljenovic:
On 12 October 2010 16:32, Magnus Therning mag...@therning.org wrote:
This makes me curious. What's the use case where you want to allow the
user to pass arguments on the command line, but you
Roman Cheplyaka wrote:
On Mon, 11 Oct 2010 13:09:00 +0200, Vo Minh Thu not...@gmail.com wrote:
2010/10/11 Roman Cheplyaka r...@ro-che.info:
On Mon, 11 Oct 2010 11:54:12 +0100, Magnus Therning
mag...@therning.org
wrote:
On Mon, Oct 11, 2010 at 08:37, Michael Snoyman mich...@snoyman.com
Jason Dagit wrote:
On Tue, Oct 12, 2010 at 2:02 PM, Ben Franksen
ben.frank...@online.dewrote:
One minor but important note: the hashed format is *not* readable with a
darcs-1 program:
Sorry about that. The support for hashed repos existed long before 2.0
was released and so I
On 13 October 2010 02:00, Magnus Therning mag...@therning.org wrote:
On Tue, Oct 12, 2010 at 15:34, Dmitry V'yal akam...@gmail.com wrote:
By the way, the 'version' variable doesn't mentioned in Cabal user guide, or
at least I missed it. Is it documented somewhere?
I don't know, I think I
On Oct 6, 2010, at 12:10 PM, Don Stewart wrote:
* haskell visual design group?
+ consistent color themes across haskell.org sites.
+ consistent haskell branding.
On Oct 12, 2010, at 2:17 PM, Christopher Done wrote:
To kick off discussion about Haskell's general theme, as
That bug is probably no longer correct. We now use the dyre package
for loading the config. Does anybody know if dyre works on Windows in
general?
On Tue, Oct 12, 2010 at 5:39 PM, Peter Marks pe...@indigomail.net wrote:
Does anyone use Yi on Windows? I've managed to get it to build and run, but
I have turned the code into a library and put it up on github here:
http://github.com/kevinjardine/polyToMonoid
The library includes two versions of the function: ptm does not
require a termination function but does not allow partial evaluation
either. ctm is more composable (returning a
On Tue, Oct 12, 2010 at 10:41 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 13 October 2010 02:00, Magnus Therning mag...@therning.org wrote:
On Tue, Oct 12, 2010 at 15:34, Dmitry V'yal akam...@gmail.com wrote:
By the way, the 'version' variable doesn't mentioned in Cabal user
The point here was not so much removing --help, but rather that I want to
have control over the 'standard' options (help,version,verbosity) in the
same way as for the rest. My program might not have a version, so why
offer --version? Or maybe I want a different name for it because the -V is
56 matches
Mail list logo