eason
>behind some of these outputs?
When you say
:: [Word8]
what you're effectively saying is
`mod` 256
because that's what fits into a slot that's 8 bits wide.
So:
1000 `mod` 256 = 232
10000 `mod` 256 = 16
and so on.
-Steve Schafer
looking at a
patent. Although I don't know that the offending party would be liable
for triple damages. Interesting food for thought and it would be nice
if there was a clarification somewhere.
Steve
On Thu, Dec 13, 2012 at 9:58 PM, wren ng thornton wrote:
> On 12/13/12 3:14 AM, Colin Adams
Thanks everyone for your replies.
I am not wedded to GADTs or really anything else. I am going to give the
syntactic library a shot over the next few days and see if I can hack
something together.
Thanks again for the papers and libraries.
Steve
On Wed, Nov 21, 2012 at 6:10 AM, Sean Leather
eem very good.
Another possibility that I have looked at was using hoopl. It seems very
compatible given that it is built for describing and optimizing data flow
which I am doing however the learning curve looks quite steep. I have been
reluctant so far to invest the time in it.
H
My heart skipped a beat when I saw myself on here. Then I saw I was the
target. For the record I am morally opposed to inbox harvesting, although
LinkedIn keeps "recommending" that I do just that.
Steve
On Wed, Sep 12, 2012 at 11:49 AM, Brandon Allbery wrote:
> On Wed, Sep 12, 20
code has bugs.
Steve
On Sat, Aug 4, 2012 at 3:06 AM, Ketil Malde wrote:
> "Vasili I. Galchin" writes:
>
> > I am going to make an assumption except for Jane Street
> > Capital all/most "Wall Street" software is written in an imperative
> &
On 10/02/2012 03:22, Donn Cave wrote:
modifyRecord :: RecordType r => (a -> a) -> (r -> a) -> r -> r
data Config { tempo :: Int, ...}
f = modifyRecord tempo (+20)
I'm hoping I missed something, and that you don't intend the "(r -> a)"
part of this in particular to be taken li
On 07/02/2012 22:56, Richard O'Keefe wrote:
On 8/02/2012, at 2:11 AM, Steve Horne wrote:
To be fair, "field OF record" isn't bad in that sense. However, it would defeat
the purpose of TDNR - the record isn't first, and therefore cannot be used (given a
left-to-rig
On 06/02/2012 23:58, Richard O'Keefe wrote:
On 4/02/2012, at 12:13 AM, Gábor Lehel wrote:
All of this said, record.field is still the most readable, intuitive,
and familiar syntax for selecting a field from a record that I know
of.
Having learned COBOL and Algol 68 before Haskell was dreamed of
On 04/02/2012 08:46, MigMit wrote:
Well, if you want that in production, not for debugging purposes, you should
change the type signature of mergesort so that it uses some monad. Printing
requires IO monad; however, I would advise to collect all intermediate results
using Writer monad, and pri
On 03/02/2012 11:13, Gábor Lehel wrote:
The first problem is that mixing prefix and postfix function
application within the same line makes it harder to read. When you
read code to try to understand what it does, the direction you like to
go in is "here's some object, first do this to it, then do
nalysis or data
transformation pipelines in haskell.
Sorry for the length. I hope my experience is useful to someone.
Steve
On Tue, Jan 31, 2012 at 7:57 AM, Marc Weber wrote:
> Excerpts from Felipe Almeida Lessa's message of Tue Jan 31 16:49:52 +0100
> 2012:
> > Just out of curiosity
On 30/01/2012 07:09, Donn Cave wrote:
((separate . crack . .smallEnd) egg).yolk
(f egg).yolk where f = separate . crack . .smallEnd
Scary - that ".smallEnd" worries me. It's like a field is being
referenced with some magical context from nowhere.
Obviously I need to read that full proposal.
On 30/01/2012 04:23, Steve Horne wrote:
On 28/01/2012 13:00, Paul R wrote:
AntC> Steve, I think that proposal has been rather superseeded by
AntC>
http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields,
which
AntC> draws on TDNR. But SORF is best seen as an evolvi
On 28/01/2012 13:00, Paul R wrote:
AntC> Steve, I think that proposal has been rather superseeded by
AntC> http://hackage.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields,
which
AntC> draws on TDNR. But SORF is best seen as an evolving design space, with
precise
AntC>
Lesson = don't open e-mail client while borderline asleep.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 25/01/2012 16:13, R J wrote:
hello Haskell the holidays are coming up soon and I think this can help
http://www.news13open.com
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
_
There's a proposal at the moment to add support for TDNR to Haskell - to
leverage "the power of the dot" (e.g. for intellisense).
http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution
I approve of the goal, but I'd like to suggest a different approach.
My basic idea is
On 21/01/2012 18:08, Steve Horne wrote:
Even so, to see that strictness isn't the issue, imagine that (>>=)
were rewritten using a unary executeActionAndExtractResult function.
You could easily rewrite your lamba to contain this expression in
place of x, without actually eval
On 21/01/2012 17:29, Victor S. Miller wrote:
The "do" notation translates
do {x<- a;f} into
a>>=(\x -> f)
However when we're working in the IO monad the semantics we want requires that
the lambda expression be strict in its argument. So is this a special case for
IO? If I wanted this beh
On 11/01/2012 15:20, Thomas Schilling wrote:
Based on your stated background, the best start would be the (longer)
paper on the Spineless Tagless G-machine [1].
Thanks for the tips. I haven't read much yet, but considering [1], I
guess I shouldn't have dismissed SPJs early 90's stuff so quickly.
Although I'm far from being an expert Haskell programmer, I think I'm
ready to look into some of the details of how it's compiled. I've a copy
of Modern Compiler Design (Grune, Bal, Jacobs and Langendoen) - I first
learned a lot of lexical and parsing stuff from it quite a few years
ago. Toda
On 08/01/2012 21:13, Brandon Allbery wrote:
(Also, de facto I think it's already more or less been decided in
favor of type families, just because functional dependencies are (a) a
bit alien [being a glob of Prolog-style logic language imported into
the middle of System Fc] and (b) [as I unde
On 08/01/2012 20:25, Brent Yorgey wrote:
On Fri, Jan 06, 2012 at 10:51:58AM +, Steve Horne wrote:
If I specify both extensions (-XMultiParamTypeClasses and
-XFlexibleInstances) it seems to work, but needing two language
extensions is a pretty strong hint that I'm doing it the wron
On 07/01/2012 12:17, Christoph Breitkopf wrote:
Hello,
I wonder why Data.Map provides the indexed access functions:
http://hackage.haskell.org/packages/archive/containers/latest/doc/html/Data-Map.html#g:21
These functions seem rather out-of-place to me in the map api. The
only use case I coul
On 06/01/2012 10:39, Jon Fairbairn wrote:
groupBy is currently implemented using span. It strikes me that we
ought to specify some properties for what we want. Start by defining:
pairwiseInOrderBy p l = all (uncurry p) (l `zip` drop 1 l) giving all
(pairwiseInOrderBy p) (groupCut p l) and we wo
On 06/01/2012 10:29, Steffen Schuldenzucker wrote:
On 01/06/2012 11:16 AM, Steve Horne wrote:
I was messing around with type-classes (familiarization exercises) when
I hit a probably newbie problem. Reducing it to the simplest case...
module BinTree ( WalkableBinTree, BT (Branch, Empty
I was messing around with type-classes (familiarization exercises) when
I hit a probably newbie problem. Reducing it to the simplest case...
module BinTree ( WalkableBinTree, BT (Branch, Empty) ) where
-- n : node type
-- d : data item type wrapped in each node
class WalkableBinTree n
On 05/01/2012 11:55, Christian Maeder wrote:
Am 05.01.2012 11:57, schrieb Steve Horne:
[...]
groupCut :: (x -> x -> Bool) -> [x] -> [[x]]
[...]
How about a break function that respects an escape character (1. arg)
(and drops the delimiter - 2. arg) and use this function f
On 05/01/2012 11:09, Brandon Allbery wrote:
On Thu, Jan 5, 2012 at 05:57, Steve Horne <mailto:sh006d3...@blueyonder.co.uk>> wrote:
-- groupCut - Similar to groupBy, but where groupBy assumes an
equivalence relation,
-- groupCut takes a function that indicates where to
On 05/01/2012 10:02, Jon Fairbairn wrote:
Steve Horne writes:
Personally, I think this is a tad disappointing. Given that
groupBy cannot check or enforce that it's test respects
equivalence classes, it should ideally give results that
make as much sense as possible either way. That said,
On 04/01/2012 16:47, Steve Horne wrote:
(a == a)
reflexivity : (a == b) => (b == a)
transitivity : (a == b) && (b == c) => (a == c)
Oops - that's...
reflexivity : (a == a)
symmetry : (a == b) => (b == a)
transitivity : (a == b) && (b == c) => (a ==
On 02/01/2012 11:12, Jon Fairbairn wrote:
max 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 d
On 02/01/2012 10:03, Jerzy Karczmarczuk wrote:
But I disagree quite strongly with the idea of "/World parameter as
purely hypothetical, a trick used to gain an intuition/". I mentioned
the language Clean (no reaction, seems that Haskellians continue to
ignore it...)
I don't know about others
On 02/01/2012 09:44, max wrote:
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?
Doing it probably the hard way (and getting it wrong)
On 02/01/2012 06:12, Arseniy Alekseyev wrote:
I don't know what to actually do with this after putting it in a *.lhs file.
You can :load *.lhs into ghci the same way you load .hs-files.
I swear I tried this before, but now it suddenly works.
Must be the chaos of stupid random assumptions mak
I'm having another go at figuring out Monad Transformers, starting at
the same point I've started and stopped the last couple of times. That's
this tutorial...
http://blog.sigfpe.com/2006/05/grok-haskell-monad-transformers.html
Onion layers, lift etc - I get that. But I've never actually got
On 01/01/2012 22:57, Jerzy Karczmarczuk wrote:
Dan Doel :
...
Also, the embedded IO language does not have this property.
do x<- m ; f x x
is different from
do x<- m ; y<- m ; f x y
and so on. This is why you shouldn't write your whole program with IO
functions; it lacks nice prope
On 31/12/2011 13:18, Yves Parès wrote:
But still, I maintain my previous view. I could clarify that by saying
that (e.g. for Maybe) we could separate it in two types, Maybe itself
and its monad:
-- The plain Maybe type
data Maybe a = Just a | Nothing
-- The MaybeMonad
newtype MaybeMonad a = M
On 30/12/2011 20:38, Scott Turner wrote:
On 2011-12-30 14:32, Steve Horne wrote:
A possible way to implement a Haskell program would be...
1. Apply rewrite rules to evaluate everything possible without
executing primitive IO actions.
2. Wait until you need to run the program.
3
On 30/12/2011 10:47, Bardur Arantsson wrote:
On 12/29/2011 11:06 PM, Steve Horne wrote:
Using similar mixed definitions to conclude that every C program is full
of bugs (basically equating intentional effects with side-effects, then
equating side-effects with unintentional bugs) is a fairly
On 30/12/2011 15:50, Gregg Reynolds wrote:
On Dec 30, 2011, at 10:34 AM, Artyom Kazak wrote:
Gregg Reynolds писал(а) в своём письме Fri, 30 Dec 2011
17:23:20 +0200:
Regarding side-effects, they can be (informally) defined pretty simply: any
non-computational effect caused by a computation
On 30/12/2011 15:23, Gregg Reynolds wrote:
Now one way of understanding all this is to say that it implicates the
static/dynamic (compile-time/run-time) distinction: you don't know what e.g. IO
values are until runtime, so this distinction is critical to distinguishing
between pure and impure.
On 30/12/2011 10:41, Bardur Arantsson wrote:
This doesn't sound right to me. To me, a "side effect" is something
which happens as a (intended or unintended) consequence of something
else. An effect which you want to happen (e.g. by calling a procedure,
or letting the GHC runtime interpreting
On 30/12/2011 04:07, Chris Smith wrote:
On Fri, 2011-12-30 at 01:53 +, Steve Horne wrote:
I've been for functions like GetMessage, TranslateMessage and
DispatchMessage in the Haskell Platform Win32 library - the usual
message loop stuff - and not finding them. Hoogle says "no res
On 30/12/2011 03:43, Chris Wong wrote:
On Fri, Dec 30, 2011 at 2:53 PM, Steve Horne
wrote:
I've been for functions like GetMessage, TranslateMessage and
DispatchMessage in the Haskell Platform Win32 library - the usual message
loop stuff - and not finding them. Hoogle says "no res
On 30/12/2011 01:40, Scott Turner wrote:
On 2011-12-29 19:44, Steve Horne wrote:
[Interaction with its environment] is as much an aspect of what
Haskell defines as the functional core.
Switching mental models doesn't change the logic
But it does. Other languages do not support the distin
On 30/12/2011 01:37, Chris Smith wrote:
On Fri, 2011-12-30 at 00:44 +, Steve Horne wrote:
So, to resurrect an example from earlier...
f :: Int -> IO Int
f = getAnIntFromTheUser>>= \i -> return (i+1)
Did you mean f :: IO Int ? If not, then I perhaps don't understand
I've been for functions like GetMessage, TranslateMessage and
DispatchMessage in the Haskell Platform Win32 library - the usual
message loop stuff - and not finding them. Hoogle says "no results found".
Is this level of Win32 GUI coding supported? (other than by dealing with
the FFI myself)
On 30/12/2011 00:22, Jerzy Karczmarczuk wrote:
Steve Horne :
Some code (intended to be loaded into GHCi and played with)
-- import System.Random
-- randSelect "this is a list" 5 (mkStdGen 9877087)
-- ...
module P23 (randSelect) where
-- ...
randSelect
On 29/12/2011 23:30, Chris Smith wrote:
Sorry to cut most of this out, but I'm trying to focus on the central
point here.
On Thu, 2011-12-29 at 22:01 +0000, Steve Horne wrote:
In pure functional terms, the result should be equivalent to a fully
evaluated value - but putStrLn isn'
On 30/12/2011 00:16, Sebastien Zany wrote:
Steve Horne wrote:
I haven't seen this view explicitly articulated anywhere before
See Conal Elliott's blog post The C language is purely functional
<http://conal.net/blog/posts/the-c-language-is-purely-functional>.
Than
On 29/12/2011 21:51, Jerzy Karczmarczuk wrote:
Steve Horne :
I only meant that there's random number handling support in the
Haskell library and, and least judging by type signatures, it's pure
functional code with no hint of the IO monad.
Look well at those functions, please.
On 29/12/2011 21:01, Chris Smith wrote:
On Thu, 2011-12-29 at 18:07 +, Steve Horne wrote:
By definition, an intentional effect is a side-effect. To me, it's by
deceptive redefinition - and a lot of arguments rely on mixing
definitions - but nonetheless the jargon meaning is correct w
On 29/12/2011 20:39, Jerzy Karczmarczuk wrote:
Still, I dont understand what does S.H. mean by a "perfectly good
pure generator".
Tell more please (unless you just mean a stream, say:
Probably bad wording, to be honest. I only meant that there's random
number handling support in the Haskell l
On 29/12/2011 19:55, Bardur Arantsson wrote:
On 12/29/2011 08:47 PM, Steve Horne wrote:
On 29/12/2011 19:21, Heinrich Apfelmus wrote:
BTW - why use an IO action for random number generation? There's a
perfectly good pure generator. It's probably handy to treat it
monadically to se
On 29/12/2011 19:26, Heinrich Apfelmus wrote:
Steve Horne wrote:
Heinrich Apfelmus wrote:
Again, purity refers to the semantics of functions (at run-time):
given the same argument, will a function always return the same
result? The answer to this question solely decides whether the
On 29/12/2011 19:21, Heinrich Apfelmus wrote:
Why would IO Int be something special or mysterious? It's an
ordinary value like everything else; it's on the same footing as
[Char], Maybe Int, Int -> String, Bool, and so on. I see no difference
between the list [1,2,3] :: [Int] and the acti
On 29/12/2011 18:41, Chris Smith wrote:
Entering tutorial mode here...
On Thu, 2011-12-29 at 10:04 -0800, Donn Cave wrote:
We can talk endlessly about what your external/execution results
might be for some IO action, but at the formulaic level of a Haskell
program it's a simple function value,
On 29/12/2011 18:04, Donn Cave wrote:
Quoth Steve Horne,
...
Anyway, if you're using IO actions, your code is not referentially
transparent and is therefore impure - by your own definition of
"impure". Causing side-effects may not be pedantically the issue, but
the mix of causi
deserving to be
called "operational"). If you call all the assignments "side effects",
why not call - let x = whatever in Something - also a "local
side-effect"?
Oh, that you can often transform let in the application of lambda,
thus purely functional?
Doesn'
On 29/12/2011 08:48, Heinrich Apfelmus wrote:
Steve Horne wrote:
Heinrich Apfelmus wrote:
Purity has nothing to do with the question of whether you can
express IO in Haskell or not.
The beauty of the IO monad is that it doesn't change anything about
purity. Applying the fun
On 29/12/2011 01:53, Antoine Latter wrote:
The beauty of the IO monad is that it doesn't change anything about
purity. Applying the function
bar :: Int -> IO Int
to the value 2 will always give the same result:
Yes - AT COMPILE TIME by the principle of referential transparency it always
r
(which appears to be the
way that GHC operates).
>I guess on Windows, "as far as possible" means locking it across the
>whole system.
Windows does allow finer-grained control (including byte-range locking),
but most applications don't bother.
-Steve Schafer
___
On 29/12/2011 00:57, Thiago Negri wrote:
We can do functional programming on Java. We use all the design
patterns for that.
At the very end, everything is just some noisy, hairy,
side-effectfull, gotofull machinery code.
The beauty of Haskell is that it allows you to limit the things you
need
19:38, AUGER Cédric wrote:
Le Wed, 28 Dec 2011 17:39:52 +,
Steve Horne a écrit :
This is just my view on whether Haskell is pure, being offered up for
criticism. I haven't seen this view explicitly articulated anywhere
before, but it does seem to be implicit in a lot of explana
On 28/12/2011 23:56, Bernie Pope wrote:
On 29 December 2011 10:51, Steve Horne wrote:
As Simon Baron-Cohen says in "Tackling the Awkward Squad"...
I think you've mixed up your Simons; that should be Simon Peyton Jones.
Oops - sorry about that.
FWIW - I'm diagnosed Aspe
On 28/12/2011 22:01, Jerzy Karczmarczuk wrote:
Le 28/12/2011 22:45, Steve Horne a écrit :
Yes - AT COMPILE TIME by the principle of referential transparency it
always returns the same action. However, the whole point of that
action is that it might potentially be executed (with potentially
On 28/12/2011 20:44, Heinrich Apfelmus wrote:
Steve Horne wrote:
This is just my view on whether Haskell is pure, being offered up for
criticism. I haven't seen this view explicitly articulated anywhere
before, but it does seem to be implicit in a lot of explanations - in
particula
This is just my view on whether Haskell is pure, being offered up for
criticism. I haven't seen this view explicitly articulated anywhere
before, but it does seem to be implicit in a lot of explanations - in
particular the description of Monads in SBCs "Tackling the Awkward
Squad". I'm entirely
On 27/12/2011 18:57, Steve Horne wrote:
OK - I really should have tried that before. But... why would an old
page hang around in my Firefox cache so long and not get updated? I've
not had this on any other sites.
I still should be doing more checking before posting.
A look in the sourc
On 27/12/2011 18:36, Bas van Dijk wrote:
On 27 December 2011 19:13, Steve Horne wrote:
On haskell.org, the 2011.4.0.0 version is shown as the current stable
release - but the most recent download link is for the 2011.2.0.0 version.
What download link are you referring to? I see that:
http
On haskell.org, the 2011.4.0.0 version is shown as the current stable
release - but the most recent download link is for the 2011.2.0.0 version.
This is bugging me a little because the documentation in the 2011.2
Haskell Platform download for Windows is broken - there's at least one
bug repo
t hiring a Haskell developer instead of a
Rails, etc. developer will result in more chaos when said developer is
hit by a bus?
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
experience AWS simulators are more trouble than they are worth since
they don't accurately model the way AWS will respond to you under load. The
free tier at AWS should allow you to experiment with building an app. The
first couple of months of development cost us less than $1.
Steve
On Tue, Nov 1,
On Tue, 27 Sep 2011 13:13:39 -0600, you wrote:
>On Tue, 2011-09-27 at 12:36 -0400, Steve Schafer wrote:
>> [0.1,0.2..0.5] isn't the problem. The problem is coming up with
>> something that not only works for [0.1,0.2..0.5], but also works for
>> [0.1,0.2..1234567890
ething that not only works for [0.1,0.2..0.5], but also works for
[0.1,0.2..1234567890.5].
A good rule of thumb: For every proposal that purports to eliminate
having to explicitly take into consideration the limited precision of
floating-point representations, there exists a trivial example that
a big role in
cryptography. But those are invariably FIXED LENGTH multiple-byte
integers. As I mentioned before, to the best of my knowledge, no one
uses variable-size representations in those kinds of
computationally-intensive applications.
-St
variable-length types (and I
would think that such a PRNG wouldn't be very efficient), so I'm still
not sure that I understand the question.
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
if the desire is to
take an integer n and generate a set of pseudorandom numbers ranging
from 0 to n-1, that's easily done using the standard random number
methods.
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
nough so
that it's unlikely that a single function (other than simply taking the
logarithm) can handle the majority of applications.
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
do static analysis, there would be no need for
garbage collection as it is currently implemented--the compiler would be
able to insert explicit object lifetime management directly into the
code.
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
ration files, etc.).
As for Haskell, I would still vote for UTF-8 only, though. The only
reason to favor anything else is legacy compatibility with existing
Haskell source files, and that isn't really an issue here.
-Steve Schafer
___
Haskell-Caf
d fail to parse that sequence.
If that's not happening, then there's something wrong with the way
you've expressed your grammar.
I don't know how much experience you have with language grammars, but it
might be helpful to try to write down MMIXAL's grammar using EBNF
not
're describing exactly how a parser is supposed to work,
so it's not clear what the problem is...)
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Wholly support moving OSX to x64. x86 should be supported only on a
best effort basis for legacy.
Steve
On Thu, Feb 3, 2011 at 6:28 PM, Max Cantor wrote:
> Doesn't 10.5.x have the ability to generate and run 64-bit binaries?
>
> mc
>
> On Feb 4, 2011, at 10:19 AM, wr
java) that can be used to build most applications in the world.
Haskell should not try to compete because it can't (marketing
problem), and there are many things that it enables to be done better.
Not intending to flame (or otherwise ignite the fires of passion) at all.
Steve
On Wed, 27 Oct 2010 14:13:31 +0100, you wrote:
>They're just figureheads for a shadowy cabal :-D
You mean the Haskelluminati?
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
ave that limitation), you
can make it work for larger numbers/longer strings:
genbin n = map (showFixed n) [0..2^n-1::Integer]
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
-friendly
file as often as you want, and the preprocessor is invoked
automatically, as needed.
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
ornia, but it's not the
way a person from New York City would pronounce it (closer to the UK
pronunciation).
I grew up near San Francisco, where "marry," "merry" and "Mary" all
sound the same, as do "our" and "are."
-Steve
box in a
certain order). On the other hand, if they possess an ordering, it
implies that someone or something put them in that order; i.e., that it
was a purposeful act.
I think the reason for this conceptual distinction can be traced to the
derivation of "ordering" as the gerund form o
On Sat, 2 Oct 2010 11:02:21 -0700, you wrote:
>I imagine someone looking at a lovely app and saying, "Wow -- great
>interface! I bet it was programmed in Haskell."
While I can agree with the sentiment...well, good luck with that. ;-)
t's basically what I was trying to say: The project is too
big for one person, or a small group of people. But it also can't happen
unless there's a shared understanding of what is important and why it is
important, and that's wh
go: "Hey, you know what? This GUI stuff is
_important_ if we want people to pay any attention to the software that
we write!"
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
erested in developing applications,
not wrestling with GUI toolkits.
-Steve Schafer
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
How do I tell? Does this mean that if the exception is occurring in a
haskell library I can't get to it? I am trying to run down a
Prelude.read: No Parse error and I need to see the value that it is
failing to parse on.
Thanks.
Steve
On Tue, Aug 31, 2010 at 11:05 AM, Pepe Iborra wrote:
I am trying to debug a problem in GHCI. I invoke my method with trace
but when it breaks on exception i can't get this history. Output is
below. Thanks.
relude Symbols> :set -fbreak-on-exception
Prelude Symbols> :trace myMethod
Loading package HUnit-1.2.2.1 ... linking ... done.
Loading package s
gt; return (x + x)
I think you're misinterpreting what Martijn is saying. He's not talking
about referential transparency at all. What he's saying is that in a
language like C, you can always replace a function call with the code
that constitutes the body of that function. In C-speak,
ice, it's pretty much
guaranteed that it will have been abused at some point. You can get the
same warnings about tinyurl.com, for example, because people have used
tinyurl.com to direct traffic to malicious web sites.
-Steve
___
Haskell-Cafe mailing lis
1 - 100 of 300 matches
Mail list logo