On Thu, 2007-10-04 at 10:36 -0700, Don Stewart wrote:
It was raised at CUFP today that while Python has:
Python is a dynamic object-oriented programming language that can be
used for many kinds of software development. It offers strong
support for integration with other languages
On Mon, 2007-11-26 at 21:24 +0100, [EMAIL PROTECTED] wrote:
Hi,
I'm trying to build MissingH (0.18.6) on Windows, but it looks like
(probably because of changes in Cabal) the Setup.hs is broken. Im using GHC
6.8.1. Following message:
$ runhaskell Setup.hs configure
Setup.hs:19:35:
See also: http://haskell.org/haskellwiki/Upgrading_packages
You probably have to adjust the build-depends field, due to the base
split up.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Sun, 2007-11-25 at 18:49 +0100, manu wrote:
Hello,
I'm trying to do something that should be fairly simple, installing
some DB package so I can use MySQL or SQLite.
However I've had troubles building HSQL, HaskellDB and Takusen before
giving up (I am using ghc 6.8.1 and
On Fri, 2007-11-23 at 23:01 +0100, Roberto Zunino wrote:
Maurício wrote:
main = mapM_ ((putStrLn ) * putStrLn) $
map show [1,2,3]
Using only standard combinators:
main = mapM_ ((putStrLn ) . putStrLn) $ map show [1,2,3]
== mapM_ ((putStrLn ) . putStrLn . show) [1,2,3]
On Thu, 2007-11-22 at 09:19 +0100, Peter Verswyvelen wrote:
worksFine =
if True
then putStrLn True
else putStrLn False
worksNOT = do
if True
then putStrLn True
else putStrLn False
worksAgain = do
if True
then putStrLn True
else putStrLn False
Of course the
On Wed, 2007-11-21 at 12:19 +0300, Bulat Ziganshin wrote:
Hello Thomas,
Tuesday, November 20, 2007, 6:35:00 PM, you wrote:
Using DocBook, however, has some nice advantages. For example, the
possibility to generate documentation in different formats. Something
more easily accessible
On Tue, 2007-11-20 at 12:33 +, Krzysztof Kościuszkiewicz wrote:
On Tue, Nov 20, 2007 at 08:55:47AM +, Simon Peyton-Jones wrote:
But we're just not sure how to do it:
* What technology to use?
* Matching up the note-adding technology with the existing
infrastructure - GHC's
On Tue, 2007-11-20 at 16:00 +0100, Ketil Malde wrote:
Thomas Schilling [EMAIL PROTECTED] writes:
I would advocate using a comment system that is similar to the one
at http://djangobook.com/.
I'm pretty sure Brian O'Sullivan has written a Haskell implementation of
this for the Real
On Tue, 2007-11-20 at 12:03 -0800, Keith Fahlgren wrote:
On 11/20/07 7:35 AM, Thomas Schilling wrote:
On Tue, 2007-11-20 at 16:00 +0100, Ketil Malde wrote:
Thomas Schilling [EMAIL PROTECTED] writes:
I can all to easily imagine a situation where any documentation is
riddled
On Mon, 2007-11-19 at 12:17 -0800, Don Stewart wrote:
andrewcoppin:
Hackage seems like a nice idea in principle. However,
I think in practice too: we had no central lib archive or dependency
system, now we have 400 libraries, and a package installer, 10 months
later. Until Hackage,
On Mon, 2007-11-19 at 20:29 +, Andrew Coppin wrote:
Don Stewart wrote:
Just a quick announce: the stream fusion library for lists,
that Duncan Coutts, Roman Leshchinskiy and I worked on earlier this year
is now available on Hackage as a standalone package:
On Mon, 2007-11-19 at 21:22 +, Andrew Coppin wrote:
Where is the correct place for Cabal bugs?
This and other questions are explained at .. *drumroll* .. the Cabal
Homepage!! -- http://www.haskell.org/cabal/
:)
___
Haskell-Cafe mailing list
On Sun, 2007-11-18 at 19:37 -0500, Berlin Brown wrote:
On Nov 18, 2007 7:32 PM, Berlin Brown [EMAIL PROTECTED] wrote:
I am sure many of you have looked at the scheme in haskell example that
is on the web by Jonathan Tang. If you are familiar with the code, I
need a little help trying to add
On Tue, 2007-11-13 at 13:08 -0800, Donn Cave wrote:
On Tue, 13 Nov 2007, Neil Mitchell wrote:
This depends on whether you are an expression style or declaration
style programmer.
http://www.haskell.org/haskellwiki/Declaration_vs._expression_style
On Sat, 2007-11-10 at 17:50 -0600, Galchin Vasili wrote:
Hello,
What is the proposed table of contents for Real World Haskell?
http://www.realworldhaskell.org/blog/2007/05/23/real-world-haskell-its-time/
as of May 2007
___
Haskell-Cafe
On Fri, 2007-11-09 at 10:59 -0500, Taylor Venable wrote:
Hello all,
I've written a little Haskell program to get information from a MySQL
database (great thanks to anybody reading this who works on HSQL, by
the way) but I want to keep the user's password concealed, obviously.
Currently I
On Thu, 2007-11-08 at 12:57 +0900, Daisuke IKEGAMI wrote:
Hello emacsen users,
Here is a setting to check your Haskell code /on-the-fly/
with 'flymake-mode'.
(require 'flymake)
;; flymake for Haskell
(defun flymake-Haskell-init ()
(flymake-simple-make-init-impl
On Thu, 2007-11-08 at 00:56 +0100, [EMAIL PROTECTED]
wrote:
Don't shoot me...
The last exchange with Andrew Bromage made me recall a homework which was
given to some students by a particularly nasty teacher I happen to know.
The question is to generate the whole infinite Rabbit Sequence
On Fri, 2007-11-09 at 00:51 +0600, Mikhail Gusarov wrote:
Dan Piponi [EMAIL PROTECTED] writes:
Even though 'n' is 10 times bigger in the C program it runs much
faster than the Haskell program on my MacBook Pro with Haskell 6.6.1.
I've tried lots of different combinations of flags that
On Thu, 2007-11-08 at 18:34 +, Andrew Coppin wrote:
Neil Mitchell wrote:
Windows and Haskell is not a well travelled route, but if you stray of
the cuddly installer packages, it gets even worse.
Is that why Cabal packages never ever install on Windows?
Could you be more specific
On Thu, 2007-11-08 at 10:33 -0800, Dan Piponi wrote:
I see lots of shootout examples where Haskell programs seem to perform
comparably with C programs, but I find it hard to reproduce anything
like those figures when testing with my own code. So here's a simple
case:
I have this C program:
On Thu, 2007-11-08 at 10:33 -0800, Dan Piponi wrote:
I see lots of shootout examples where Haskell programs seem to perform
comparably with C programs, but I find it hard to reproduce anything
like those figures when testing with my own code. So here's a simple
case:
I have this C program:
On Thu, 2007-11-08 at 16:24 -0800, Stefan O'Rear wrote:
On Thu, Nov 08, 2007 at 07:57:23PM +0100, Thomas Schilling wrote:
$ ghc --make -O2 ghc-bench.hs
and got:
$ time ./ghc-bench
2.0e7
real0m0.714s
user0m0.576s
sys 0m0.132s
$ time ./ghcbC
On Tue, 2007-11-06 at 19:20 -0800, Michael Vanier wrote:
It looks as if hoogle isn't working. I get 404s whenever I try to do any
search on hoogle.
Mike
Yes, that's because the ghc-docs now have been slightly reorganized.
Neil said he's working on it.
On Tue, 2007-11-06 at 09:18 -0500, Graham Fawcett wrote:
Hi folks,
Is there a way to declare a 'toString' function, such that
toString x | x is a String = x
toString x | x's type is an instance of Show = show x
Perhaps, in the type system, there's a way to declare a ToString
class, and
On Tue, 2007-11-06 at 10:32 +1030, Levi Stephen wrote:
Hi,
I'm was wondering how most people work during when designing a functional
program. Do you create data structures/types first? Do you work from some
type
signatures?
As others have mentioned: both. But there's a third thing that
On Sat, 2007-10-27 at 18:48 -0400, Isaac Dupree wrote:
When I try to go to one of the Module.hs files, e.g. on
darcs.haskell.org, it now has type HS and Firefox refuses to display it
(and only lets me download it). Does anyone know how to make Firefox
treat certain file types as others (HS
On Tue, 2007-10-09 at 17:40 +0200, Johan Tibell wrote:
On 10/9/07, David Benbennick [EMAIL PROTECTED] wrote:
On 10/9/07, Johan Tibell [EMAIL PROTECTED] wrote:
data Rope = Empty
| Leaf
| Node !Rope !Rope
The point is that Empty
can only appear at the top by
On Tue, 2007-09-18 at 18:13 +0200, Thomas Girod wrote:
Hi there. Beeing rather new to the realm of Haskell and functional
programming, I've been reading about how is easier it is to
parallelize code in a purely functional language (am I right saying
that ?).
My knowledge of parallelization
On Fri, 2007-09-14 at 10:42 +1200, ok wrote:
I wrote:
Since not all Turing machines halt, and since the halting problem is
undecidable, this means not only that some Haskell programs will make
the type checker loop forever, but that there is no possible meta-
checker that could warn us
On Thu, 2007-09-13 at 15:58 -0700, Don Stewart wrote:
clawsie:
has anyone ever considered using llvm as a infrastructure for haskell
compilation? it wold seem people are looking at building frontends for
scheme, ocaml, etc. i don't know if an alternate backend is
appropriate, but it would
On Thu, 2007-09-13 at 15:55 -0700, brad clawsie wrote:
has anyone ever considered using llvm as a infrastructure for haskell
compilation? it wold seem people are looking at building frontends for
scheme, ocaml, etc. i don't know if an alternate backend is
appropriate, but it would seem to be
On Mon, 2007-09-10 at 11:10 +0100, Jules Bean wrote:
The docs are not as well interlinked as you might hope.
In fact, the docs on hackage are interlinked nicely. That is, for
packages for which the documentation builds.
___
Haskell-Cafe mailing list
On Mon, 2007-09-10 at 16:17 +0100, Jules Bean wrote:
Thomas Schilling wrote:
On Mon, 2007-09-10 at 11:10 +0100, Jules Bean wrote:
The docs are not as well interlinked as you might hope.
In fact, the docs on hackage are interlinked nicely. That is, for
packages for which
On Mon, 2007-09-10 at 18:11 +0200, Sven Panne wrote:
On Monday 10 September 2007 17:17, Jules Bean wrote:
On the documentation page:
http://www.cse.unsw.edu.au/~dons/binary/Data-Binary.html
[...]
Just a small hint: That page seems to be out of date compared to:
On Mon, 2007-09-10 at 18:40 +0200, Sven Panne wrote:
Type classes might be used to get a slightly smaller API, but I am unsure
about the performance impact and how much this would really buy us in terms
of the ease of use of the API.
There shouldn't be any problem w.r.t. performance, the
On Mon, 2007-09-10 at 14:11 -0400, David Menendez wrote:
I was looking at the Data.Binary documentation[1] on Hackage, and I've
noticed some problems with the associated source listings[2].
First, none of the Source links work. They all refer to fragment IDs
(e.g., #Binary) that are not
On Mon, 2007-09-10 at 20:28 +0100, Ian Lynagh wrote:
Would it be better to have a separate page with a package index,
containing the description of each package and a link to each of the
modules that it provides?
+1
___
Haskell-Cafe mailing list
On Mon, 2007-09-10 at 19:51 +0100, Andrew Coppin wrote:
Brent Yorgey wrote:
And if you use Firefox, you can even install Hoogle as one of the
search engines in the upper-right search box. Nice and fast!
I've never really understood what the benefit of this is... I mean,
Google make the
On 20 aug 2007, at 18.37, Thomas Hartman wrote:
cafe, is there a way to patch the build-depends line of a cabal
file without breaking backwards compatibility?
I just patched HDBC head to compile under ghc 6.7. Unfortunately it
now won't compile in 6.6.1.
is there a way for
On 20 aug 2007, at 20.58, Thomas Hartman wrote:
Take a look at the Cabal.cabal file, how this is solved, atm.
where is this, how can I take a look at it?
http://darcs.haskell.org/cabal/Cabal.cabal
See below for a little more explaination.
The next release of Cabal (and the current
On 16 aug 2007, at 13.46, Bertram Felgenhauer wrote:
Duncan Coutts wrote:
On Wed, 2007-08-15 at 11:06 -0700, Stefan O'Rear wrote:
foo = getSomethingCPS $ \ arg -
moreStuff
is now a syntax error (\ { varid - } matches no productions).
I'm not sure I follow.
The patterns would have
On 6 aug 2007, at 22.11, Paulo J. Matos wrote:
Hi all,
I'm starting to learn haskell by my own, being currently mostly a
Common Lisp, Scheme, C++ programmer... I've got the haskell emacs mode
but can't find a manual. Moreover, I've found some keybindings on the
net but nothing that allows me
On 22 jul 2007, at 23.46, Benjamin Franksen wrote:
On a different note: I've been wondering how difficult it would be to
re-write Parsec so that it doesn't act on a /list/ of tokens but on a
Sequence (defined in Data.Collections from collections package).
Because
this would mean one could
On 29 jun 2007, at 16.26, Dave Bayer wrote:
That way you would have to use monads everywhere.
As you already hinted at in a later message, this has to do with
let-bindings being potentially polymorphic and monadic bindings
being necessarily monomorphic:
Are there papers that prove this
toInt = id
fromInt = id
?
On 28 jun 2007, at 21.16, peterv wrote:
I’m trying to get the SOE graphics library to compile for Win32
using the latest libraries.
I fixed a couple of imports, but in the file GraphicsTypes.hs, the
functions toInt/fromInt are used, which are now obsolete:
On 28 jun 2007, at 21.17, Greg Meredith wrote:
Once you have a polymorphic let, why do you need 'let' in the base
language, at all? Is it possible to formulate Haskell entirely with
do-notation where there is a standard monad for let environments?
Probably this was all discussed before
On 28 jun 2007, at 22.02, Greg Meredith wrote:
Thomas,
Thanks for the reply. My thinking was that once you have a
polymorphic form, why single out any other? Less moving parts makes
for less maintenance, etc.
Ok, sorry if my reply seemed harsh. You are of course right, that
having
]. The following example .cabal-
file should demonstrate the features (it is also available and
updated at[2]):
Name: Test1
Version: 0.0.1
Cabal-Version: = 1.1.7
License: BSD3
-- License-File: LICENSE
Author: Thomas Schilling [EMAIL PROTECTED]
Maintainer: Thomas Schilling [EMAIL PROTECTED
On 25 jun 2007, at 20.38, Andrew Coppin wrote:
Lennart Augustsson wrote:
If you don't run into graphs you are either solving very peculiar
problems, or you don't recognize them when you see them. They are
everywhere.
I see lots of *trees*, but no general graphs. (As in, *data*
That looks like a missing C macro definition. It should probably
expand to either stdcall or ccall. A bit more information would be
helpful.
On 24 jun 2007, at 13.11, Jimmy Miller wrote:
I'm trying to install HOpenGL 2.1, with ghc 6.6 on Windows XP.
runghc Setup.hs configure seems to
know right now. Is there another package I need to
install for the C FFI? Also, is there any problem in Setup.hs saying
that sh was not found?
On 6/24/07, Thomas Schilling [EMAIL PROTECTED] wrote:
That looks like a missing C macro definition. It should probably
expand to either stdcall or ccall
of GHC's extra packages?
On 6/24/07, Thomas Schilling [EMAIL PROTECTED] wrote:
No, ffi is no extra package. It would be helpful if you posted you
configure output though.
BTW, please CC the list when replying. The easiest way should be to
use the reply all feature of your mail client.
Thanks
download it.
On 6/24/07, Thomas Schilling [EMAIL PROTECTED] wrote:
On 24 jun 2007, at 19.53, Jimmy Miller wrote:
Thanks, didn't know that.
Here's the configure output:
Configuring OpenGL-2.1...
configure: C:\ghc\ghc-6.6\bin\ghc-pkg.exe
configure: Dependency base-any: using base-2.0
On 25 jun 2007, at 00.18, Jimmy Miller wrote:
I've installed ghc 6.6.1, but when I try to compile and OGL program
like this:
ghc -package GLUT ogl.hs
I get the error:
Failed to load interface for `GLUT':
Use -v to see a list of the files searched for.
I tried running -v, but it
, rts-1.0, stm-2.0,
template-haskell-2.1, time-1.1.1, xhtml-3000.0.2
I tried using --make, but ghc said could not find module GL
On 6/24/07, Thomas Schilling [EMAIL PROTECTED] wrote:
On 25 jun 2007, at 00.18, Jimmy Miller wrote:
I've installed ghc 6.6.1, but when I try to compile and OGL
On 22 jun 2007, at 22.17, Derek Elkins wrote:
[blah blah blah]
A less (potentially) offensive way of formulating this is:
[...]
or
-snip-
(You know, we don't want to accidentally piss of any newcomers. So
just saying .. :)
___
On 18 jun 2007, at 18.31, Jaap Weel wrote:
If you want to install into a nonstandard directory, do
runhaskell Setup.hs configure --prefix /bla/di/bla
Are you sure this works? I think it is important that there be no
whitespace between flag and parameter:
runhaskell Setup.hs
On 18 jun 2007, at 16.01, Pasqualino 'Titto' Assini wrote:
Having just presented a case for the possible rationality of the
irrational
decision of creating an Emacs-like IDE in Haskell, I wonder if we
should not
be even more irrational and contemplate the possibility of using
Haskell to
On 15 jun 2007, at 18.13, Jim Burton wrote:
import qualified Data.ByteString.Char8 as B
Have you tried
import qualified Data.ByteString.Lazy.Char8 as B
?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On 15 jun 2007, at 21.14, Jim Burton wrote:
Thomas Schilling wrote:
On 15 jun 2007, at 18.13, Jim Burton wrote:
import qualified Data.ByteString.Char8 as B
Have you tried
import qualified Data.ByteString.Lazy.Char8 as B
?
No -- I'll give it a try and compare them. Is laziness preferable
Yes this is kind of sad. FWIW, here's how I currently approximate
these features using Emacs + Haskell mode:
On 15 jun 2007, at 23.38, [EMAIL PROTECTED] wrote:
I've searched the internet for an Haskell IDE that supports the
following:
- syntax highlighting
haskell mode
- cross module
On 6/11/07, Andrew Coppin [EMAIL PROTECTED] wrote:
Of course, our biggest mistake was using the word 'monad'. We should
have called it 'warm fuzzy thing'...
You know that thing called Google? ;)
http://lambda-the-ultimate.org/node/92
Among others.
On 5/31/07, Stefan Holdermans [EMAIL PROTECTED] wrote:
Dan,
If you want to enforce associativity just create your own Eq
instance and
make it a pattern there.
Could you elaborate on that? It's still early here and I've had only
one cup of of coffee yet.
Cheers,
Stefan
QuickCheck
Have you tried cabal-install? It may or may not work. (It should
have come with Cabal.)
On 5/31/07, jeff p [EMAIL PROTECTED] wrote:
Hello,
I just moved to ghc-6.6.1and was wondering if there is an automatic
way to update the various packages I had installed previously.
thanks,
jeff
On 5/31/07, Felipe Almeida Lessa [EMAIL PROTECTED] wrote:
BTW, how do you usually proceed when finding out why your code said
Segmentation fault.? (should this question move to a new thread?)
$ gdb my_crashing_program
[wait till crush]
[on the gdb command line:]
$ bt
[prints backtrace]
If
I bring this up because I have been working on a Scheme compiler in
Haskell for fun, and something like polymorphic variants would be quite
convinent to allow you to specify versions of the AST (input ast, after
closure conversion, after CPS transform, etc.), but allow you to write
functions that
See the examples/RedBook directory in the source code. It gives you a
good idea how the C-idioms are translated.
For an actual documentation on OpenGL you'll better take a look at
general OpenGL literature and translate them into Haskell. Note that
it's quite complex, though.
On 5/31/07, Jon
On 5/27/07, Andrew Coppin [EMAIL PROTECTED] wrote:
map :: (a - b) - [a] - [b]
map :: (a - b) - ([a] - [b])
Which is beautifully symmetric. Alternatively, you can think about how
you actually use it:
map :: ((a - b) - [a]) - [b]
No, now you're confusing things. The uncurried function
Hello Cafe!
I'd greatly appreciate any ideas/comments on the design of the
interface to the Network.HTTP library with a LazyByteString (LBS)
backend.
As has been discussed previously on this list [1] lazy evaluation can
complicate resource management, which is especially critical if
resources
On 5/24/07, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote:
Why do you need to convert Socket to Handle?
Initially, we chose to use socketToHandle for simplicity reasons--why
duplicate functionality if we can reuse it? After Simon Marlow's
comment that my reason to assume it inappropriate does no
Your rant accomplishes nothing. Just note that programmers can
generally be considered more open towards harder-to-learn but
eventually more efficient to use interfaces. Yes, to a large part
they lack visibility, consistency, integration, or other such
properties; then again, once you learn to
If I'm doing development between ghci and vim, all the different
dependencies I need get linked in when required without me asking.
Similarly if I call ghc --make from the command line. But I have to
write them in manually to my *.cabal file otherwise the compilation
process will fail.
Until
By dependencies I
meant, library packages that GHC knows about.
For example, if I load something simple like
import System.Posix.Files
main = touchFile example
into GHCi and execute :main it prints
Loading package unix-1.0 ... linking ... done.
Oh, right. Well, then please file it as
On 3 maj 2007, at 17.53, Duncan Coutts wrote:
This is not a Cabal bug. By design, Cabal does not just pick up any
packages from the environment like --make does. One of the main points
of Cabal is to be able to explicitly track dependencies of a
package, so
we do require that they all be
On 1 maj 2007, at 06.12, [EMAIL PROTECTED] wrote:
We see it is a value polymorphic over four type variables: ns, a, b,
and c. The type variable 'a' is also the type of the value, so we have
a way to instantiate it. There is no direct way to instantiate the
remaining three. If there were a
Hi,
I have a type class similar to this one.
data T
class Foo ns a b c | ns - a, ns - b, ns - c where
mkFoo :: ns
defaultA :: a
defaultB :: c - IO b
defaultC :: [T] - c
f :: c - b - a - (b, Int)
The idea is, that I define classes of components where the data types
of the
Additionally, as a safety net, you might want to type-check the code
that's being produced by your Arbitrary instances and state some
invariants on your code. Also, you'll likely want to limit your
number of evaluation steps if your language allows non-terminating
programs.
In any case,
201 - 279 of 279 matches
Mail list logo
