2010/5/4 Limestraël limestr...@gmail.com:
...
Minh, Kyle, Gwern, the dyre approach seems to be very interesting too.
But if I understood well, we also have to recompile at run-time the
configuration haskell script?
So the final application (Yi, for instance) will need GHC to be installed to
I'd be quite interested in this sort of project . Please keep me in the
loop,
-Carter
On Mon, May 3, 2010 at 11:06 PM, Alp Mestanogullari a...@mestan.fr wrote:
Ok guys, Ivan takes care of graphs =)
Note that it's more about computational mathematics, for things one would
do for example with
Alright, here's my attempt to add comments, although once again it seems
like the choice of algorithm in this example is a little wierd. By checking
the output I was able to determine that it results in True for values of
n*n-1, but why exactly that is I can't really figure out at the moment. If I
On 04/05/2010, at 13:30, Luke Palmer wrote:
On Mon, May 3, 2010 at 11:07 AM, Kyle Murphy orc...@gmail.com wrote:
The fact that it doesn't is proof enough that there's a problem
with it even if that problem is simply that the types you're using aren't
exactly correct. Further, I'd argue that
A complete language needs a complete implementation.
No, Minh, I was not talking about re-implementing a whole Lisp/Scheme
language interpreter in Haskell. (I know there is BTW a Scheme interpreter
made in Haskell :
http://jonathan.tang.name/files/scheme_in_48/tutorial/overview.html).
But what
On 5/3/10 23:46, Jason Dagit wrote:
This happened to a co-worker on her mac. We used gdb to track the bus
errors to the network library. Once we tracked it down to there, we did
some combination of deleting $HOME/.cabal, building/installing the
latest version of Network and then relinking
Hello Lars,
did you happen to manage ghc-6.10.4 in a zone?
I suspect there are some packages I failed to install into the zone, but
I'm not certain.
Günther
Am 29.04.10 23:19, schrieb Lars Viklund:
On Thu, Apr 29, 2010 at 09:14:50AM +0200, Christian Maeder wrote:
Günther Schmidt
From: Rafael Cunha de Almeida assina...@kontesti.me
Ivan Miljenovic ivan.miljeno...@gmail.com disse:
On 3 May 2010 14:17, aditya siram aditya.si...@gmail.com wrote:
I'm a little confused about this too. I've seen many functions defined like:
f x = (\s - ...)
which is a partial function
On Tue, May 4, 2010 at 9:09 AM, Limestraël limestr...@gmail.com wrote:
Are there other methods than Maybe or exceptions to handle the errors in
Haskell? Is the monad Error(T) useful?
I believe the usual Error monad is just (Either e), with Left
indicating failure. It's the same idea as Maybe,
This is partly a continuation from:
http://groups.google.ca/group/haskell-cafe/browse_thread/thread/4ee2ca1f5eb88e7a?hl=en#
and
http://hpaste.org/fastcgi/hpaste.fcgi/view?id=25265
Also of relevance:
http://groups.google.ca/group/haskell-cafe/browse_thread/thread/9cc8858a2e51a995?hl=en#
I know that someone has created a Haskell interpreter for lisp.
Perhaps this could server as a starting pointing to creating a
translator between lisp and haskell. This is relevant with regards to
computer algebra because the computer algebra system Maxima is written
is lisp. Their is also a
On Tue, May 4, 2010 at 2:09 PM, Limestraël limestr...@gmail.com wrote:
2010/5/4 John Lato jwl...@gmail.com
Crashing at the point of the error isn't necessarily useful in
Haskell due to lazy evaluation. The code will crash when the result
of the partial function is evaluated, which may be
hello,
2010/5/4 John Creighton johns2...@gmail.com:
I will continue to try to solve the problem on my own but at the
moment I'm able to get IsSuperSet to work but not the classes Isa,
Child and IsSubSet to work. Unlike set theory IsSubSet is not the same
as switching the order arguments in
This is a very interesting idea. I consider it to be a long shot compared to
just writing haskell code to perform these tasks, so I don't think it's a
priority, except if someone is willing to work on this. But I'd already be
quite satisfied with a more complete and uniform framework for
Hello,
I'm pleased to announce the release of my new library, named has,
written to aim to ease pain at inconvinience of Haskell's build-in
records.
With the has, You can reuse accessors over records to write generic
function, combine records with another.
Repository is at GitHub:
On Tue, May 4, 2010 at 10:18 AM, HASHIMOTO, Yusaku nonow...@gmail.com wrote:
Hello,
I'm pleased to announce the release of my new library, named has,
written to aim to ease pain at inconvinience of Haskell's build-in
records.
Hmm, nice work, looks interesting.
With the has, You can reuse
On Tue, May 4, 2010 at 5:31 PM, Gregory Crosswhite
gcr...@phys.washington.edu wrote:
Yes, but I think that it is also important to distinguish between cases where
an error is expected to be able to occur at runtime, and cases where an error
could only occur at runtime *if the programmer
Hello
I'm pleased to announce the release of my new library, named has,
written to aim to ease pain at inconvinience of Haskell's build-in
records.
Hmm, nice work, looks interesting.
Thanks!
You can use the has in three steps (without counting installation).
1. Write {-# OPTIONS_GHC
I uploaded new version (0.4.0.1) of this package with proper pragmas.
On 5 May 2010 02:00, HASHIMOTO, Yusaku nonow...@gmail.com wrote:
Hello
I'm pleased to announce the release of my new library, named has,
written to aim to ease pain at inconvinience of Haskell's build-in
records.
Hmm,
Hi
Since version 2.4.0 Haddock has generated HTML output that uses frames
(index-frames.html) in addition to the normal output. We'd like to
deprecate this feature unless there is a significant amount of users.
The reason is two-fold:
* We probably want to replace the frames with something
This whole thing seems to be touching on something I saw recently and was
quite interested in. I found a site talking about static contract checking
in Haskell, unfortunately I can't seem to find it now, but this paper (
I definitely like that idea. :-) Is this similar to the notion of dependent
types?
Cheers,
Greg
On May 4, 2010, at 11:21 AM, Kyle Murphy wrote:
This whole thing seems to be touching on something I saw recently and was
quite interested in. I found a site talking about static contract
I think it will no longer be needed once Haddock outputs table-less
layout code. Frames caused problems with the back-button, so they
weren't really an improvement. A simple CSS float:right + smaller
font on the div containing the index would be a lot better.
I think it would be best to keep
On Tue, May 4, 2010 at 2:43 PM, Gregory Crosswhite
gcr...@phys.washington.edu wrote:
I definitely like that idea. :-) Is this similar to the notion of
dependent types?
That's where things tend to wind up eventually, yes. Although, with
Haskell as it stands, a great deal of unused information
The papers are available here: http://gallium.inria.fr/~naxu/pub.html
But in general you can say things like the following:
(Dana Xu uses a slightly different notation that I can never remember).
sorted :: Ord a = [a] - Bool
sorted [] = True
sorted [x] = True
sorted (x:xs) = x head xs
* We probably want to replace the frames with something more modern
(like a sidebar on the same page) in the future
* We are rewriting the HTML backend and it would be nice to avoid
unnecessary work
So if you're using this feature and want to keep it, please speak up!
Somewhat OT, but
2010/5/4 Sean Leather leat...@cs.uu.nl:
Somewhat OT, but is there a place where we can request/review features in
the new HTML presentation of Haddock. Are there any mockups of what the
pages might look like? I've had some ideas pop around my head every time I
look at documentation. ;)
I think I missed your point in my last post, and there are more
necessary extensions need to be enabled than I wrote before.
TypeFamilies, TypeOperator and FlexibleContexts extensions are
necessary. So you need to write this at top of the code if you don't
choose OPTIONS_GHC pragma.
{-#
This is awesome! GHC-devs , please mainline the CONTRACT pragma.
-deech
On 5/4/10, Edward Kmett ekm...@gmail.com wrote:
The papers are available here: http://gallium.inria.fr/~naxu/pub.html
But in general you can say things like the following:
(Dana Xu uses a slightly different notation that
On Tue, May 4, 2010 at 1:23 PM, David Waern david.wa...@gmail.com wrote:
2010/5/4 Sean Leather leat...@cs.uu.nl:
Somewhat OT, but is there a place where we can request/review features in
the new HTML presentation of Haddock. Are there any mockups of what the
pages might look like? I've had
Hello,
I am pleased to announce the availability of happstack-hamlet:
http://hackage.haskell.org/package/happstack-hamlet
http://patch-tag.com/r/mae/happstack/snapshot/current/content/pretty/happstack-hamlet
Happstack is a web application development framework.
Hamlet provides HTML templates
Trying to install on Windows, i am having a strange problem (may
actually be some cabal bug?),
More specifically trying to install happstack-util
[13 of 19] Compiling Happstack.Crypto.MD5 ( src\Happstack\Crypto\MD5.hs, dist\bu
ild\Happstack\Crypto\MD5.o )
cabal: Error: some packages failed to
I try to configure happstack with parsec 3.1. It seems to fail due to
cabal:
I installed happstack-util editing happstack-util.cabal by hand:
% grep parsec
~/.ghc/x86_64-linux-6.12.2/package.conf.d/happstack-util-0.5.0-6e27d5d3ba1c07f259d463ee3036c92b.conf
On Mittwoch 05 Mai 2010 00:55:38, Maciej Piechotka wrote:
I try to configure happstack with parsec 3.1. It seems to fail due to
cabal:
happstack-util.cabal says parsec 3, so --constraint=parsec 3 and the
given dependencies are incompatible, hence it can't be configured.
Probably parsec 3
Hello,
Seems that happstack-util had an artificially low upper bounds. I just
uploaded happstack-util 0.5.0.1 which bumps it to parsec 4.
Make sure that your version of the 'network' library is compiled
against parsec 3, since happstack-server depends on both network and
parsec.
On Wed, 2010-05-05 at 01:09 +0200, Daniel Fischer wrote:
On Mittwoch 05 Mai 2010 00:55:38, Maciej Piechotka wrote:
I try to configure happstack with parsec 3.1. It seems to fail due to
cabal:
happstack-util.cabal says parsec 3, so --constraint=parsec 3 and the
given dependencies are
On Tue, May 04, 2010 at 01:36:27PM +0200, Günther Schmidt wrote:
Hello Lars,
did you happen to manage ghc-6.10.4 in a zone?
I suspect there are some packages I failed to install into the zone, but
I'm not certain.
No, I've never used zones, I just read up about them in the past.
--
Lars
On Wednesday 05 May 2010 01:45:29, Maciej Piechotka wrote:
I updated local copy, as shown, but cabal wants to rebuild it anyway. My
question was rather why the repo is considered at all when the package
is installed.
Regards
Okay, I didn't quite understand your question, sorry.
So, what's
On 5 May 2010 08:29, Flavio Botelho fezsent...@gmail.com wrote:
A Windows prompt shows problems (Application not properly initialized)
with a perl.exe program.
Does cabal use perl (that's completely unexpected for me)?
GHC does if you use -fvia-C (which is not the default even on Windows
Very cool Jeremy, great work!
Please everyone, give me any feedback you have, *especially* the negative
kind.
Michael
On Wed, May 5, 2010 at 12:46 AM, Jeremy Shaw jer...@n-heptane.com wrote:
Hello,
I am pleased to announce the availability of happstack-hamlet:
On Wed, 2010-05-05 at 02:17 +0200, Daniel Fischer wrote:
On Wednesday 05 May 2010 01:45:29, Maciej Piechotka wrote:
I updated local copy, as shown, but cabal wants to rebuild it anyway. My
question was rather why the repo is considered at all when the package
is installed.
Regards
On 5 May 2010 12:04, Maciej Piechotka uzytkown...@gmail.com wrote:
1. I downloaded happstack-utile[1]
2. Edited cabal file
3. Installed it successfully linking with parsec 3.1
4. I tried to run cabal install happstack --constraint 'parsec = 3'
5. It complains that happstack-utile needs to be
Thanks Roel and Kyle for your contributions!
On 4/05/2010, at 10:35 PM, Roel van Dijk wrote:
Here is my attempt. I tried to avoid higher concepts like folds and
things like the ($) operator. Most recursions are written explicitly.
{ BEGIN CODE }
module Main where
-- Data type
Hey Jeremy,
I see below that you included the experimental WAI support. I'm excited to
try it out, but I don't see it in happstack-server (maybe I'm blind). Could
you point it out?
Thanks,
Michael
On Mon, May 3, 2010 at 8:57 PM, Jeremy Shaw jer...@n-heptane.com wrote:
(Note: Reply-to is set
aditya == aditya siram aditya.si...@gmail.com writes:
aditya This is awesome! GHC-devs , please mainline the CONTRACT
aditya pragma.
I think it needs a LOT more work before it is usable. (I hope I'm wrong,
but Dana reckoned it needed about 7 more man-years of work.)
Dana sent me a
45 matches
Mail list logo