#haskell - Mon 19 Feb 2007 between 16:46 and 16:52

NY Lost Funds



lambdabot(. repeat) . take
dylanhmm, thought pl would've caught that.
Eightywhat does @pl do?
bd_is there a @check predicate to see if two functions have the same behavior? :)
sorearnot much
bd_Eighty: Removes variables :)
sorearold bitrotted refactoring engie
bd_: yeah!
pjdbd_: that provides generators and coroutines, yes, not continuations
ddarius@check \n -> take n (repeat 'a') == replicate n 'a'
lambdabotOK, passed 500 tests.
sorear@check (\n e -> take n (repeat e) == replicate n e) :: Int -> Int -> [Int]
lambdabotCouldn't match expected type `[Int]' against inferred type `Bool'
sorear@check (\n e -> take n (repeat e) == replicate n e) :: Int -> Int -> Bool
lambdabotOK, passed 500 tests.
Eightyis @check a specific thing for this channel?
sorear@check (\n e -> take n (repeat e) == replicate e n) :: Int -> Int -> Bool
lambdabotFalsifiable, after 1 tests: -1, 1
bd_sorear: That's not really a predicate, you have to bind the arguments manually...
sorearEighty: it's a lambdabot command, but it's a thin wrapper over Test.QuickCheck
bd_I was thinking more (. repeat) . take =:= replicate or something
Eighty@hoogle QuickCheck
lambdabotTest.QuickCheck :: module
Test.QuickCheck.quickCheck :: Testable a => a -> IO ()
Eightyit's not a standard library?
sorearPrelude> :m + Test.QuickCheck
Prelude Test.QuickCheck> quickCheck $ \ n m -> n+m == (m :: Int)+n
Loading package QuickCheck-1.0 ... linking ... done.
OK, passed 100 tests.
bd_Eighty: define 'standard' :)
It's in extralibs I think
Eightycomes with ghc
bd_which is very nearly 'comes with ghc'...
Eightywhat's extralibs?
soreareverything other than 'base', IIRc
sjanssenEighty: libraries packaged with ghc in the 6.4 era, but are now an optional additional install with the advent of 6.6
hyrax42in ghc head, "abc" :: IsString a => a?
Eightyhow do i get them now?
sjanssenEighty: what's your platform?
Eightyxp

Page: 5 12 19 26 33 40 47 54 61 68 75 82 89 

IrcArchive

NY Lost Funds