Why does QuickCheck (2.6) list the following as instances of class Testable?
Testable Result
Testable Prop
Testable prop = Testable (Gen prop)
The Hughes/Claessen paper QuickCheck: A Lightweight Tool for Random
Testing of Haskell Programs mentions nesting property combinators on page
6, but I
I don't think so. However, you can install the OS X binaries for ghc 7.6.2
and make that sit just next to your Haskell Platform install. You can even
use your existing cabal-install to install packages for the freshly
installed ghc by doing 'cabal install foo --with-ghc=/path/to/ghc'. Just
watch
On Sat, Mar 9, 2013 at 5:33 PM, Peter Caspers pcaspers1...@gmail.com
wrote:
Hi,
I just started playing around a bit with Haskell, so sorry in
advance for very basic (and maybe stupid) questions. Coming from
the C++ world one thing I would like to do is overloading
operators.
On Mon, Mar 11, 2013 at 8:48 AM, Brent Yorgey byor...@seas.upenn.eduwrote:
Hi everyone,
I am currently teaching a half-credit introductory Haskell class for
undergraduates. This is the third time I've taught it. Both of the
previous times, for their final project I gave them the option of
On Mar 11, 2013, at 11:26 AM, Jason Dagit wrote:
Myself and several of my friends would find it useful to have a plotting
library that we can use from ghci to quickly/easily visualize data.
Especially if that data is part of a simulation we are toying with.
Therefore, this proposal is
On Mon, Mar 11, 2013 at 11:50:38AM -0700, Ben wrote:
On Mar 11, 2013, at 11:26 AM, Jason Dagit wrote:
Myself and several of my friends would find it useful to have a plotting
library that we can use from ghci to quickly/easily visualize data.
Especially if that data is part of a
On Mon, Mar 11, 2013 at 1:09 PM, Brent Yorgey byor...@seas.upenn.eduwrote:
On Mon, Mar 11, 2013 at 11:50:38AM -0700, Ben wrote:
On Mar 11, 2013, at 11:26 AM, Jason Dagit wrote:
Myself and several of my friends would find it useful to have a
plotting library that we can use from ghci to
On 12/03/2013, at 3:15 AM, Carlos Camarao wrote:
On Sat, Mar 9, 2013 at 5:33 PM, Peter Caspers pcaspers1...@gmail.com wrote:
Hi,
I just started playing around a bit with Haskell, so sorry in
advance for very basic (and maybe stupid) questions. Coming from
the C++ world
On Mar 12, 2013, at 12:44 AM, Richard A. O'Keefe o...@cs.otago.ac.nz wrote:
Prelude :type (+)
(+) :: Num a = a - a - a
The predefined (+) in Haskell requires its arguments and its result
to be precisely the same type.
I think you had better justify the claim that Date+Period - Date and
On 12/03/2013, at 10:00 AM, MigMit wrote:
On Mar 12, 2013, at 12:44 AM, Richard A. O'Keefe o...@cs.otago.ac.nz
wrote:
Prelude :type (+)
(+) :: Num a = a - a - a
The predefined (+) in Haskell requires its arguments and its result
to be precisely the same type.
I think you had
On 03/11/2013 11:48 AM, Brent Yorgey wrote:
So I'd like to do it again this time around, and am looking for
particular projects I can suggest to them. Do you have an open-source
project with a few well-specified tasks that a relative beginner (see
below) could reasonably make a contribution
11 matches
Mail list logo
