- Beginners - Haskell.org

Question about List Type Constraint and Null
by aditya siram 22 Jan '11

22 Jan '11

Hi all, The following function gives me an "Ambiguous type variable `a' in the constraint: `Read a' arising from a use of `res'" error: test :: Read a => String -> Maybe [(a,String)] test s = if null res then Nothing else Just $ fst $ head res where res = reads s The reason as 'jmcarthur' so patiently explained on IRC is that 'res' is used twice and the type constraint 'a' is different for each use, hence the ambiguity. I get that. But I have a further question why should 'null ...' care about the type of its list argument? Isn't it polymorphic? So it shouldn't make a difference that the 'a' inside res is ambiguous because we know for sure that it always returns a list of some kind. Thanks, -deech

7 13

Improve my FFI code please...
by Sean Charles 21 Jan '11

21 Jan '11

Hi list, I am *still* cursing the fact that I like where Haskell is taking me but that I am too dumb to get it into my head as quickly as I'd like! I will not give up and in that vein I have been beating myself up trying to run before I can walk as usual by attempting to write an FFI wrapper around the Ubuntu libcwiimote library! Having been inspired by johnnylee.net and having found his code is for Windows and C# I have taken it on myself to reproduce what he's done but using Haskell and OpenGL. Laugh, I nearly cried because it's taken hours of frustration just to get this far! I've built the hardware and now I need the software as usual. So, here we go... what I post here is the beginnings of a Wiimote wrapper. I *think* I understand Monads properly now, Brian Beck video on C9 (MSDN) really really helped a lot, I'd recommend that to anybody still struggling with the concept. What I want to know is can my code be improved by using monadic chaining and if so, with what and how (LMAO) and also have I overlooked or otherwise not used the correct forms, idioms etc. to achieve what I have so far ? I am really keen to know how the real gurus out there could reduce this code down or make it 'more haskell like'. Basically, I want you to correct it, improve it, show me and others how to do it right! I want it de-constructed, ripped to pieces, laughed at, openly mocked and I will learn from it and enjoy it because I am a developer! ;) LOL It compiles with ... ghc --make -lcwiimote -o wmscan WiiMote.hs and runs like so ... sean@sean-desktop:~/Documents/bluetooth$ ./wmscan 00:21:BD:A3:97:C7 Connecting to 00:21:BD:A3:97:C7 00:21:BD:A3:97:C7connected OK, disconnecting ...OK sean@sean-desktop:~/Documents/bluetooth$ ...and I was proud as hell, almost as proud as watching my son born but without the goo. Many thanks. Sean ---- {-# LANGUAGE ForeignFunctionInterface #-} import Foreign import Foreign.C.Types import Foreign.Ptr import Foreign.C.String import System #include "wiimote_api.h" foreign import ccall unsafe "wiimote_api.h wiimote_open" c_wiimote_open :: CString -> IO (Ptr Word8) foreign import ccall unsafe "wiimote_api.h wiimote_close" c_wiimote_close :: (Ptr Word8) -> IO CInt wiiOpen :: String -> IO (Maybe (Ptr Word8)) wiiOpen wid = do handle <- withCString wid c_wiimote_open case handle of nullPtr -> return Nothing handle -> return (Just handle) wiiClose :: Ptr Word8 -> IO Bool wiiClose wptr = do response <- c_wiimote_close wptr case response of 0 -> return True _ -> return False -- Open the wiiremote, print the handle and close it test :: String -> IO () test wiiHID = do wiimote <- wiiOpen wiiHID case wiimote of Just handle -> do putStr (wiiHID ++ " connected OK, disconnecting ... ") status <- wiiClose handle case status of True -> putStrLn "OK" False -> putStrLn "FAIL" Nothing -> putStrLn "FAIL" return () -- expects a single HID string on the command line ... main :: IO () main = do args <- getArgs case args of [hid] -> do putStrLn ("Connecting to " ++ hid) test hid _ -> putStrLn "Supply ONE Wiimote HID address!"

5 5

Re: [Haskell-beginners] Improve my FFI code please...
by sean＠objitsu.com 21 Jan '11

21 Jan '11

Edward, Daniel, thanks. > On Friday 21 January 2011 00:35:02, Sean Charles wrote: > wiiOpen :: String -> IO (Maybe (Ptr Word8)) > wiiOpen wid = do > ? ?handle <- withCString wid c_wiimote_open > ? ?case handle of > ? ? ?nullPtr -> return Nothing > ? ? ?handle -> return (Just handle) > Unless nullPtr is a macro that gets replaced with a literal by the > preprocessor, that won't do what you want. "nullPtr" is a generic name and > matches everything, so you'll always take the first branch (with -Wall, ghc > should warn about overlapping patterns in that case). Daniel, you have confused me. In my RWH book there is a test from the PCRE example of nullPtr == x, so I just did my code using a case instead, I am sure it's correct!?!?!? If I run my program with the Wiimote off, it prints FAIL and if I press the red sync. button it then prints out OK and the memory address of the allocated structure so it surely must be workng as I expected? Anybody? Edward, I am going to apply your comments over the weekend and see if I can truly understand them. I get the rough idea. Thanks guys. Sean.

4 4

trouble installing glib on windows 7
by Michael Litchard 21 Jan '11

