$ as
showNum n a = show a ++ x ++ show n
Pointsfree and explicit lambda notation I find can be very concise in
places, but make it quite hard to reuse or refactor code later - if you
can't read it, make a function/variable with a useful name so you can
later.
Regards,
T
--
Tristan Allwood
On Tue, Sep 25, 2007 at 10:53:55AM +0100, Andrew Coppin wrote:
Tristan Allwood wrote:
Just to follow those sentiments, the version I knocked out quickly
looked like:
(It's not quite the same as the original function, I think I'm lacking a
map (map (take 8)) on the first line).
showSystems
creation of sparse-check [1]
like libraries without needing a separate logic encoding, or things
along those lines / in that area.
Cheers,
Tris
[1] http://www-users.cs.york.ac.uk/~mfn/sparsecheck/index.html#lim
--
Tristan Allwood
PhD Student
Department of Computing
Imperial College London
On Thu, Sep 27, 2007 at 05:31:51PM +0200, apfelmus wrote:
Tristan Allwood wrote:
Does anyone know if there is a function that tells you if a haskell
value has been forced or not? e.g. isWHNF :: a - IO Bool let x =
(map succ [0..]) in do putStrLn . show (isWHNF x)--
False
Why can't it automatically construct them then? Assuming we do have
a syntax for A list of objects, each of which is of some possibly
different type 'a', subject only to the restriction that a is a
member of typeclass Show, as the following:
ls :: [a where Show a]
Then I would
On Wed, Oct 24, 2007 at 11:00:14AM +0800, TJ wrote:
Tristan Allwood:
Very cool. I don't understand some (a lot of) parts though:
instance Show a = Reify (ShowConstraint a) where reify = ShowC
ShowC has type (Show a) = ShowConstraint a, whereas reify is
supposed to have type
http://www.corsis.de
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Tristan Allwood
PhD Student
Department of Computing
Imperial College London
{-# OPTIONS_GHC -fglasgow-exts
+1 to keep it until equivalent functionality is made mainline
I've had tinyurl.com/haskelldoc aliased to the main frame page
(http://www.haskell.org/ghc/docs/6.12.2/html/libraries/frames.html) and
used it extensively on a daily basis for GHC libraries and GHC API
browsing. Navigating the current