od%60%200%22+page:1+mid:7alg3hdlndapyxg6+state:results>
<http://markmail.org/message/5dmehw4lhu56x4zw> from 2002 is the most
relevant one I could find; it is suggested there that n `mod` 0 should
be an error.
Thanks all-
Nathan Bloomfield
*- The mod function is defined in the Integral class
gcd makes it possible to consider gcds in rings that
otherwise have no natural order- such as rings of polynomials in several
variables, group rings, et cetera.
Nathan Bloomfield
On Sun, May 3, 2009 at 11:16 AM, Achim Schneider wrote:
> Nathan Bloomfield wrote:
>
> > The "grea
y every natural number. The only natural number with this
property is 0, which can be proved using the essential uniqueness of prime
factorizations and infinitude of primes.
So having gcd(0,0) = 0 isn't just useful, it's the correct thing to do.
I hope that didn't use too many long word
instance, what exactly is
the "derivative" of a functor at an object, in the direction of some arrow?
I'm interested in studying this concept in more depth, but I can't find a
definition to start with.
Any pointers to good books or papers would be greatly appreciated. :)
That's a great start, but "coproduct" is still pretty scary. Why not refer
to it as OneOrTheOtherButNotBothDataConstructor?
-Nathan Bloomfield
On Sun, Jan 18, 2009 at 11:32 AM, Sterling Clover wrote:
> This is a great effort, but the root of the problem isn't just poor
(Forgot to send to haskell-cafe- sorry Alistair!)
Martin Erwig wrote a paper [1] that defines an inductive graph type and
implements some common algorithms with it.
Also, it isn't very Haskellish but if you can label your nodes with an
instance of Ix you might be able to use an Array to get const
ifferent sizes; plus, it doesn't look like the
Half-life logo. My biggest concern is that to someone not already familiar
with Haskell syntax, it might be confusing. (That may or may not be an
actual problem.)
Nathan Bloomfield
___
Haskell-Cafe mailing
e type is forall
a. (Card a) => String -> a, which is problematic.
Has anyone tried this before? I'm new to using Parsec and to parsing in
general, so I apologize if this is a silly question. (Parsec is very
impressive, by the way.)
Thanks-
Nathan Bloomfield
University of A
atural numbers - same as Church,
> then.
>
> Hans
Slightly off topic, but the A^B notation for hom-sets also makes the natural
isomorphism we call currying expressable as A^(BxC) = (A^B)^C.
Nathan Bloomfield
___
Haskell-Cafe mailing l
place.
(I forgot to cc haskell-cafe- sorry DavidA!)
Nathan Bloomfield
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
At the risk of doing someone's homework...
A naive solution is to do trial division by all integers from 2 up to sqrt
n.
{-
isPrime :: Integer -> BoolisPrime n
| n < 2 = False
| otherwise = f 2 n
where f k n
= if k > isqrt
then True
else undefined -- exercise for the reader
-}
If you want to see a human being explain some categorical ideas, there is a
nice (and growing) collection of video mini-tutorials on youtube by the
Catsters.
http://www.youtube.com/user/TheCatsters
-Nathan Bloomfield
(I first sent this just to Pierre by accident - sorry
Greetings, Haskell-cafe. I am interested in joining or starting a functional
programming interest group in my area. Are there any haskellers in the
Northwest Arkansas region?
Nathan Bloomfield
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http
There's something I want to do with Haskell, and after tinkering for a while
I think it's not possible. Before giving up entirely, I thought I'd try this
mailing list.
I'm working on an abstract algebra library, using the "types are sets"
strategy. For the algebraists out there, I'm trying to impl
14 matches
Mail list logo
