- Beginners - Haskell.org

instance 2
by Alexander Chen 22 Apr '20

22 Apr '20

hi, data StringOrInt = TisanInt Int | TisAString String instance Eq (StringOrInt) where (==) (TisanInt v) (TisanInt v') = v == v' (==) (TisAString s) (TisAString s') = s == s' prelude> Instance_testen.hs:4:37: error: Ambiguous occurrence ‘==’ It could refer to either ‘Prelude.==’, imported from ‘Prelude’ at Instance_testen.hs:1:1 (and originally defined in ‘GHC.Classes’) or ‘Main.==’, defined at Instance_testen.hs:4:1 | 4 | (==) (TisanInt v) (TisanInt v') = v == v' | ^^ Instance_testen.hs:5:41: error: Ambiguous occurrence ‘==’ It could refer to either ‘Prelude.==’, imported from ‘Prelude’ at Instance_testen.hs:1:1 (and originally defined in ‘GHC.Classes’) or ‘Main.==’, defined at Instance_testen.hs:4:1 | 5 | (==) (TisAString s) (TisAString s') = s == s' | ^^ [1 of 1] Compiling Main ( Instance_testen.hs, interpreted ) Failed, no modules loaded. what gives?

2 1

instance
by Alexander Chen 22 Apr '20

22 Apr '20

Hi, data TisanInteger = Tisan Integer instance Eq (Tisan Integer) where (Tisan v) == (Tisan v') = v == v' prelude> Instance_testen.hs:7:14: error: Not in scope: type constructor or class ‘Tisan’ A data constructor of that name is in scope; did you mean DataKinds? | 7 | instance Eq (Tisan Integer) where (Tisan v) == (Tisan v') = v == v' | ^^^^^ [1 of 1] Compiling Main ( Instance_testen.hs, interpreted ) Failed, no modules loaded. what am i doing wrong? best,

2 1

[ANN] Haskell Beginners WT.Social Community: "Haskell: The Haskell-Beginners Community"
by Benjamin L. Russell 18 Apr '20

18 Apr '20

Twenty-eight days ago (on March 23, 2020 JST), I created a new Haskell beginners WT.Social community, "Haskell: The Haskell-Beginners Community" (see https://pashpost.com/group/haskell-the-haskell-beginners-community) and migrated a substantial portion of the posts originally from my former corresponding pashPOST (since renamed to "theTUNDRA") community of the same name thereto (sansposts with missing links or irrelevant content). Feel free to join and contribute! -- Benjamin L. Russell -- Benjamin L. Russell / DekuDekuplex at Yahoo dot com http://dekude kuplex.wordpress.com/ Computer Science Document Translator/Editor "Furuike ya, kawazu tobikomu mizu no oto." -- Matsuo Basho^

1 0

Why the compiler does not commit to a type class?
by Alexander Chen 17 Apr '20

17 Apr '20

hi, Prelude> u = undefined Prelude> k :: (Ord a, Num b) => a -> b -> a; k = u Prelude> :t k 1 2 k 1 2 :: (Ord a, Num a) => a Prelude> :t k (1 :: Integer) 2 k (1 :: Integer) 2 :: Integer In the first version the compiler is not really pushed so it simply gives back the type class constriction it has to adhere to. While in the second it is pushed to give an more specific answer and thus the :: Integer. Question: Is this train of thought correct?

2 1

'/' instead use 'DIV'. why?
by Alexander Chen 17 Apr '20

17 Apr '20

Hi, Prelude> :t (/) (/) :: Fractional a => a -> a -> a Prelude> :t div div :: Integral a => a -> a -> a Prelude> 6 / length [23,34,45] error Prelude> 6 / 3 2.0 Could somebody explain to me why this is? thanks, Alexander Chen

3 2

Factor out parsec types
by Max Gautier 24 Mar '20

24 Mar '20

I'm writing a parser for polynomial equation (ex : 5 x ^2 + 3 x ^ 1 = 3 x ^ 2). I'm using parsec to decompose my parser into smaller parts, and it works, but all my parser functions have the type : parser :: Stream s m Char => ParsecT s u m <Type to Parse> Is there a way to factor out that boilerplate, in such a way that I could simply write a type like parser :: Parser <Type to parse> ? The farther I've been is : type Parser s = ParsecT s () Identity type St = Stream s Identity Char (using ConstraintKinds) parser :: St s => Parser s <Type to Parse> But that still feels tedious to write every time... I've tried to search the wiki and the internet in general, but did not find an answer to that particularly. Thxs a lot if you have any hindsights. Max Gautier

2 3

Re: [Haskell-beginners] curious behavior of Haskell wiki
by Doug McIlroy 23 Mar '20

23 Mar '20

Yes, you repeated what I said. That search finds nothing. But it is wrong. A search for "bitwise" finds https://wiki.haskell.org/Ord_instance The context of "bitwise" on that page is "bitwise AND". My question remains. Date: Tue, 24 Mar 2020 01:33:48 +0100 From: "Henk-Jan van Tuyl" <b.vantuyl1(a)upcmail.nl> If you enter "bitwise AND" with the quotes, the wiki searches for these words next to each other; there is no page with such an occurrence. Regards, Henk-Jan van Tuyl On Sat, 21 Mar 2020 15:18:07 +0100, Doug McIlroy <doug(a)cs.dartmouth.edu> wrote: > Why does a search for "bitwise" in the Haskell wiki find > an instance of "bitwise AND", whereas a search for > "bitwise AND" or "bitwise and" (in quotes) finds nothing? > > Is this a bug or a (mis)feature? > > Doug McIlroy

1 0

Different versions of ghci REPL in Emacs?
by Lawrence Bottorff 22 Mar '20

22 Mar '20

I'm using Emacs (26.3) and org-mode (9.3.6) and I seem to have two different versions of ghci going, depending on whether I'm using haskell-mode alone with a *.hs file, or whether I am evaluating an org-mode babel code block. If I open, say, test.hs in Emacs, haskell-mode starts up. And if I choose <Start interpreter> from the menu, I get this "lambda prompt" REPL The next big Haskell project is about to start! If I break, you can: 1. Restart: M-x haskell-process-restart 2. Configure logging: C-h v haskell-process-log (useful for debugging) 3. General config: M-x customize-mode 4. Hide these tips: C-h v haskell-process-show-debug-tips λ> But if I call M-run-haskell, I get this "Prelude prompt" REPL Configuring GHCi with the following packages: GHCi, version 8.6.5: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/lawrence/.ghc/ghci.conf Prelude> Prelude> and this babel bit knows and interacts with it #+BEGIN_SRC haskell :results output :set +m doubleMe x = x + x doubleUs x y = doubleMe x + doubleMe y #+END_SRC but then trying to run this code block with lambda prompt REPL, I get the error executing Haskell code block... org-babel-execute:haskell: Buffer *haskell* does not exist or has no process even though the lambda REPL is called *haskell*. Why am I getting two separate REPLs? BTW, which IDE do Haskell big boys and girls use? LB

1 0

curious behavior of Haskell wiki
by Doug McIlroy 21 Mar '20

21 Mar '20

Why does a search for "bitwise" in the Haskell wiki find an instance of "bitwise AND", whereas a search for "bitwise AND" or "bitwise and" (in quotes) finds nothing? Is this a bug or a (mis)feature? Doug McIlroy

1 0

about "putStr"
by nowsnow 20 Mar '20

20 Mar '20

GHC 8.6.5 ===== import Data.Char main = do putStr "Give me some input: " l <- getLine putStrLn $ map toUpper l ====run==== my str Give me some input:MY STR ===not:=== Give me some input:my str MY STR -- nowsnow <nowsnow(a)163.com>

3 2