[snip]
Without the equivalent Haskell source code, the code must be manually
translated from Standard ML into Haskell. Does anybody know why the link
is broken, when it may be fixed, and from where the Haskell source code
can be currently obtained?
Benjamin L. Russell
If you are
On Thursday 10 April 2008 01:20:49 pm Matt Amos wrote:
I'm trying to break out of my imperative mind-set by learning Haskell
in small snippets. After a few successes I've hit a bit of a
roadblock with one of the classic dynamic programming problems, the
longest increasing subsequence:
On Thursday 13 March 2008 07:33:12 pm Aaron Denney wrote:
[snip]
I've seen mention of difficulties with Data.Map, and edison, but not
in enough detail to really grasp what the problems are. Until I do, my
natural bias (which I'm trying to resist, really) is that it's a matter
of lazy coding,
I'm going to try to respond the the main practical question in this message;
perhaps others will feel up to addressing the more philosophical aspects.
(I see now that Cale has beaten me to the punch, but I guess I'll post this
anyways...)
Greetings Haskellers,
[snip quite a bit of discussion]
Fellow Haskellers,
The following packages have now all been updated to compile correctly with GHC
6.8.x and Cabal 1.2.x. Cabal 1.2 is now supported and required. GHC 6.6.x
and 6.8.x are supported.
I would also like to announce that these projects are now hosted from a new
web home. If you
[snip]
I recently withdrew from this project and offered up the libs I'd been
working on as they are for a new owner. Didn't get any takers though
(no surprises there!). I've always found the lack of apparent interest
in all this somewhat puzzling myself. It's not as if there's no latent
On Monday 06 August 2007 19:23, Rahul Kapoor wrote:
Most examples for defining algebraic types include data constructors like
so:
data Tree a = Tip | Node a (Tree a) (Tree a)
I by mistake defined a type which did not specify a data constructor :
In this example, you have two different uses
On Mar 28, 2007, at 2:44 PM, Benjamin Franksen wrote:
Robert Dockins wrote:
After taking a look at the Haddock docs, I was impressed by the
amount of
repetition in the APIs. Not ony does Data.CompactString duplicate
the
whole
Data.ByteString interface (~100 functions, adding some more
On Wednesday 28 March 2007 17:08, Benjamin Franksen wrote:
Robert Dockins wrote:
Some sort of in-langauge or extra-language support for mechanicly
producing
the source files for the full API from the optimized core API
would be
quite welcome.
Have you considered using DrIFT? IIRC
On Friday 23 March 2007 18:55, Benjamin Franksen wrote:
[sorry for the somewhat longer rant, you may want to skip to the more
technical questions at the end of the post]
Twan van Laarhoven wrote:
I would like to announce version 0.3 of my Data.CompactString library.
Data.CompactString is a
On Mar 20, 2007, at 9:53 AM, Malcolm Wallace wrote:
Ian Lynagh [EMAIL PROTECTED] wrote:
data Fin a = FinCons a !(Fin a) | FinNil
w = let q = FinCons 3 q
in case q of
FinCons i _ - i
is w 3 or _|_?
Knowing that opinions seem to be heavily stacked against my
On Mar 19, 2007, at 9:56 AM, Henning Thielemann wrote:
On Mon, 19 Mar 2007, Fawzi Mohamed wrote:
A practice I've seen a lot in small- to mid-sized programs is to
have
a Types module that contains definitions of the types used in the
program.
ok I will think about it
I'd avoid that and
On Saturday 10 March 2007 09:43, Joachim Breitner wrote:
Hi,
some more ideas following from the last post. I noticed how the function
Data.Maybe.maybe converts a Haskell Maybe into a Church encoded Maybe.
Also, the if construct, interpreted as a function, converts a Bool into
a church
On Feb 15, 2007, at 4:15 PM, Rob Hoelz wrote:
When I define a function and I use do to string functions together,
how
does it know when my list of functions has come to an end? For
example:
foo = do
bar
baz
other_func
bar = ...
How does it know to stop at other_func?
On Feb 12, 2007, at 11:02 AM, [EMAIL PROTECTED] wrote:
Hello,
the Advanced Monads page in the Haskell Wikibook
(http://en.wikibooks.org/wiki/Haskell/Advanced_monads) contains the
following
example of a List Monad
pythags = do
x - [1..]
y - [x..]
z - [y..]
On Feb 12, 2007, at 11:02 AM, [EMAIL PROTECTED] wrote:
Hello,
the Advanced Monads page in the Haskell Wikibook
(http://en.wikibooks.org/wiki/Haskell/Advanced_monads) contains the
following
example of a List Monad
pythags = do
x - [1..]
y - [x..]
z - [y..]
On Feb 12, 2007, at 1:31 PM, Kirsten Chevalier wrote:
On 2/11/07, Matt Roberts [EMAIL PROTECTED] wrote:
- Exactly what are the operational and denotational semantics of
core?
Since I don't think this question has been answered yet, here's a
mailing list post from Simon PJ that probably
Fellow Haskellers,
I am very pleased to announce that I recently completed the degree
requirements for my master's. As a part of those requirements, I undertook
research that may be of interest to those of you subscribed to this list. My
research involved designing and implementing a type
On Feb 9, 2007, at 9:20 AM, Dougal Stanton wrote:
Hi folks,
I recently read in my copy of Concrete Mathematics the relationship
between prime factors powers and lcm/gcd functions. So I decided to
reimplement gcd and lcm the long way, for no other reason than because
I could.
If you look at
On Sunday 04 February 2007 14:24, Nicolas Frisby wrote:
I've always thought that when certain operations are of particular
interest, it's time to use more appropriate data structures, right?
Lists are great and simple and intuitive, but if you need such
operations as shifts, something like a
On Tuesday 30 January 2007 20:06, Bryan Donlan wrote:
Daniel McAllansmith wrote:
Hello.
Given:
newtype Dist a = D {unD :: [(a,Int)]}
instance Monad Dist where
return x = D [(x,1)]
d = f = D [(y,q*p) | (x,p) - unD d, (y,q) - unD (f x)]
fail _ = D []
How would one
On Tuesday 30 January 2007 19:02, Bulat Ziganshin wrote:
Hello Tim,
Saturday, January 27, 2007, 10:23:31 PM, you wrote:
Humm. While I can accept that this is a valid criticism of Haskell's
monadic structure for dealing with I/O, I fail to see how it could drive
a decision to prefer an
On Sunday 28 January 2007 23:19, Matthew Brecknell wrote:
On Wed, 24 Jan 2007 10:41:09 -0500, Robert Dockins wrote:
newtype Mu a = Roll { unroll :: Mu a - a }
omega :: a
omega = (\x - (unroll x) x) (Roll (\x - (unroll x) x))
fix :: (a - a) - a
fix f = (\x - f . (unroll x) x) (Roll
On Friday 26 January 2007 22:14, Tim Newsham wrote:
impractical language, only useful for research. Erik Meijer at one point
states that programming in Haskell is too hard and compares it to
assembly programming!
He brings up a very good point. Using a monad lets you deal with
side
On Jan 25, 2007, at 6:57 AM, Yitzchak Gale wrote:
Scott Turner wrote:
Paul B. Levy's studies of call-by-push-value model strictness/
laziness using
a category theoretic approach.
That sounds interesting. Do you have a reference for that?
http://www.cs.bham.ac.uk/~pbl/papers/
The first
On Jan 24, 2007, at 8:27 AM, Lennart Augustsson wrote:
Well, I think fix destroys parametricity too, and it would be better
to get rid of fix. But I'm not proposing to do that for Haskell,
because I don't have a viable proposal to do so. (But I think the
proposal would be along the same
On Wednesday 24 January 2007 20:20, Stefan Monnier wrote:
FYI, don't try to run this in GHC, because it gives the simplifier fits.
You mean it triggers a bug in the inliner?
http://www.haskell.org/ghc/docs/latest/html/users_guide/bugs.html
Third bullet in secion 12.2.1.
I gather that GHC
On Jan 23, 2007, at 2:09 PM, Brandon S. Allbery KF8NH wrote:
Can someone explain to me, given that (a) I'm not particularly
expert at maths, (b) I'm not particularly expert at Haskell, and
(c) I'm a bit fuzzybrained of late:
Given that _|_ represents in some sense any computation not
On Jan 12, 2007, at 10:58 AM, Chad Scherrer wrote:
Hi,
I'd like to be able to use randomIO, but I'm working within the
context of STM. Is there a way to get these working together happily?
For now, I guess I could kludgingly use unsafePerformIO inside STM
(it's the other way around that's
Fellow Haskellers,
I am pleased to simultaneously announce the immediate release of the following
related packages:
Shellac, 0.6
Shellac-readline, 0.3
Shellac-vty, 0.1
Shellac is a framework for building read-eval-print style shells which uses
configurable backend plugins.
The major new
On Dec 19, 2006, at 10:11 PM, Dan Weston wrote:
instance CommandFunction (Sh st ()) st where
^
I think your first argument (on which the second has a functional
dependence) does not determine the second argument, since it makes
use of st in the first
On Dec 20, 2006, at 2:37 PM, Joachim Durchholz wrote:
Ross Paterson schrieb:
It might be not feasible though. The papers mention that you
can't serialize (well, actually unserialize) function values with
it. For the envisioned update-through-marshalling process, this
would prevent me
Fellow Haskellers,
I am pleased to announce the 1.2.1 release of Edison. Edison is a
library of efficient, purely-functional data structures in Haskell.
Notable changes from version 1.2.0.1:
* A new sequence implementation based on finger trees (similar to
Data.Sequence in the base
On Nov 28, 2006, at 7:46 AM, Slavomir Kaslev wrote:
Hello,
I have to define a couple of float2, float3, float4 Cg, HLSL style
vectors in Haskell. At first I was tempted to make them instances of
Num, Floating, RealFrac, etc. but some of the functions defined in
those classes have no sense for
On Nov 17, 2006, at 12:36 PM, Valentin Gjorgjioski wrote:
Is some kind of collection of object with different types in
Haskell exist? Except the tuples, which have fixed length.
I find this
* Tuples heterogeneous, lists homogeneous.
* Tuples have a fixed length, or at least their
On Nov 15, 2006, at 9:48 AM, Jón Fairbairn wrote:
Simon Peyton-Jones [EMAIL PROTECTED] writes:
| The problem I see is that head/fromJust errors are usually
|caused by *beginner* Haskellers, who don't know the
|techniques for statically avoiding them.
I don't agree. My programs have
On Wednesday 15 November 2006 15:53, John Hughes wrote:
From: Robert Dockins [EMAIL PROTECTED]
It seems to me that every possible use of a partial function has some
(possibly imagined) program invariant that prevents it from failing.
Otherwise it is downright wrong. 'head', 'fromJust
On Nov 8, 2006, at 3:58 AM, [EMAIL PROTECTED] wrote:
Lennart Augustsson wrote:
On Nov 7, 2006, at 11:47 ,
[EMAIL PROTECTED] wrote:
Henning Thielemann wrote:
On Tue, 7 Nov 2006, Simon Marlow wrote:
I'd support fractional and negative fixity. It's a simple
change to
make, but we also
On Tuesday 07 November 2006 17:32, Lennart Augustsson wrote:
On Nov 7, 2006, at 11:47 , [EMAIL PROTECTED] wrote:
Henning Thielemann wrote:
On Tue, 7 Nov 2006, Simon Marlow wrote:
I'd support fractional and negative fixity. It's a simple change to
make, but we also have to adopt
[Please direct disccusion to the yhc list]
Fellow Haskellers,
I am pleased to announce the release of the Yhc Bytecode library,
version 0.3. The major differences from version 0.2 are:
* Updated to work with the current Yhc development branch as of
2006-10-13
* API modified to fully
On Oct 17, 2006, at 1:46 PM, Gregory Wright wrote:
On Oct 17, 2006, at 1:07 PM, Robert Dockins wrote:
On Oct 17, 2006, at 12:55 PM, Gregory Wright wrote:
Hi Rob,
I've built Edison 1.2.0.1 using ghc-6.6. (I'm testing the macports,
formerly darwinports, packages for the new 6.6 release
On Oct 17, 2006, at 12:21 PM, Víctor A. Rodríguez wrote:
Hi all,
I'm really newbie to Haskell, and working on a program I'm trying
to make
some testing.
I make some test on certain know values ( e.g. adding 10 to 15 must
return
25) and some test on random values (eg. adding rnd1 to rnd2
On Oct 17, 2006, at 12:55 PM, Gregory Wright wrote:
Hi Rob,
I've built Edison 1.2.0.1 using ghc-6.6. (I'm testing the macports,
formerly darwinports, packages for the new 6.6 release.)
The build goes fine, but the ./Setup register fails claiming that
the directory
On Oct 17, 2006, at 1:37 PM, Víctor A. Rodríguez wrote:
What's wrong with doing it this way?
-- ** UNTESTED CODE **
verifyAdd :: Int -gt; Int -gt; Int -gt; Bool
verifyAdd a b sum | a + b == sum = True
otherwise = False
testAddMundane :: Int -gt; Int -gt; Bool
testAddMundane a b = verifyAdd
On Saturday 14 October 2006 13:13, Ketil Malde wrote:
Robert Dockins [EMAIL PROTECTED] writes:
slowFunctionCacheList= [slowFunction (i) | i -[0..500]]
and use slowFunctionCacheList !! i instead of slowFunction (i)
Not much different in principle, but better in practice - you could
On Friday 13 October 2006 16:15, Ketil Malde wrote:
Silviu Gheorghe [EMAIL PROTECTED] writes:
slowFunctionCacheList= [slowFunction (i) | i -[0..500]]
and use slowFunctionCacheList !! i instead of slowFunction (i)
i am still curious about a better method (and a general one)
Not much
On Oct 11, 2006, at 10:14 AM, Malcolm Wallace wrote:
Matthias Fischmann [EMAIL PROTECTED] wrote:
No, your Fin type can also hold infinite values.
let q = FinCons 3 q in case q of FinCons i _ - i == _|_
does that contradict, or did i just not understand what you are
saying?
That may be
On Oct 11, 2006, at 11:14 AM, Ross Paterson wrote:
On Wed, Oct 11, 2006 at 11:04:49AM -0400, Robert Dockins wrote:
let q = seq q (FinCons 3 q) in q(beta)
We have (from section 6.2):
seq _|_ y = _|_
seq x y = yiff x /= _|_
Now, here we have an interesting
On Oct 10, 2006, at 12:04 PM, Seth Gordon wrote:
data Secret a = Secret {password :: String, value :: a}
classify :: String - a - Secret a
classify = Secret
declassify :: String - Secret a - Maybe a
declassify guess (Secret pw v) | guess == pw = Just v
On Thursday 05 October 2006 16:51, Lyle Kopnicky wrote:
Robert Dockins wrote:
On Wednesday 04 October 2006 16:16, Lyle Kopnicky wrote:
Robert Dockins wrote:
Whats the output of
ghc-pkg -l
?
[EMAIL PROTECTED]:~$ ghc-pkg -l
/usr/local/lib/ghc-6.5.20060924/package.conf
On Tuesday 03 October 2006 22:58, Lyle Kopnicky wrote:
Robert Dockins wrote:
On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote:
Hi folks,
I tried to build edison-1.2.0.1-sources with the command 'make system'
but got:
*** Exception: Line 10: Unknown field 'hs-source-dirs'
I
On Wednesday 04 October 2006 16:16, Lyle Kopnicky wrote:
Robert Dockins wrote:
On Tuesday 03 October 2006 22:58, Lyle Kopnicky wrote:
Robert Dockins wrote:
On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote:
Hi folks,
I tried to build edison-1.2.0.1-sources with the command 'make
On Tuesday 03 October 2006 22:00, Lyle Kopnicky wrote:
Hi folks,
I tried to build edison-1.2.0.1-sources with the command 'make system'
but got:
*** Exception: Line 10: Unknown field 'hs-source-dirs'
I am using GHC 6.4.1. Any idea how to fix this?
You are probably using an older version
On Sep 28, 2006, at 8:47 PM, David Curran wrote:
Sorry if this comes across as the rant it is. If you are interested in
doing useful stuff rather then navel gazing please stop here.
Where are compute languages going?
I think multi core, distributed, fault tolerant.
So you would end up with a
On Tuesday 26 September 2006 16:44, Lyle Kopnicky wrote:
Hi folks,
I'm competing in a contest at work, and we're allowed to use whatever
language we want. I decided this was my chance to prove to people that
Haskell was up to the challenge. Unfortunately, I ran into performance
problems.
On Sep 19, 2006, at 8:52 AM, Conor McBride wrote:
Hi folks
[EMAIL PROTECTED] wrote:
Btw, why are there no irrefutable patterns for GADTs? I mean, such
a sin
should be shame for a non-strict language...
Just imagine
data Eq a b where Refl :: Eq a a
coerce :: Eq a b - a - b
coerce
On Friday 15 September 2006 12:45, David House wrote:
On 15/09/06, Haihua Lin [EMAIL PROTECTED] wrote:
Is there a way to define it in Haskell?
Note that the function 'fix' (find the fixpoint of a function) already
exists in Haskell, and is equivalent to the Y combinator.
It's interesting
On Friday 15 September 2006 14:48, Michael Shulman wrote:
On 9/15/06, Robert Dockins [EMAIL PROTECTED] wrote:
You can define a direct fixed point combinator
without relying on nominal recursion in Haskell, but it requires you to
define a helper newtype.
That's really nifty! I'd been
On Sep 8, 2006, at 6:30 AM, David Tolpin wrote:
Hi,
I'm trying to use xmlrpc module with hugs. The problems are not
really related to this particulare module, so the question is here.
A module generated from the DTD for XML-RPC by HaXml contains
import in the following form:
import
On Sep 7, 2006, at 9:04 AM, Lennart Augustsson wrote:
Brian,
Are you really sure Haskell compilers do that optimization?
I would regard a compiler that does optimizations that are
justified by laws that the compiler cannot check as broken.
What, like list fusion?
;-)
Although, more
Hello all,
I've discovered that GHC doesn't deal very well with the following
program. It appears to diverge when running the following program
with 'runghc'. The main compiler can also be persuaded to diverge in
a similar fashion. Hugs exhibits correct behavior, ie, it prints
hello.
-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Robert Dockins
| Sent: 05 September 2006 20:48
| To: glasgow-haskell-users@haskell.org
| Subject: GHC non-termination
|
| Hello all,
|
| I've discovered that GHC doesn't deal very well with the following
On Friday 01 September 2006 11:44, Neil Mitchell wrote:
Hi
func2 f g l = filter f (map g l)
is
func2p f g = (filter f) . (map g)
func2 = (. map) . (.) . filter
Again, how anyone can come up with a solution like this, is entirely
beyond me...
To answer part of the OP's question, it's
On Friday 01 September 2006 15:19, Tamas K Papp wrote:
Hi,
I am newbie, reading the Gentle Introduction. Chapter 7
(Input/Output) says
Pragmatically, it may seem that getContents must immediately read an
entire file or channel, resulting in poor space and time performance
under
On Friday 01 September 2006 16:46, Duncan Coutts wrote:
On Fri, 2006-09-01 at 16:28 -0400, Robert Dockins wrote:
On Friday 01 September 2006 15:19, Tamas K Papp wrote:
Hi,
I am newbie, reading the Gentle Introduction. Chapter 7
(Input/Output) says
Pragmatically, it may seem
On Friday 01 September 2006 18:01, Donn Cave wrote:
On Fri, 1 Sep 2006, Robert Dockins wrote:
On Friday 01 September 2006 16:46, Duncan Coutts wrote:
...
Note also, that with lazy IO we can write really short programs that are
blindingly quick. Lazy IO allows us to save a copy through
So getting the value out of the monad is not a pure function (extract ::
Monad m = m a - a). I think I stated that, already, in my previous post.
I'd even say that the monadic values alone can be completely meaningless.
They often have a meaning only relative to some environment, thus are
On Aug 25, 2006, at 6:27 AM, Xiong Yingfei wrote:
Hi,
I am trying out Alex. I copied the calculator specification file
from Alex's official document and changed the wrapper type from
basic to monad. However, after I generated the .hs file from
the lexical specification and compiled the
On Aug 25, 2006, at 6:50 PM, Misha Aizatulin wrote:
hi,
the Haskell Report 10.4 says that
The result of show is readable by read if all component types are
readable
however if I define a type like
data T = A | T `And` T deriving (Read, Show)
then
*Main show $ A `And` A
A And A
On Aug 23, 2006, at 10:16 AM, George Young wrote:
[linux, ghci 6.4.3.20060820, hugs May 2006]
I have just started learning Haskell. I have hugs and ghci under
linux, and I'm going through the Gentle Introduction to
Haskellhttp://www.haskell.org/tutorial, so far through section 4,
case
On Aug 23, 2006, at 3:37 PM, Henk-Jan van Tuyl wrote:
L.S.,
Reading and writing a comma seperated datafile doesn't have to be
that complicated; the following is an easy way to read a CSV file
into a list of tuples and display the list on screen:
For every complex problem, there is a
On Aug 18, 2006, at 8:09 AM, Haihua Lin wrote:
Hi all,
How to read one char from stdin and return immediately?
I mean there is no need to wait the user input a return.
For example:
Print y/n:
Users input y, return immediately, no return need.
I have tried code as below, but it didn't work
On Aug 18, 2006, at 12:23 PM, Tim Walkenhorst wrote:
Bulat Ziganshin wrote:
i think that definitions with omitted arguments can be more hrd to
understand to newbie haskellers, especiallyones who not yet know the
language. as Tamas suggests, this page can be used to present to such
newbies
On Aug 15, 2006, at 11:43 PM, Casey Hawthorne wrote:
The Q Programming Language can do symbolic manipulation -- Haskell?
The Q Programming Language can do the following:
sqr X = X*X
==sqr 5
25
==sqr (X+1)
(X+1)*(X+1)
Can Haskell do symbolic manipulation?
Well, there's always the
On Aug 14, 2006, at 3:00 PM, Iavor Diatchki wrote:
Hello,
I never liked the decision to rename 'map' to 'fmap', because it
introduces two different names for the same thing (and I find the name
`fmap' awkward).
As far as I understand, this was done to make it easier to learn
Haskell, by
On Aug 11, 2006, at 7:40 AM, Josef Svenningsson wrote:
On 8/11/06, Robert Dockins [EMAIL PROTECTED] wrote:
My purpose today is to show that the GHC typechecker with multi-
parameter
typeclasses, functional dependencies, and undecidable instances is
Turing-
complete. Some time ago
This message is literate Haskell so you can all follow along at home.
The program developed in this message was tested on GHC 6.4.2.
My purpose today is to show that the GHC typechecker with multi-parameter
typeclasses, functional dependencies, and undecidable instances is Turing-
complete. Some
On Aug 8, 2006, at 5:36 PM, Albert Lai wrote:
Brian Hulley [EMAIL PROTECTED] writes:
Also, the bottom line imho is that Haskell is a difficult language to
understand, and this is compounded by the apparent cleverness of
unreadable code like:
c = (.) . (.)
when a normal person would
On Aug 9, 2006, at 5:27 AM, Johan Grönqvist wrote:
Hi,
I have a question:
Short version: If I want to hide the implementation of a data-type
Stack a from the rest of the program, do I need to put its
definition in a separate file?
This is the usual way, as you've probably gathered.
Sorry to jump into this thread so late. However, I'd like to take a moment
to remind everyone that some time ago I put a concrete proposal for
thread-local variables on the table.
http://article.gmane.org/gmane.comp.lang.haskell.cafe/11010
I believe this proposal addresses the initialization
On Aug 4, 2006, at 1:12 PM, Martin Percossi wrote:
Hi, I'm wondering what the rationale was for not allowing
capitalized variable names (and uncapitalized type names and
constructors). I can only think of two arguments, and IMHO both of
them are bad:
1. Enforces a naming convention.
On Aug 3, 2006, at 7:14 AM, Ahn, Ki Yung wrote:
Edision does not yet have all the asymtotic description of its
functions.
Indeed. This is a big job which requires a lot of time, attention to
detail, and a pretty good working understanding of lazy amortized
analysis. Unfortunately I'm
On Jul 31, 2006, at 10:27 PM, John Meacham wrote:
[snip]
It is best to think of haskell primitives as something completely new,
they reuse some naming conventions from OO programming, but that
doesn't
mean they suffer from the same limitations. It took me a few trys to
wrap my brain
Hello all,
There has been very recently a thread discussing the design decisions
involved in creating a sequence abstraction. This was naturally of
interest to me as the current Edison maintainer, and generated a fair
bit of interesting discussion. I'd like to kick off a new thread
On Jul 30, 2006, at 5:28 PM, Brian Hulley wrote:
Robert Dockins wrote:
On Sunday 30 July 2006 07:47, Brian Hulley wrote:
Another option, is the Edison library which uses:
class (Functor s, MonadPlus s) = Sequence s where
so here MonadPlus is used instead of Monoid to provide empty
On Sunday 30 July 2006 07:47, Brian Hulley wrote:
Hi -
Part 1 of 2 - Monoid versus MonadPlus
===
I've just run into a troublesome question when trying to design a sequence
class:
class ISeq c a | c - a where
empty :: c
single :: a - c
On Jul 26, 2006, at 12:44 AM, Sukit Tretriluxana wrote:
Dear expert Haskellers,
I am a newbie to Haskell and try to write several algorithms with
it. One of them is the string permutation which generates all
possible permutations using the characters in the string. For
example, if I
On Jul 26, 2006, at 1:47 PM, Neil Mitchell wrote:
Hi,
Perhaps instead:
directoryOf :: FilePath - String
filenameOf :: FilePath - String
extensionOf :: FilePath - String
basenaneOf :: FilePath - String
replaceFilename = joinFilePath . directoryOf
replaceDirectory = flip
I posted a message on the libraries list a couple of days ago about a
compile problem I'm having. I haven't got any nibbles. Because I
now suspect this is a GHC problem, I'm posting here to see it I can
get this resolved. Rather than repost the details, allow me to refer
you to
On Jul 14, 2006, at 12:26 PM, Esa Ilari Vuokko wrote:
On 7/14/06, Robert Dockins [EMAIL PROTECTED] wrote:
I posted a message on the libraries list a couple of days ago about a
compile problem I'm having. I haven't got any nibbles. Because I
Sorry, it slipped past me. The reason nobody
On Jul 12, 2006, at 9:18 PM, Joel Reymont wrote:
Are cool kids supposed to put the comma in front like this?
, foo
, bar
, baz
Is this for historical or other reasons because Emacs formats
Haskell code well enough regardless.
Thanks, Joel
I personally like this style. It's a
Does anyone have any information about the current status of Lrc?
Has it ever been released? Does it live somewhere else now?
The homepage is apparently: http://www.di.uminho.pt/~jas/Research/
LRC/lrc.html
It has a bunch of coming soon links, but the page hasn't been
updated since
On Saturday 08 July 2006 12:25 pm, David Roundy wrote:
Hi all,
I'm wanting to create a data structure to hold a directed acyclic
graph (which will have patches represented by edges), and haven't yet
been able to figure out a nice representation. I'd like one that can
be reasoned with
On Jul 7, 2006, at 8:57 AM, Sara Kenedy wrote:
Hello everybody,
I checked the topics in Haskell-Cafe about prefix/infix operators but
I did not find them. Now I bring my questions to here to ask you.
1) I have a Common-Lisp code representing an expression result as
follows
((MPLUS SIMP)
[moved to cafe]
On Jun 30, 2006, at 4:01 AM, Ashley Yakeley wrote:
In article
[EMAIL PROTECTED]
,
Bayley, Alistair [EMAIL PROTECTED] wrote:
Cool, that's awesome. But I don't see any Haddock docs? Or a Cabal
Setup.hs? Would it be much trouble to add them?
Bear in mind HNOP compiles just
On Sunday 25 June 2006 05:16 am, Brian Hulley wrote:
Hi -
At the moment there is a problem in that two packages P and Q could contain
the same hierarchical module eg Data.Foo, and the only way for user code to
ensure the right Data.Foo is used is to ensure that packages P and Q are
searched
On Jun 22, 2006, at 10:16 AM, Brian Hulley wrote:
minh thu wrote:
2006/6/22, Brian Hulley [EMAIL PROTECTED]:
Jerzy Karczmarczuk wrote:
Brian Hulley wrote:
[snip]
y IS NOT a longer list than yq, since co-recursive equations
without
limiting cases, apply only to *infinite* streams.
On Jun 21, 2006, at 3:30 PM, Brian Hulley wrote:
Joel Reymont wrote:
I think the issue wasn't using functional programming for large image
processing, it was using Haskell. OCaml is notoriously fast and
strict. Haskell/GHC is... lazy.
Everyone knows that laziness is supposed to be a virtue.
On Jun 19, 2006, at 11:24 AM, C Rodrigues wrote:
Here's a puzzle I haven't been able to solve. Is it possible to
write the initlast function?
There are functions init and last that take constant stack
space and traverse the list at most once. You can think of
traversing the list as
On Jun 19, 2006, at 12:50 PM, Duncan Coutts wrote:
On Mon, 2006-06-19 at 17:03 +0100, Jon Fairbairn wrote:
On 2006-06-19 at 15:24- C Rodrigues wrote:
Here's a puzzle I haven't been able to solve. Is it possible to
write the
initlast function?
There are functions init and last that
1 - 100 of 275 matches
Mail list logo