April 2011 - Beginners

How to extract from Maybe & Either in GHCi
by blackcat＠pro-ns.net 14 Apr '11

14 Apr '11

I've got some values in GHCi that look like Just (Left (Blah [stuff])) and I'd like to pull out the (Blah [stuff]) to operate on it. Is there a way to do this directly in GHCi without writing a helper function? thanks Lee Short

6 6

Haskell Package for Mac issues
by Andrew n marshall 13 Apr '11

13 Apr '11

2 1

Idiomatic way to avoid type class instance definitions for Int and Integer separately
by Amitava Shee 12 Apr '11

12 Apr '11

While reading "Learn You a Haskell for Great Good!" I came across the YesNo type class I tried a minimal version as below module Kind where class Yesno a where yesno :: a -> Bool instance Yesno Int where yesno 0 = False yesno _ = True I was surprised to get an error *Kind> :load kind.hs [1 of 1] Compiling Kind ( kind.hs, interpreted ) Ok, modules loaded: Kind. *Kind> yesno 10 <interactive>:1:6: Ambiguous type variable `t' in the constraints: `Num t' arising from the literal `10' at <interactive>:1:6-7 `Yesno t' arising from a use of `yesno' at <interactive>:1:0-7 Probable fix: add a type signature that fixes these type variable(s) Turns out 10 in this instance is an Integer and I have not defined Yesno over Integer Easy fix - just define an instance over Integer instance Yesno Integer where yesno 0 = False yesno _ = True My question - Is there a way to avoid this kind of boilerplate? What is the idiomatic way? Thanks & Regards, Amitava Shee

8 11

[Slightly OT] Any Haskell hackers in Rhein-Neckar region?
by C Gosch 12 Apr '11

12 Apr '11

Hello everyone, sorry, this is slightly off topic; are there any Haskell hackers in the Rhein-Neckar region, Germany, on this list? I'm trying to find like-minded people around there, but it seems so far that this area is a Haskell blind spot. Cheers, Christian

2 1

class (Monad m) => MonadState s m | m -> s where - What does m | m -> s construct do?
by Amitava Shee 11 Apr '11

11 Apr '11

I can across the following construct in ghc source class (Monad m) => MonadState s m | m -> s where get :: m s put :: s -> m () I am not aware of the syntactic construct | m -> s just before the where? Can someone please explain it? Thanks & Regards, Amitava Shee

2 1

Where to discuss and ask questions on "Category Theory"?
by Amitava Shee 11 Apr '11

11 Apr '11

I am trying to understand Category theory and currently reading Conceptual Mathematics - A first introduction to categories by Lawvere and Schanuel Do you know of a forum to ask clarifications and discuss key ideas? I am assuming this is not that forum. Thanks & Regards, Amitava Shee

1 0

what does (# a, s #) mean?
by Amitava Shee 10 Apr '11

10 Apr '11

I came across this definition in ghc source $GHC/compiler/utils/State.hs ======================= newtype State s a = State { runState' :: s -> (# a, s #) } What does the construct (# a, s #) mean? Thanks & Regards, Amitava Shee

3 2

Real programmers don't eat quiche.
by Sean Charles 09 Apr '11

09 Apr '11

LMVAO. Laughed my vegetarian etc. yadda yadda yadda Where on earth did you find that ?? My local chinese supermarket has some awesomely badly named stuff. funnyengrish.com is good for that kind of thing.

1 0

Real programmers don't eat quiche.
by Adrian May 09 Apr '11

09 Apr '11

:-@

2 1

questions about "Write yourself a Scheme in 48 hours"
by Michael Litchard 08 Apr '11

08 Apr '11

I'm working through "Write yourself a Scheme in 48 hours". I'm on the parsing section http://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours/Parsing and I have a question about the following function parseNumber :: Parser LispVal parseNumber = liftM (Number . read) $ many1 digit digit looks like a variable, but I don't see it mentioned anywhere. Where is the input coming from? Is this an example of partial application?

3 2