21 Jan '11

I have Haskell Platform installed, trying to install glib. Here's what happens. $ cabal install glib Resolving dependencies... C:\Users\PERFOR~1\AppData\Local\Temp\glib-0.12.02360\glib-0.12.0\Gtk2HsSetup.hs: 25: warning: #warning Setup.hs is guessing the version of Cabal. If compilation of Setup.hs fails use -DCABAL_VERSION_MINOR=x for Cabal version 1.x.0 when build ing (prefixed by --ghc-option= when using the 'cabal' command) [1 of 2] Compiling Gtk2HsSetup ( C:\Users\PERFOR~1\AppData\Local\Temp\glib- 0.12.02360\glib-0.12.0\Gtk2HsSetup.hs, C:\Users\PERFOR~1\AppData\Local\Temp\glib -0.12.02360\glib-0.12.0\dist\setup\Gtk2HsSetup.o ) [2 of 2] Compiling Main ( C:\Users\PERFOR~1\AppData\Local\Temp\glib- 0.12.02360\glib-0.12.0\Setup.hs, C:\Users\PERFOR~1\AppData\Local\Temp\glib-0.12. 02360\glib-0.12.0\dist\setup\Main.o ) Linking C:\Users\PERFOR~1\AppData\Local\Temp\glib-0.12.02360\glib-0.12.0\dist\se tup\setup.exe ... Configuring glib-0.12.0... setup.exe: pkg-config version >=0.9.0 is required but it could not be found. cabal.exe: Error: some packages failed to install: glib-0.12.0 failed during the configure step. The exception was: ExitFailure 1 Okay, so all I need to do is install pkg-config $ cabal install pkg-config cabal.exe: There is no package named pkg-config. Perhaps you need to run 'cabal update' first? hmm, so how do I install pkg-config? cabal update didn't help

2 2

Editor to use for Hugs
by patricklynch 20 Jan '11

20 Jan '11

Good afternoon, I am currently using VIM as an editor with Hugs on a Mac. I tried TextEdit but I am looking for something more powerful. Is there an editor that is designed to work with Hugs on the Mac? Thank you

2 1

GUI (Glade installation)
by Stephanie Wong 19 Jan '11

19 Jan '11

Hi, I am new to GUIs and for my project I need to develop a GUI. I found a demo that is very useful but unfortunately, I am unable to compile it and get this error message: 'Could not find module 'Graphics.UI.Gtk.Glade': Use -v to see the a list of the files searched for.' I have installed Gtk2hs and able to use other demos without Glade. I have searched Glade and found many different versions and the installation seems a bit complicated. I'm working on Windows 7. Would you be able to recommend a version of Glade that is compatible for Windows 7 and perhaps give me some instructions on how to install it please. Many Thanks, StephThis message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

3 3

question about list comprehension or creating array
by Ching-Chao Chang 17 Jan '11

17 Jan '11

Hi, I want to create an immutable array like this In .hs file e = [1,2,3] a = array [1,3] [(i,v) | i<-[1..3], v<-e] I expect the output to be "array (1,3) [(1,1),(2,2),(3,3)]" But I got "array (1,3) [(1,3),(2,3),(3,3)]" Why is that? Can anyone tell me how to get the output that I expect? Thanks a lot, cchang

2 1

How to structure a "speaking" fuzzy clock?
by Kamil Stachowski 16 Jan '11

16 Jan '11

Hello, I am writing a program, the main purpose of which is to print fuzzy time in a casual manner, e.g. "ten to eleven" rather than "10:52". Considering my (lack of) programming experience, I got pretty far with it with the help of D. Fischer and B. Yorgey; you can take a look at the results at https://github.com/caminoix/fuzzytime. However, I also have another purpose, and that is to better learn Haskell. I can't help the feeling that my solution might perhaps work, but is nevertheless ugly, naive or just un-Haskell. Therefore, I would like to ask you how you would structure such a program. I'm not asking for an implementation, just a general idea, such as "a datatype to keep the fuzzy time, deriving Show with a set of separate functions for different languages". Thanks in advance!

2 2

Cleaning up after the Close button is pressed
by Colin Hume 16 Jan '11

16 Jan '11

Hi everyone, I have to perform cleanup when my application terminates. GHC.ConsoleHandler handles cleanup from Ctrl-C and Ctrl-Break very nicely under Windows. Unfortunately, the RTS does not support delivery of the Close button event. The reason given in rts/win32/ConsoleHandler.c is that an improperly-written Haskell handler will prevent the user from being able to kill the application. I have a few questions about this. 1) Is there a different way of cleaning up on Windows after the Close button is pressed? 2) It seems strange that GHC intentionally prevents the application from cleaning up in order to guarantee that it will terminate as the user expects. Why is it not the application developer's responsibility to ensure that it can be killed? Thanks, Colin

2 1

question about comprehension or array creation
by cchang 16 Jan '11

16 Jan '11

Hi, I tried to create an array like the following. "array (1,3) [(1,1), (2,2), (3,3)]" through code in .hs e = [1,2,3] array (1,3) [(i,v) | i<-[1..3], v<-e] but I got "array (1,3) [(1,3), (2,3), (3,3)]" why v is always 3 in this case? Can anyone shed some light on this? Thanks,

3 2