Sven Panne
writes:
> I often see a confusion between greater expresiveness (good goal) and
> having to type less (largely irrelevant goal). By all means make the module
> system more expressive, but try to avoid "clever" things for convenience.
+1
--
Jón Fairbairn
Alexander Berntsen
writes:
> [ Foo
> , Bar
> , Fu
> , Baz ]
>
> It is impossible to remove values Foo or Baz with a one line diff. It
> is additionally impossible to reasonably add a new value to the top or
> bottom of the list.
I’m not on the committee either, but here’s
Doug McIlroy d...@cs.dartmouth.edu
writes:
Not having participated in haskell' before, I'm not sure how
to put these perfecting amendments--mot langauge changes--into
the pot.
You might want to try the libraries list rather than Haskell
prime for this sort of thing.
― Jón
AntC anthony_clay...@clear.net.nz writes:
No! This isn't more bikeshedding about notation.
It's a bit of Haskell archaeology.
On Sun, Jun 30, 2013 at 2:59 AM, Judah Jacobson wrote:
[This isn't exactly what Judah wrote.]
...
Instead of `x f` (to access field x of record f),
maybe we
Andreas Abel
andreas.a...@ifi.lmu.de writes:
Proposal: add a non-recursive let to the Haskell language. In
let' p = e in e'
do { ... let' p = e ... }
the variables of pattern p are then *not* in scope in e.
Reasons for adding a non-recursive let:
1. recursive-let is the source for
Francesco Mazzoli f...@mazzo.li writes:
At Fri, 03 May 2013 16:34:28 +0200,
Andreas Abel wrote:
The answer to your question is given in Boehm's theorem, and the answer
is no, as you suspect.
For the untyped lambda-calculus, alpha-equivalence of beta-eta normal
forms is the same as
Jan Stolarek jan.stola...@p.lodz.pl writes:
Hi all,
consider this simple reimplementation of 'elem' function:
member :: Eq a = a - [a] - Bool
member _ [] = False
member y (x:xs) | x == y= True
| otherwise = member y xs
If Haskell allowed to write pattern matching
Marc Weber marco-owe...@gmx.de writes:
The only safe way is acceptnig keys from people you know don't view pdf
using adobe reader,
I don’t…
who don't browse the web (neither use flash) etc.
I only browse the web (in general) from a diskless virtual
machine.
And then still you also have to
Henk-Jan van Tuyl hjgt...@chello.nl writes:
On Wed, 06 Mar 2013 20:53:57 +0100, Obscaenvs obscae...@gmail.com wrote:
Do not forget that country names can change; e.g. the Netherlands
Antilles were split up in 2010. This might cause problems if you store
country codes in a database. If you
Alexander V Vershilov alexander.vershi...@gmail.com writes:
The problem is that Prelude.getLine uses current locale to load characters:
for example if you have utf8 locale, then everything works out of the box:
$ runhaskell 1.hs
résumé 履歴書 резюме
résumé 履歴書 резюме
But if you change locale
Rustom Mody rustompm...@gmail.com writes:
On Wed, Feb 13, 2013 at 4:17 AM, Nehal Patel nehal.a...@gmail.com wrote:
Why isn't Program Derivation a first class citizen?
---
I am stating these things from somewhat foggy memory (dont have any
lambda-calculus texts handy) and so will
Brent Yorgey byor...@seas.upenn.edu writes:
Oh, PLEASE people. Let's not have another round of bikeshedding about
this AFTER the feature is already implemented!
This is not an argument about the colour of the bikeshed. In
terms of that analogy, this has gone something like this:
Someone says
Brandon Allbery allber...@gmail.com writes:
On Sat, Dec 1, 2012 at 5:30 AM, Roman Cheplyaka r...@ro-che.info wrote:
I find this discussion useful — there are some interesting points
(splitting case of into two parts) that I don't remember reading in the
original thread (but maybe it's just
Andreas Abel andreas.a...@ifi.lmu.de writes:
I had been missing a pattern matching lambda in Haskell for
a long time (SML had fn since ages) and my typical use
will be
monadic_expr = \case
branches
We’ve been through that. I want something similar, but would
have preferred something
Ben Franksen ben.frank...@online.de writes:
just wanted to drop by to say how much I like the new lambda case extension.
I use it all the time and I just *love* how it relieves me from conjuring up
dummy variables, which makes teh code not only esier to write but also to
read.
[…] should
Yuri de Wit yde...@gmail.com writes:
Would this be relevant?
https://github.com/jonsterling/Data.Records
That looks promising, thanks. It does use rather a lot of
extensions, so it’ll take me a while to understand it.
--
Jón Fairbairn
Twan van Laarhoven twa...@gmail.com writes:
On 24/10/12 12:08, Jon Fairbairn wrote:
Is there a convenient way of handling a data structure with lots
of fields of different types that may or may not be filled in?
Not sure about convenience, but here is a type safe solution
with O(log n
Is there a convenient way of handling a data structure with lots
of fields of different types that may or may not be filled in?
Something equivalent to
data D = D {a::Maybe A, b::Maybe B, c::Maybe C, …}
but with better space efficiency and a more convenient empty
object.
An easy alternative
Albert Y. C. Lai tre...@vex.net writes:
On 12-09-30 06:33 PM, Jake McArthur wrote:
When discussing monads, at least, a side effect is an effect that is
triggered by merely evaluating an expression. A monad is an interface
that decouples effects from evaluation.
I don't understand that
Magicloud Magiclouds magicloud.magiclo...@gmail.com writes:
Hi,
For example, I have an array [0..]. Now I want to take a sub list
that starts from index 0, and only contain 4 odds, and is minimum
result. The answer should be [0, 1, 2, 3, 4, 5, 6, 7].
How to do that? Combining lazy
Jay Sulzberger j...@panix.com writes:
On Sat, 4 Aug 2012, Clark Gaebel cgae...@uwaterloo.ca wrote:
As far as I know, you can't check equivalence of _|_. Since Haskell uses
_|_ to represent a nonterminating computation, this would be
synonymouswith solving the halting
problem.
Ah, thanks.
Mikhail Vorozhtsov mikhail.vorozht...@gmail.com writes:
Hi.
After 21 months of occasional arguing the lambda-case
proposal(s) is in danger of being buried under its own trac
ticket comments. We need fresh blood to finally reach an
agreement on the syntax. Read the wiki page[1], take a look
This is probably a failure of my search fu or some other mental
lacuna, but is there already a definition of this function
somewhere:
\a b - runKleisli $ (Kleisli a) + Kleisli b
?
Hoogling for its type
MonadPlus m = (a - m b) - (a - m b) - a - m b
doesn’t net me anything useful.
--
Jón
Erik Hesselink hessel...@gmail.com writes:
On Sun, Feb 19, 2012 at 12:50, Jon Fairbairn jon.fairba...@cl.cam.ac.uk
wrote:
This is probably a failure of my search fu or some other mental
lacuna, but is there already a definition of this function
somewhere:
\a b - runKleisli $ (Kleisli
Haisheng Wu fre...@gmail.com writes:
a = [1,1,1,1]
b = [0,1,2,3]
d = [0,0,0,0]
for i in b:
for j in c:
if (i+j)3:
d[i+j] += a[i]
Do you have any cool solution in FP way?
I find the above sufficiently alien that I can’t work out what
it’s meant to do (what is it actually
and termination.
I would hope there would be, as that (or at least productivity)
is the point of saying that Haskell has non-strict semantics.
On Mon, Jan 9, 2012 at 3:01 AM,
Jon Fairbairn jon.fairba...@cl.cam.ac.uk wrote:
Perhaps what I should have said to be almost as succinct but
this time accurate
wren ng thornton w...@freegeek.org writes:
On 12/28/11 10:23 AM, Jon Fairbairn wrote:
Thiago Negrievoh...@gmail.com writes:
Lazy evaluation is one implementation of non-strict semantics, where
the arguments are evaluated only when they are needed.
I would say this:
* non-strict
Steve Horne sh006d3...@blueyonder.co.uk writes:
On 05/01/2012 11:09, Brandon Allbery wrote:
On Thu, Jan 5, 2012 at 05:57, Steve Horne
sh006d3...@blueyonder.co.uk
mailto:sh006d3...@blueyonder.co.uk wrote:
-- groupCut - Similar to groupBy, but where groupBy assumes an
equivalence
Steve Horne sh006d3...@blueyonder.co.uk writes:
On 02/01/2012 11:12, Jon Fairbairn wrote:
maxm...@mtw.ru writes:
I want to write a function whose behavior is as follows:
foo string1\nstring2\r\nstring3\nstring4 = [string1,
string2\r\nstring3, string4]
Note the sequence \r\n, which
max m...@mtw.ru writes:
I want to write a function whose behavior is as follows:
foo string1\nstring2\r\nstring3\nstring4 = [string1,
string2\r\nstring3, string4]
Note the sequence \r\n, which is ignored. How can I do this?
cabal install split
then do something like
import Data.List
Thiago Negri evoh...@gmail.com writes:
Lazy evaluation is one implementation of non-strict semantics, where
the arguments are evaluated only when they are needed.
I would say this:
* non-strict semantics require that no argument is evaluated
unless needed.
* lazy evaluation is an
Thiago Negri evoh...@gmail.com writes:
2011/12/28 Jon Fairbairn jon.fairba...@cl.cam.ac.uk:
* non-strict semantics require that no argument is evaluated
unless needed.
That's not the case on optimistic evaluation.
Oops, yes. I should have said something like “non-strict
semantics require
Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes:
On 29 November 2011 07:28, Daniel Díaz Casanueva dhelta.d...@gmail.com
wrote:
Hi Cafe,
I only feel curious about what would be the consequences of becoming the
Overloaded Strings feature (currently, an extension) to be default in
Andrew Coppin andrewcop...@btinternet.com writes:
On 23/11/2011 12:58 PM, Andrew Coppin wrote:
On 23/11/2011 10:14 AM, Jon Fairbairn wrote:
HaXml
Mmm. That looks very promising...
which gives some idea of the flavour.
OK. So it looks like processXmlWith is the function I want, if I'm
Andrew Coppin andrewcop...@btinternet.com writes:
I've got a folder with about 80 XML files in it. I want to
take each file and make specific modifications to it.
(Mostly just finding specific attributes and changing their
values to make then all consistent.)
Now I guess it wouldn't take me
Joachim Breitner m...@joachim-breitner.de writes:
Hi Cafe,
this is an idea that has been floating in my head for a while, and I’m
wondering about its feasibility and, if feasible, complexity (in the
range from „trivial“ over “blog post” over “paper” to “thesis”).
Application authors in
Roman Leshchinskiy r...@cse.unsw.edu.au writes:
On 03/09/2011, at 03:04, Ivan Lazar Miljenovic wrote:
On 3 September 2011 11:38, Evan Laforge qdun...@gmail.com wrote:
The result is that my first contact with haskell
arrays left me with the impression that they were complicated, hard to
http://xkcd.com/934/ (and look at the “hover text”) — so who’s
going to implement it?
--
Jón Fairbairn jon.fairba...@cl.cam.ac.uk
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Carl Howells chowe...@janrain.com writes:
This will affect snap-core and heist, of the things I've provided
Typeable instances for.
In snap-core, deriving makes it use the internal module name, rather
than the canonical location of the type. This causes issues with the
Hint library, so
Albert Y. C. Lai tre...@vex.net writes:
On 11-06-04 02:20 AM, Roman Cheplyaka wrote:
It is, for my taste, a good comment marker, because of its resemblance
to a dash. It makes the code look like real text:
let y = x + 1 -- increment x
COBOL is real text, if that is what you want.
MOVE
Roman Cheplyaka r...@ro-che.info writes:
* Andrew Coppin andrewcop...@btinternet.com [2011-06-03 18:12:04+0100]
On 03/06/2011 05:02 PM, Albert Y. C. Lai wrote:
I propose that only {- -} is comment; that is, -- is an operator token
and not a marker of comments.
I'm curious to know why
Daniel Fischer daniel.is.fisc...@web.de writes:
On Wednesday 17 November 2010 19:09:16, Jerzy M wrote:
Hallo,
let me take this simple function: (2*).
If I check its type
:t (2*)
I'll obtain
(2*) :: (Num a) = a - a
But now it suffices to write
g = (2*)
and check
:t g
to obtain
g
I'm probably terribly out of date with this, so I wonder if
anyone can save me the bother of working out what the
/preferred/ libraries are for (a) determining the
last-modified-time of a file or directory and (b) manipulating
the resulting time datum.
I can find
Lennart Augustsson lenn...@augustsson.net writes:
Jon, you beat me to it. I was going to mention Ponder.
Strange chance; yesterday was the first time I read haskell café
for something like half a year.
But Ponder did have a builtin type, it had the function type built in. :)
Well, to use
Andrew Coppin andrewcop...@btinternet.com writes:
The other day, I accidentally came up with this:
|{-# LANGUAGE RankNTypes #-}
type Either x y= forall r. (x - r) - (y - r) - r
left :: x - Either x y
left x f g= f x
right :: y - Either x y
right y f g= g y
|
This is
R J rj248...@hotmail.com writes:
What's an elegant definition of a Haskell function that takes
two strings and returns Nothing in case the first string
isn't a substring of the first, or Just i, where i is the
index number of the position within the first string where the
second string
Alexander Solla a...@2piix.com writes:
On May 23, 2010, at 1:35 AM, Jon Fairbairn wrote:
It seems to me relevant here, because one of the uses to which
one might put the symmetry rule is to replace an expression “e1
== e2” with “e2 == e1”, which can turn a programme that
terminates
Alexander Solla a...@2piix.com writes:
On May 22, 2010, at 1:32 AM, Jon Fairbairn wrote:
Since Bool is a type, and all Haskell types include ⊥, you need
to add conditions in your proofs to exclude it.
Not really. Bottom isn't a value, so much as an expression
for computations that don't
R J rj248...@hotmail.com writes:
I'm trying to prove that (==) is reflexive, symmetric, and
transitive over the Bools, given this definition:
(==):: Bool - Bool - Bool
x == y = (x y) || (not x not y)
Since Bool is a type, and all Haskell types include ⊥, you need
to add conditions in
John Millikin jmilli...@gmail.com writes:
Thanks for the library! I'm sure it will be very useful for people
dealing with internationalized applications / libraries. I have a few
suggestions, which might make your library easier to use and maintain.
First, it's very common to include
John Goerzen jgoer...@complete.org writes:
It is somewhat of a surprise to me that I'm making this
post, given that there was a day when I thought Haskell was
moving too slow ;-)
My problem here is that it has become rather difficult to
write software in Haskell that will still work with
Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes:
Daryoush Mehrtash dmehrt...@gmail.com writes:
Is there a way to persist a [IO ()] to say a file then retrieve it later and
execute it using a sequence function?
I'm not sure I understand what you're wanting... you can pass around
Jens Blanck jens.bla...@gmail.com writes:
On 1 April 2010 10:53, Ivan Lazar Miljenovic ivan.miljeno...@gmail.comwrote:
Jens Blanck jens.bla...@gmail.com writes:
I was wondering if someone could give me some references to
when and why the choice was made to default integral
numerical
Leon Smith leon.p.sm...@gmail.com writes:
On Sat, Mar 27, 2010 at 1:56 PM, Jason Dagit da...@codersbase.com wrote:
For some reason it started out as a male dominated field.
Let's assume for cultural reasons. Once it became a male
dominated field, us males unknowingly made the work and
Evan Laforge qdun...@gmail.com
writes:
On Mon, Mar 1, 2010 at 1:29 AM, Jon Fairbairn
jon.fairba...@cl.cam.ac.uk wrote:
Iavor Diatchki
iavor.diatc...@gmail.com writes:
Hi,
I am not sure about the rationale but if you need a program/library
which re-renders Show-able values with more spaces
Iavor Diatchki
iavor.diatc...@gmail.com writes:
Hi,
I am not sure about the rationale but if you need a program/library
which re-renders Show-able values with more spaces, so that they are
more human readable, I wrote one
(http://hackage.haskell.org/package/pretty-show). I find it very
Anthony Clayden
anthony_clay...@clear.net.nz
writes:
(I know how you're always looking for things to take out of
Haskell ...)
I can see the ugliness of having a name with two
incompatible types (especially in the same scope).
Granted.
After all, the program text declares { f :: Int }, and
Sittampalam, Ganesh
ganesh.sittampa...@credit-suisse.com
writes:
Lennart Augustsson wrote:
Of course unary minus should bind tighter than any infix operator.
I remember suggesting this when the language was designed, but the
Haskell committee was very set against it (mostly Joe Fasel I
Daniel Fischer daniel.is.fisc...@web.de writes:
Am Dienstag 15 Dezember 2009 03:04:43 schrieb Richard O'Keefe:
On Dec 14, 2009, at 5:11 PM, Daniel Fischer wrote:
1. I wasn't playing in the under_score vs. camelCase game, just
proposing a possible
reason why the camelCase may have been
Deniz Dogan deniz.a.m.do...@gmail.com writes:
2009/12/8 Jon Fairbairn jon.fairba...@cl.cam.ac.uk:
Deniz Dogan deniz.a.m.do...@gmail.com writes:
[...] allow hyphens in identifiers, much like in Lisp
languages? E.g. hello-world would be a valid function name.
I (among others) suggested
Deniz Dogan deniz.a.m.do...@gmail.com writes:
Has there been any serious suggestion or attempt to change the syntax
of Haskell to allow hyphens in identifiers, much like in Lisp
languages? E.g. hello-world would be a valid function name.
I (among others) suggested it right at the beginning
Pasqualino \Titto\ Assini tittoass...@gmail.com writes:
The syntax is similar, but what else is?
What would you expect from an empty tuple?
(a,b,c) has a constructor function p3 a b c = (a,b,c) and three
destructor functions s3_1 (a,b,c) = a, s3_2 (a,b,c) = b and s3_3 (a,b,c)=c
(a,b) has a
David Virebayre dav.vire+hask...@gmail.com writes:
On Mon, Oct 5, 2009 at 11:52 AM, Jon Fairbairn
jon.fairba...@cl.cam.ac.uk wrote:
[1] A pet peeve of mine is x supports y being used backwards (as in
our application supports windows Vista, which would only make sense if
it were something
michael rice nowg...@yahoo.com writes:
This is from Learn You A Haskell:
==
Curried functions
Every function in Haskell officially only takes one
parameter. So how is it possible that we defined and used
several functions that take more than one parameter so far?
Well, it's a
Conor McBride co...@strictlypositive.org writes:
On 20 Sep 2009, at 23:11, Jason Dusek wrote:
Some day, we're going to need a short, catchy name for Cabal
packages. Let's call them cabbages.
Not that this is a good reason to change your mind, but some
sufficiently ancient Brits may
Ketil Malde ke...@malde.org writes:
Gregory Propf gregorypr...@yahoo.com writes:
Heh, perhaps we should petition to have a new computer key and symbol
added to the world's way of writing maths, something like maybe a
downward angled slash to mean prefix (-)
Or just use 'negate' and
Raynor Vliegendhart shinnon...@gmail.com writes:
Just wondering, what should be the expected output be of something
like mavg 4 [1..3]? [3%2] or []?
[0%1, 1%4, 3%4, 3%2, 3%2, 5%4, 3%4, 0%1], of course ;-P
--
Jón Fairbairn jon.fairba...@cl.cam.ac.uk
Colin Paul Adams co...@colina.demon.co.uk writes:
Jon == Jon Fairbairn jon.fairba...@cl.cam.ac.uk writes:
Jon darcs get --partial
Jon http://homepage.ntlworld.com/jon.fairbairn/Typeful/Text/HTMLs
Did you make any progress on this at Anglo-Haskell?
Not really, owing to Microsoft site
Simon Peyton-Jones simo...@microsoft.com
writes:
| Proposal: FirstClassFieldUpdates
|
| Summary: Add some syntax that makes field updates into
| functions.
I'm wary about occupying too much syntactic space with
Haskell's named-field notation. If you had a keyword, like
update { foo = bar
A while ago I wrote this rather pedantic html library (it guarantees
standards compliance via types, even down to the nesting restrictions).
I announced it on the libraries list, but chronic fatigue gets in the
way of following things up, so I haven't taken it any further until
recently. And
I wrote:
You can get the whole thing with
darcs get --partial
http://homepage.ntlworld.com/jon.fairbairn/Typeful/Text/nHTMLs
but that was a temporary url that I copied and pasted. The correct one:
darcs get --partial
http://homepage.ntlworld.com/jon.fairbairn/Typeful/Text/HTMLs
And I
CK Kashyap ck_kash...@yahoo.com writes:
line' (x1, y1) (x2, y2) deltax deltay ystep isSteep error
| x1 == x2 = if isSteep then [(y1, x1)] else [(x1, y1)]
| isSteep =
(y1, x1) :
line' (newX, newY) (x2, y2) deltax deltay ystep isSteep newError
| otherwise =
(x1, y1) :
Henry Laxen nadine.and.he...@pobox.com writes:
It seems to me this should be easy, but I can't quite figure out
how to do it without a lot of typing. Here is the question:
Suppose you have a data type like:
Data Foo = Foo { a :: Int, b :: Int,
... many other fields ...
y :: Int }
Isaac Dupree
m...@isaac.cedarswampstudios.org
writes:
Jon Fairbairn wrote:
Parenthesis around updates would make them into functions, ie
({a=1,b=2,...}) would mean the same as (\d - d{a=1,b=2,...}), but be
more concise.
yes it is, however field updates are occasionally slightly
annoying
Neil Mitchell ndmitch...@gmail.com
writes:
Hi
Would it be proper to create a counterproposal for this syntax?
ReversedLabelledFieldSyntax?
I would claim that, of the existing Haskell code,
StricterLabelledFieldSyntax only rejects unclear (bad) code, and
requiring it be changed (to be made
According to the wiki, since I'm not a committee member, I should post
proposals here. See below my reply to Isaac's message.
Isaac Dupree
m...@isaac.cedarswampstudios.org
writes:
Jon Fairbairn wrote:
Ian Lynagh ig...@earth.li writes:
[field update] /has/ the
binding level of function
Ian Lynagh ig...@earth.li writes:
http://hackage.haskell.org/trac/haskell-prime/wiki/StricterLabelledFieldSyntax
I approve of the principle -- the binding level is confusing, but I
would far rather make a bigger change, so that rather than being
confusable with the binding level of function
Bulat Ziganshin bulat.zigans...@gmail.com writes:
Hello Neil,
Tuesday, July 21, 2009, 1:26:55 PM, you wrote:
++ [ -i | not (null (ghcOptSearchPath opts)) ]
++ [ -i, dir | dir - ghcOptSearchPath opts ]
Following the discussions, I now support this extension too - I keep
seeing more
Fernan Bolando fernanbola...@mailc.net writes:
On Sun, Jul 19, 2009 at 7:40 AM, wren ng thorntonw...@freegeek.org wrote:
Fernan Bolando wrote:
The intention is z0 is a system parameter and database, it contains a
set of info needed to define a particular simulation
A single-constructor
Henning Thielemann lemm...@henning-thielemann.de writes:
On Thu, 16 Jul 2009, Fernan Bolando wrote:
Hi all
I recently used 2 hours of work looking for a bug that was causing
Program error: Prelude.!!: index too large
A good way to avoid such problems is to avoid partial
functions at
Fernan Bolando fernanbola...@mailc.net writes:
Hi all
I recently used 2 hours of work looking for a bug that was causing
Program error: Prelude.!!: index too large
This is not very informative. It did not give me a hint which function
was causing this. In C adding a few printf would have
Fernan Bolando fernanbola...@mailc.net writes:
On Thu, Jul 16, 2009 at 4:10 PM, Jon
Fairbairnjon.fairba...@cl.cam.ac.uk wrote:
I wonder if your code has to use !! at all? I took a look at a random
module from the above link, and (without making much attempt at
understanding it), I'd guess
Matthias Görgens matthias.goerg...@googlemail.com writes:
doesn't make much sense to me yet, although I suspect I can read the mu as a
lambda on types?
Not really. The mu has more to do with recursion.
I'd say it's entirely to do with recursion. It's like the Y combinator
(or fix) for
Wolfgang Jeltsch g9ks1...@acme.softbase.org writes:
Am Freitag, 10. Juli 2009 05:26 schrieb rocon...@theorem.ca:
I find it amazing that you independently chose to spell colour with a `u'.
It makes me feel better about my choice.
I have to admit that it makes me unhappy. :-(
Why do we use
Dan Doel dan.d...@gmail.com writes:
On Thursday 02 July 2009 6:36:09 am Jon Fairbairn wrote:
check :: (MonadPlus m) = (a - Bool) - a - m a
check p a
| p a = return a
| otherwise = mzero
I've often noticed the need for a similar function in conjunction with
unfoldr
Dan Doel dan.d...@gmail.com writes:
There was talk of adding a readMaybe a while ago, but apparently it
never happened.
As it is, you can use reads, read s becomes:
case reads s of
[(a, rest)] | all isSpace rest - code using a
_ - error case
Jason Dusek jason.du...@gmail.com writes:
Why don't we have a picture of a cool dinosaur instead?
Something cool because the last heat of life went out of it
65 million years ago?
--
Jón Fairbairn jon.fairba...@cl.cam.ac.uk
Vasili I. Galchin vigalc...@gmail.com writes:
Hello,
I am confused between Haskell as delineated in the Haskell Report VS
ghc pragmas which extend Haskell beyond the Haskell Report.
Pragmas are part of the report, and while I agree that using
them for extensions is stretching the
Henning Thielemann schlepp...@henning-thielemann.de writes:
Paul Keir schrieb:
There's nothing better than making a data type an instance of Num. In
particular, fromInteger is a joy. But how about lists?
http://www.haskell.org/haskellwiki/Num_instance_for_functions
Tim Wawrzynczak inforichl...@gmail.com writes:
On Tue, Apr 28, 2009 at 8:08 PM, michael rice [1]nowg...@yahoo.com
wrote:
Hi,
My Prelude docs must be out of date because chr and ord don't seem to be
there. How do I access these functions?
Michael, those functions are not in the
Colin Paul Adams co...@colina.demon.co.uk writes:
Lennart == Lennart Augustsson lenn...@augustsson.net writes:
Lennart Of course, n+k will be missed by Haskell obfuscators. I
Lennart mean, what will we do without (+) + 1 + 1 = (+) ?
I think what would be missed would you be having
Sittampalam, Ganesh ganesh.sittampa...@credit-suisse.com writes:
Jon Fairbairn wrote:
But we can remove them in future language versions. The point I was
trying to make at the beginning of this subthread was that
implementations should follow the definition, because having a core
language
John A. De Goes j...@n-brain.net writes:
That's absurd. You have no way to access private source
code, so any decision on what features to exclude from
future versions of Haskell must necessarily look at
publicly accessible source code.
This is all entirely beside the point. The question
Miguel Mitrofanov miguelim...@yandex.ru writes:
Well, the problem is that every implementor does choose a
subset of standart to implement.
That's what I'm complaining about.
It's much worse in JavaScript - essential features working
differently in Internet Explorer, Firefox, Opera, and
Achim Schneider bars...@web.de writes:
Jon Fairbairn jon.fairba...@cl.cam.ac.uk wrote:
a...@cs.uu.nl writes:
Utrecht Haskell Compiler -- first release, version 1.0.0
The UHC team is happy to announce the first
a...@cs.uu.nl writes:
Utrecht Haskell Compiler -- first release, version 1.0.0
The UHC team is happy to announce the first public release of the
Utrecht Haskell Compiler (UHC). UHC supports almost all Haskell98
Tom.Amundsen tomamund...@gmail.com writes:
How long did it take you to become proficient in Haskell?
Something more than twenty years.
By that, I mean - how long until you were just as
comfortable with Haskell as you were with your strongest
language at that time?
Oh, Haskell was my
Conal Elliott co...@conal.net writes:
Oh -- not one version of Int for 32-bit execution and another version for
64-bit execution? Seen on #haskell today:
mux maxBound :: Int
lambdabot 9223372036854775807
I've always been opposed to having Int built in (in
contrast to having Int32 and
Warren Harris warrensomeb...@gmail.com writes:
Hi Jon,
I agree with much of your rant, and would agree that the
logo is probably the least interesting about haskell, but I
think that it's worth spending a little time to spiffy up
haskell's image from a marketing perspective.
I don't
Richard O'Keefe o...@cs.otago.ac.nz writes:
The problem we were asked about was specifically
a
aa
aaa
The code (iterate ('a':) \n) does not give the right answer.
It's not just that it produces an infinite list instead of three
strings, it doesn't even start with the right
1 - 100 of 389 matches
Mail list logo