On 10-08-04 01:00 AM, Mark Lentczner wrote:
Sample pages: http://www.ozonehouse.com/mark/snap-xhtml/index.html
On the Contents page, among the collapsable trees: when I click on a
link that is also a parent, such as Snap.Http.Server and
Text.Templating.Heist, it has the undesirable side
On 10-07-31 01:30 PM, Brandon S Allbery KF8NH wrote:
On 7/31/10 12:59 , michael rice wrote:
But since both still have eval x to *thunk* : *thunk*, g evaluates to a
deeper level?
The whole point of laziness is that f *doesn't* have to eval x.
To elaborate, in computer-friendly syntax:
f x
On 10-07-23 02:43 PM, michael rice wrote:
liftM2 :: Monad m = (a1 - a2 - r) - m a1 - m a2 - m r
[...]
What does it mean to promote a function to a monad?
liftM2 f m1 m2 is canned code for
do
a1 - m1
a2 - m2
return (f a1 a2)
for example liftM2 f [s,t] [x,y] is [f s x, f s y, f t x, f
Try adding more delay between the two loadings, e.g., make me press enter,
and hope I am not faster than a computer:
main = do
writeTarget arg
func0 - compileTarget
putStrLn $ show $ func0 2
getLine
writeTarget arg*2
func1 - compileTarget
putStrLn $ show $ func1 2
I accidentally found a rarely encountered omission in Cabal (the lib, because
via Setup.hs) by building Haskell Platform as shared libs from source.
It is rare because you have to use both --enabled-shared and
--package-db=blah together to run into it. --package-db=blah is already rare
enough
and I forgot to say the Cabal lib tried is already version 1.8.0.6
ghc is 6.12.3
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Some docs are in a miserable state of being incomplete.
And then some programmers are in a miserable state of not respecting docs
when the docs are complete.
Why should anyone expect
deleteBy (=) 5 [0..10]
to accomplish anything meaningful, if he/she respects the written docs?
Today someone
Bulat Ziganshin wrote:
Hello Thomas,
Thursday, October 23, 2008, 8:41:04 PM, you wrote:
The problem is not fitting a 10^8 element list in memory, the
following works fine
(when compiled, though not in ghci):
t = putStrLn . show . last $ [1..10^8::Int]
this runs in 1k space, thanks to lazy
Benjamin L.Russell wrote:
On Tue, 21 Oct 2008 01:46:00 -0400, [EMAIL PROTECTED] wrote:
A paintbrush is easy to use, but hard to use well.
An interesting analogy. Then, in the style of a verbal analogy exam
question:
C++ : paintbrush :: Haskell : ?
C++ : paintbrush :: Haskell : gimp or
John Lato wrote:
Are you advocating introducing existential types to beginning
Haskellers? I think something with the scary name existential
quantification would greatly increase the head'splodin' on the
learnin' slope.
OOP(*) advocates introducing existential types to beginning programmers.
Alex Queiroz wrote:
On Fri, Oct 10, 2008 at 5:48 PM, Andrew Coppin
In what way? As far as I'm aware, .NET never really caught on and has long
since become obsolete.
In what alternate universe?
Anthropic Principle: Everyone is in a different bubble of observable
reality.
Magnus Therning wrote:
Where can I find some nice wallpapers inspired by
Haskell, or maybe even created by Haskell code?
I once suggested a futuristic feature for xmonad or xmonad plugin:
screensaver that randomly picks a haskell lecture video to play or a
haskell tutorial page to display.
Don't forget about memory consumption!
If you don't look, the bullet causes heap overflow. If you look, the
bullet causes stack overflow.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
[EMAIL PROTECTED] wrote:
One, if the cut is allowed to be curved and self-intersecting.
Crouching Tiger, Hidden Dragon? Kill Bill?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Shiqi Cao wrote:
Error messages from GHC contain inferred type variables, is there
anyway to find out which term an inferred type variable is for(if the
term exists)?
Example:
f :: a - a
f xs = map not xs
This causes:
Couldn't match expected type `[Bool]' against inferred type `a'
Galchin, Vasili wrote:
1) pedagogical examples of State monad and the Continuation monad
Shameless plug: http://www.vex.net/~trebla/haskell/ContMonad.lhs
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Andrew Coppin wrote:
Seriously, that sounded like gibberish.
Please don't say that.
I think we are too polite to rudeness.
While we shouldn't condemn people to RTFM, we shouldn't tolerate
people calling us gibberish either. I mean unless we say something
objectively gibberish.
Andrew Coppin wrote:
If I understand this correctly, to solve this problem you need either
Functional Dependencies or Associated Types. Is that correct?
A motivating example in papers on FD is exactly typeclasses for
containers. Okasaki puts this into practice in the Edison library.
Despite
I read from many reviews and shootouts that cell phones sold in Japan
are more diverse, advanced, and user-friendly than cell phones sold in
the US.
So I bought one, but to my dismay, both the offline manual and the
on-screen menu are line noise.
Then I found a web dictionary to translate
Mauricio wrote:
Do you think 'read' (actually,
'readsPrec'?) could be made to also
read the international convention
No. read and show are meant to be KISS, suitable for toy programs and
casual debugging messages. Real applications should use or invent a
sophisticated, general library.
Sebastian Sylvan wrote:
For correctness, maybe not, for efficiency, yes definitely!
In theory, decades of research and engineering went into shared memory
on common hardware, so it should be faster.
In practice, you give shared memory to spoiled kids (and seldom
encourage them to use other
Daryoush Mehrtash wrote:
Can some one explain what the !a does in this:
data Color3 a = Color3 !a !a !a
Shameless plug: http://www.vex.net/~trebla/haskell/strict-field.xhtml
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Adam Vogt wrote:
While we are kind of on this topic, what makes the characters ħ þ prefix
operator by default, while º and most other odd ones infix?
alphanumeric vs non-alphanumeric
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Jon Harrop wrote:
IRL the specification often dictates the complexity. If your code fails to
satisfy the spec then it is wrong. Are you saying that Haskell code can never
satisfy any such specification?
In addition to RL, it it should and it can in theory too:
apfelmus wrote:
I haven't heard the terms laziness leak and strictness leak before,
imho they sound a bit spooky because it's not clear to me what the
situation without leak would be. (Time vs Space? Is an O(n) algorithm a
strictness leak compared to an O(log n) algorithm?)
Leak refers to a
Ronald Guida wrote:
I was looking at the real time queues in [1] and I wanted to see what
would happen if I tried to write one in Haskell. The easy part was
translating the real time queue from [1], p43 into Haskell.
The hard part is testing to see if the rotations really happen what
they
Neil Mitchell wrote:
Sounds like a bidirectional Map to me - fortunately hackage already
has one of these:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/bimap
Yes, bimap is even better. Save lots of work.
___
Haskell-Cafe mailing list
geoffrey wrote:
Give the following code below, my question is - how do i setup a
dependency of User on Common?
Perhaps a first attempt should not have Common store a reference to
User, nor User store a reference to Common. Instead, have two
Data.Map.Map's: one looks up from Common to User,
Paul Johnson wrote:
The solution is for the programmer to rewrite mean to accumulate a
pair containing the running total and count together, then do the
division. This makes me wonder: could there be a compiler optimisation
rule for this, collapsing two iterations over a list into one.
Do
Claus Reinke wrote:
Germans have no problems with sentences which though started at
the beginning when observed closely and in the light of day (none of
which adds anything to the content of the sentence in which the very
parenthetical remark you -dear reader- are reading at this very moment
Advanced technology ought to look like unpredictable magic.
My experience with lazy evaluation is such that every time a program is
slower or bulkier than I presumed, it is not arbitrariness, it is
something new to learn.
My experience with GHC is such that every surprise it gives me is a
Andrew Coppin wrote:
2. Does anybody know how to actually read GHC's Core output anyway? To
me, it looks almost exactly like very, very complicated Haskell source
with a suspicious concentration of case expressions - but I understand
that in the Core language, many constructs actually mean
Lennart Augustsson wrote:
Even so, it's instructive to study how the normal order reduction of
this expression would proceed under the assumption that all 4 elements
will be used.
I think it's useful to try normal order until weak head normal form.
Not all steps are shown. Definitions of
Edsko de Vries wrote:
sum :: Tree - Int
sum t = sum' [t] 0
where
sum' [] acc = acc
sum' (Leaf i : ts) acc = sum' ts $! (i + acc)
sum' (Node l r : ts) acc = sum' (l : r : ts) acc
Because of $!, you should compare the Leaf case to foldl', not foldl.
The Node case can be said to
John Goerzen wrote:
That's a wonderful interface, but unfortunately it appears to assume that
your Unicode I/O is always UTF-8, and never UTF-16. I happen to deal with
more UTF-16 data than UTF-8 over here at the moment.
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/encoding
rodrigo.bonifacio wrote:
I´m just starting with HXT. My question is, how can I expose a use case from
the main function below (the XmlPickler for UseCase has been already defined):
main :: IO ()
main = do
runX ( xunpickleDocument xpUseCase [ (a_validate,v_0) ], uc.xml )
return ()
Patrick Surry wrote:
I've seen other discussions that suggest that lists are always shared
while in scope (so the fibs trick works). But is that just a feature of
the standard compilers, or is it somewhere mandated in the Hakell spec
(I don't see anything obvious in the Haskell Report tho
Paul Keir wrote:
I’m having some difficulty using the Parsec library, perhaps you could
help. I’ve reduced my problem as shown below. I would like the
‘only_prod’ parser to require the reserved string “only”, _optionally_
followed by an identifier. As part of ‘mytest’, this should then be
Cetin Sert wrote:
is there a version of getChar that doesn't buffer keyboard input until
enter is pressed?
Look into hSetBuffering (module System.IO or IO). As a quick start:
hSetBuffering stdin NoBuffering
___
Haskell-Cafe mailing list
Robert Vollmert wrote:
In short, I'm constantly running into what appear to be artificial type
restrictions in Control.Arrow.ArrowTree. For example, the signature of
deep is
deep :: (Tree t, ArrowTree a) = a (t b) (t b) - a (t b) (t b)
instead of the more general
deep :: (Tree t, ArrowTree
The following is in ghci 6.8.2 with default options (e.g., default heap
and stack). G denotes the ghci prompt.
At some points ghci will use 500MB of memory. Be sure you have enough
physical memory.
G :m + Data.List System.Random
G let f n = take n randoms (mkStdGen 0)) :: [Float]
I define f
Jefferson Heard wrote:
Main: No match in record selector Protein.go_terms
data R = A { sa :: Int } | B { sb :: Int }
sa (A 0) works (as expected). sa (B 0) gives
*** Exception: No match in record selector Main.sa
I think that explains your problem.
Alan Carter wrote:
if((fp = fopen(...)) != NULL)
{
if(fgets(...) != NULL)
{
printf(...);
}
fclose(...)
}
This reminds me of a 1976 article written by David Parnas and Harald
Würges: Response to undesired events in software systems. Since it's
old, it is harder to
Is it good or bad to add:
instance (MonadIO m) = MonadIO (ParsecT s u m)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Matthew Pocock wrote:
I've been using hxt to process xml files. Now that my files are getting a bit
bigger (30m) I'm finding that hxt uses inordinate amounts of memory. I have
8g on my box, and it's running out. As far as I can tell, this memory is
getting used up while parsing the text,
Magnus Therning wrote:
This might seem like a silly question, but what's the reasoning behind
the following behaviour?
% ghc-pkg list dataenc
/usr/lib/ghc-6.8.2/package.conf:
% ghc --make -hide-package dataenc -isrc UT.hs
ghc-6.8.2 : unknown package: dataenc
Hiding an uninstalled package
Richard Kelsall wrote:
Imagine
two experienced Haskell programmers on the phone, one reading a Haskell
program snippet to the other.
u can txt msg XD
^^--- unworded symbol people grasp just fine.
___
Haskell-Cafe mailing list
Achim Schneider wrote:
Erm...
There is this story about some military (US afair) training a neural
net to detect tanks in images, I can't find the link right now.
It worked, with amazing 100% accuracy.
Then they threw another batch of images at the net.
It worked, with devastating 50%
apfelmus wrote:
I don't know a formalism for easy reasoning about time in a lazy
language. Anyone any pointers? Note that the problem is already present
for difference lists in strict languages.
http://homepages.inf.ed.ac.uk/wadler/topics/strictness-analysis.html
especially strictness
Ben Franksen wrote:
Of course this doesn't prove that humans can, in
principle, decide equality for any pair of functions. But neither has the
opposite been proved.
Premise: The human should still give the reasoning behind his/her
decisions. The reasoning should be within a proof system
Justin Bailey wrote:
When I joined the haskell-cafe mailing list, I was surprised to see
the reply-to header on each message was set to the sender of a given
message to the list, rather than the list itself. That seemed counter
to other mailing lists I had been subscribed to, but I didn't think
Mitar wrote:
I am really missing the (general) split function built in standard
Haskell. I do not understand why there is something so specific as
words and lines but not a simple split? The same goes for join.
Don't forget Text.Regex.splitRegex.
Achim Schneider wrote:
[n..] == [m..],
the first thing I notice is
n == m n+1 == m+1
, which already expresses all of infinity in one instance and can be
trivially cancelled to
n == m
, which makes the whole darn thing only _|_ if n or m is _|_, which no
member of [n..] can be as long as
Justin Bailey wrote:
Given this function:
dropTest n = head . drop n $ [1..]
I get a stack overflow when n is greater than ~ 550,000 . Is that
inevitable behavior for large n? Is there a better way to do it?
Just for fun, throw in dropTest :: Int - Int and experiment again! :)
Joost Behrends wrote:
@Daniel: no, this doesn't solve the stack problem. These are the primefactors of
2^120+1: [97,257,673,394783681,4278255361,46908728641].
oddFactors k n | otherwise = oddFactors (k+2) n
could eventually push 394783681-673 function calls onto the stack before finding
the
Vimal wrote:
What is the difference between In-Reply-To and References?
There was a time In-Reply-To was for emails and References was for Usenet.
Nowadays emails have both In-Reply-To and References. Usenet still
sticks with just References.
___
Thomas Hartman wrote:
-- (myfoldl f q ) is a curried function that takes a list
-- If I understand currectly, in this lazy fold, this curried function
isn't applied immediately, because
-- by default the value of q is still a thunk
myfoldl f z [] = z
myfoldl f z (x:xs) = ( myfoldl f q ) xs
Bryan O'Sullivan wrote:
Albert Y. C. Lai wrote:
I can't blame you for being not observant. Afterall, this is precisely
what I'm alluding to with everyone can haz PC [...]
Please don't flame people on the list.
I'm flaming an idea, not people on the list
Combinators get my code done, tralalalala, laughing out loud!
Quickcheck locates all of my bugs, tralalalala, laughing out loud!
Fusion laws make my code run fast, tralala, lalala, lololol!
Folks, I'm so done, Merry Christmas, tralalalala, laughing out loud!
Stefan O'Rear wrote:
On Wed, Nov 07, 2007 at 10:30:30AM +0100, [EMAIL PROTECTED] wrote:
[I changed the subject, so (hopefully) rare people who just follow the
thread may miss it, but I couldn't look at the name of Fibonacci with
two errors in it anymore...]
People with real e-mail clients
Magnus Therning wrote:
I'll certainly try to look into all of that. However, I suspect your
suggestion doesn't scale very well. On my original code it's easy, it
was less than 10 lines, but how do I know where to start looking if it's
a program of 100 lines, or 1000 lines? The problem could
Thomas Hartman wrote:
Since I'm interested in the stack overflow issue, and getting acquainted
with quickcheck, I thought I would take this opportunity to compare your
ordTable with some code Yitzchak Gale posted earlier, against Ham's
original problem.
As far as I can tell, they're the
Richard Bird's Introduction to Functional Programming using Haskell,
second edition exceeds other introductory books by introducing laws
(e.g., fold laws, fusion laws), efficiency issues (including the stack
overflow question, deforestation), and monad transformers.
IMO these are
jeff p wrote:
I think this is referring to Andrzej Filinski's paper Representing
Layered Monads in which it shown that stacks of monads can be
implemented directly (no layering) by using call/cc and mutable state.
I have been unable to see how to bring its crucial reify and reflect
to
PR Stanley wrote:
failure :: (Parser a) failure = \inp - []
The code might contain some syntax errors and I'd be grateful for any
corrections.
It looks right conceptually. Depending on the definition of Parser, you
may need
failure = P (\inp - [])
or whatever constructor name instead of
Tim Newsham wrote:
You are not expected to understand this.
http://swtch.com/unix/
Hehehe!
Elite system programmers understand it.
If it is rephrased in terms of continuations, elite lambda calculus
programmers will also understand it.
You are not expected to be convinced this, but it
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 and tools, comes with
extensive
The Hackathon is a good opportunity to collect preliminary data.
Imagine: All other communities are still at the stage of we feel
productivity. We have our data shows productivity. That puts us at a
completely different level --- light-years above the crowd.
Haskell --- because we put the
[EMAIL PROTECTED] wrote:
Data with where?
You haven't heard about GADTs?
To avoid clashing with GADT's where, I propose to rename ok's keyword
to wherein, or wheretype, or something
data B k v = E | F b b wherein type b = B k v
data B k v = E | F b b wheretype b = B k v
(I also propose
Miguel Mitrofanov wrote:
tfoldr (-) 1 [4,3]
= 4-3-(-1)
= 2
Erm? You mean foldr?
Blame it on OCR.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
ok wrote:
So we have
C++ : imperative language whose type system is a Turing-complete
functional language (with rather twisted syntax)
Haskell: functional language whose type system is a Turing-
complete logic programming language (with rather twisted
To the tune of the theme song of Ghostbusters:
You've got an Int
But you want Double
Who do you call?
fromIntegral!
(The inverse conversion requires you to think about rounding first.)
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Brent Yorgey wrote:
Then one day he met someone else who said she was also a race car
driver, but her car was different -- she called it a Haskar. It had a
top speed of 400 miles per hour, no steering wheel (you just lean
whichever way you want to go, she said),
I wish I could just lean
Bryan O'Sullivan wrote:
Your problem may be buffering-related (I haven't read your code to
check), but if so, there's a fair likelihood that it has nothing to do
with the OS. GHC's runtime does its own buffer management on Handles.
It's quite possible that your deadlock lies at that level,
Albert Y. C. Lai wrote:
It is similar to saying, if you use Haskell, you don't have to learn
dependent typing. Ah, but knowing dependent typing informs you of
certain typing issues and how to use the Haskell type system more
successfully. This is despite tutorials on dependent typing talk
Andrea Rossato wrote:
loop s = do
putStrLn s
Most likely, the content of s sits in a local buffer and never leaves
this process, following most OS conventions and as others point out.
Another process waiting for it will deadlock.
Most similar process deadlock problems are not
Mitar wrote:
I did once try to learn Prolog. And failed. Miserably.
You should backtrack at this point and try again differently. :-)
There is likely a problem if he has inadvently walked past a cut. XD
___
Haskell-Cafe mailing list
Peter Hercek wrote:
So the question is what am I missing? Any nice use cases where
fixed point search is so good that it is worth the trouble with
figuring out new and new variable names for essentially the same
stuff?
When I write functional code, I do find myself writing recursions much
Andrew Coppin wrote:
Prelude :m Text.ParserCombinators.Parsec
Prelude Text.ParserCombinators.Parsec parseTest (endBy anyToken (char
'#')) abc#
Loading package parsec-2.0 ... linking ... done.
parse error at (line 1, column 1):
unexpected b
expecting #
I read the doc and determined that it is
Neil Mitchell wrote:
Other rules that could be interesting are:
forall a b. fromInteger a + fromInteger b = fromInteger (a + b)
forall a b. fromInteger a * fromInteger b = fromInteger (a * b)
This is wrong, since the class function can do what it wants. Imagine:
instance Num String where
apfelmus wrote:
Hugh Perkins wrote:
Arguably there are two possible implementations, one that enforces
one-to-one mapping, and one which allows multiple values, in either
direction.
Terminology reminder :)
- the latter is called (binary) relation
http://en.wikipedia.org/wiki/Binary_relation
Andrew Coppin wrote:
...does this mean Haskell is officially harder to understand than Lisp,
Java, Perl and O'Caml? :-}
(OTOH, does this mean Haskell is easier to understand than PHP or C++?)
Or, Haskell is the easiest to understand of them all.
Reason: Extremely large channel means so hard
Dan Weston wrote:
I hate to be a party pooper, but isn't this just:
f = foldr (\a z - (a:snd z,fst z)) ([],[])
This takes less time to grok and takes no longer to run.
For each type with exported constructors, one can always write
deconstructors for it, if not already found in libraries.
rodrigo.bonifacio wrote:
owner :: Step - Scenario
owner (Step id scenario action state response) = scenario
Is it possible to define the owner function in such way that I can write
x.owner (returning the scenario related with the Step x)?
The . is already taken. Choose some other symbol,
Andrew Coppin wrote:
0^2
0
(0 :+ 0)^2
0 :+ 0
0**2
0
(0 :+ 0)**2
NaN :+ NaN
There is nothing wrong AFAIK. (How much do I know? BSc in math, went
through classes on real analysis and complex analysis.)
There is no reason to expect complex ** to agree with real **.
Real x**y is
brad clawsie wrote:
i am having a problem with hxt, i was wondering if anyone here has
experience with it. in particular, i find that the xread function
chokes on xml files with xml declarations, and i am not sure why.
[...]
This is intended. Generally, wherever the HXT manual says content
Dan Weston wrote:
1) Commenting out the type annotation f :: Bool makes the program hang
Turning on code optimizations (e.g., ghc -O) helps. I don't know why.
2) If I replace f = f by f = undefined, I get an annoying print of
LazyOr: Prelude.undefined before it returns the correct value.
Anthony Clayden wrote:
(Or at least the problem is under-specified.)
1. There may be several sub-sequences having the maximum
sum.
So the type for the solution should be :: Num a = [a] -
[[a]]
2. The inits . tails approach adds a fault:
It introduces a sprinkling of empty
Tony Morris wrote:
...it seems to be a special case of Set? Does Data.Map add anything more
useful than Map' below?
Besides technical differences, beware that mere convenience makes or
breaks success of tools (languages, libraries).
___
Derek Elkins wrote:
On Wed, 2007-07-11 at 17:10 -0700, Jeremy Shaw wrote:
At Thu, 12 Jul 2007 09:18:14 +1000,
Thomas Conway wrote:
On 7/12/07, Andrew Coppin [EMAIL PROTECTED] wrote:
It's fairly common to use the Either type for this. By convention,
Right means correct, and by elimination Left
Henning Thielemann wrote:
Since you can write Plugins for Eclipse in Haskell, things become
interesting:
http://leiffrenzel.de/eclipse/cohatoe/
Yippee! I have added an entry for it to
http://www.haskell.org/haskellwiki/Applications_and_libraries/Editors
[EMAIL PROTECTED] wrote:
Can we ask where there are two identical apples?
Hey, I thought about that when I was a kid! I looked at pencils and
thought can two pencils be the same? I concluded that they could not
occupy the same location at the same time, so there is always some small
Brandon Michael Moore wrote:
Calling hClose after hGetContents is the root of the problem, but this is
a good example for understanding seq better too.
To further this end, I'll take issue :) with the final version that
has been tested to work, and show that it still won't work.
First, the
Cale Gibbard wrote:
On 10/07/07, Andrew Coppin [EMAIL PROTECTED] wrote:
Stefan O'Rear wrote:
Another good example:
foo :: ∀ pred : Nat → Prop . (∀ n:Nat . pred n → pred (n + 1))
→ pred 0 → ∀ n : Nat . pred n
x_x
Which you can read as For all statements about natural numbers, if the
Paul Moore wrote:
On 10/07/07, Andrew Coppin [EMAIL PROTECTED] wrote:
Interesting... I tried to put a pound sign on my web page, and it came
out garbled, so I had to replace it with pound;...
You may need to specify a content encoding in the HTML header. For
that, you need to know the
Bryan O'Sullivan wrote:
Int is a bit of an odd fish that way; it's a
window onto the underlying machine's behaviour, not a tidy, well-behaved
mathematical ring.
I'm just being picky here: where the underlying machine's behaviour is
2's complement binary, it (Int, +, *) is actually a tidy,
Brandon S. Allbery KF8NH wrote:
GNOME's gedit, for one, has a tendency to put byte order marks at the
beginning of every line in UTF8 mode.
Somehow I have never got a single BOM. My
http://www.vex.net/~trebla/u.html was written out by GNOME gedit.
Version 2.14.4.
Andrew Coppin wrote:
Wait... I thought Unicode was still an experimental prototype? Since
when does it work in the real world??
That myth is as old as Haskell is an experimental prototype. Old as
in that's an old one.
Windows has been well supporting Unicode since 2000. That is pretty much
Andrew Coppin wrote:
I stand in awe of people who actually understand what universal and
existential actually mean... To me, these are just very big words that
sound impressive.
I offer to relieve that with http://www.vex.net/~trebla/allsome.txt
I think of formal logic as clarifying thought
http://xkcd.com/c287.html
import Data.Array
import Control.Monad
-- exactly n v
-- items in v that sum to exactly n
-- returns list of solutions, each solution list of items
exactly :: (Real a) = a - Array Int a - [[a]]
exactly 0 v = return []
exactly n v = do
i - indices v
guard (v!i = n)
201 - 300 of 352 matches
Mail list logo