- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] State Monad
by Wolfgang Jeltsch 03 Mar '04

03 Mar '04

Am Mittwoch, 3. März 2004 18:15 schrieb Georg Martius: > Thanks for your answer. I got it now. > It works with lift instead of liftM. Yes, of course. > Georg Wolfgang

1 0

Trouble with [in,string]char* with hdirect
by Vincenzo aka Nick Name 03 Mar '04

03 Mar '04

Hi all, I am experimenting with hdirect for the first time, and I can't figure out how to call an haskell function of type String -> IO Int from C. I already can compile and use a function of type Char -> IO Int, so I assume to be using the right command line arguments. I have, in Math.idl ---- module Math { int munlink([in,string]char *s); }; ---- in Math.hs ---- module Math where munlink :: String -> IO Int munlink s = putStr ("Hey!" ++ s ++ "\n") >> return (-1) ---- This is the generated .hs file: module MathProxy where import Prelude (fromEnum, toEnum) import qualified Prelude import qualified Foreign.Ptr (Ptr) import qualified HDirect (unmarshallString) import qualified Math (munlink) munlink_proxy :: Prelude.String -> Prelude.IO Prelude.Int munlink_proxy = wrap_munlink Math.munlink foreign export ccall "munlink" munlink_proxy :: Foreign.Ptr.Ptr Prelude.String -> Prelude.IO Prelude.Int wrap_munlink :: (Prelude.String -> Prelude.IO Prelude.Int) -> Foreign.Ptr.Ptr Prelude.String -> Prelude.IO Prelude.Int wrap_munlink munlink_meth s = do s <- HDirect.unmarshallString s munlink_meth s I get a type error when compiling MathProxy.hs, and the strange thing is that commenting out the type declaration for "munlink_proxy" makes my program work like a charm. Errors from the compiler follow, any help will be highly appreciated. Vincenzo Ciancia ghc -O2 -fglasgow-exts Math.hs -c ihc -fshow-idl-in-comments -s -fhs-to-c --gen-headers -fuse-ints-everywhere -c Math.idl ghc -O2 -c main.c -o main.o ghc -O2 -fglasgow-exts -package hdirect MathProxy.hs -c MathProxy.hs:15: Couldn't match `GHC.Ptr.Ptr GHC.Base.String' against `GHC.Base.String' Expected type: GHC.Base.String -> GHC.IOBase.IO GHC.Base.Int Inferred type: GHC.Ptr.Ptr GHC.Base.String -> GHC.IOBase.IO GHC.Base.Int In the application `wrap_munlink Math.munlink' In the definition of `munlink_proxy': munlink_proxy = wrap_munlink Math.munlink MathProxy.hs:17: Couldn't match `GHC.Base.String' against `GHC.Ptr.Ptr GHC.Base.String' Expected type: GHC.Ptr.Ptr GHC.Base.String -> GHC.IOBase.IO GHC.Base.Int Inferred type: GHC.Base.String -> GHC.IOBase.IO GHC.Base.Int When checking declaration: foreign export ccall "munlink" munlink_proxy :: GHC.Ptr.Ptr GHC.Base.String -> GHC.IOBase.IO GHC.Base.Int

1 0

[Haskell-cafe] ITCC 2004, April 5 -7 2004 - Call For Participation, Las Vegas, USA
by jolly＠egr.unlv.edu 29 Feb '04

29 Feb '04

My apologies if this is a duplicate email. CALL FOR PARTICIPATION - ITCC 2004 http://www.itcc.info International Conference on Information Technology- ITCC 2004 is going to be held in Las vegas, NV USA.ITCC is an international forum which brings together researchers and practitioners working on different aspects of Information Technology. It is a technical congregation where the latest theoretical and technological advances on Information Technology are presented and discussed. This year's conference will bring together the world's most respected authorities on Information Retrieval, Operating Systems, Networks,Image/Video Processing, Digital Library, Coding & Data Compression,Watermarking, Simulation, Computer Graphics, Information Technology: Education, Curriculum & Accreditation, Information/Website Security, Data Mining and plethora of IT related technologies.(Pls check the advanced Program at our website). Whether you are a speaker, tutorial presenter, and/or sponsor, you will find ITCC 2004 as the best forum to share and demonstrate your knowledge with the depth and breadth of Information Technology.For registration details,Visit our Website http://www.itcc.info/ Any questions/Comments may be forwarded to it(a)egr.unlv.edu We look forward to your participation and hope to see you in Las Vegas! If you do not wish to be included in this list, and/or do not wish to receive further announcements regarding ITCC, please reply at jolly(a)egr.unlv.edu Your email address will be removed immediately from the distribution list. With Best Regards Vasu Jolly The ITCC 2004 Conference Secretary

1 0

Outstanding context : (Num b, Random b)
by "horsh 26 Feb '04

26 Feb '04

Hi, I am very new to haskell. Could anyone please explain why these two things are not equivalent: m2 = do a <- (drawInt 1 10) print a drawInt :: Int -> Int -> IO Int drawInt x y = getStdRandom (randomR (x,y)) m1 = do b <- getStdRandom (randomR (1,10)) print b the second one produces *** Binding : m1 *** Outstanding context : (Num b, Random b) in Hugs. thanks horsh

3 2

Perl-ish =~ operator
by ozone＠algorithm.com.au 24 Feb '04

24 Feb '04

In my effort to turn Haskell into a language more like Perl (muahaha)[1], I got a bit fed up and implemented something like Perl 5's =~ binding operator (a.k.a. "regex" operator); I thought maybe somebody else here might find it useful. Perl has the concept of 'contexts': a function does something different depending on what type its caller expects back from the function. Sounds like a perfect abuse of type classes, to me :). Code follows: --- {-# OPTIONS -fglasgow-exts #-} {- Need this for "instance Foo [String]" declarations -} module PLRE where -- Perl-Like Regular Expressions import Text.Regex -- Perl-Like =~ operator, which changes behaviour depending on its calling -- context class RegExContext a where (=~) :: String -> String -> a instance RegExContext Bool where s =~ re = case matchRegex (mkRegex re) s of Nothing -> False Just x -> True instance RegExContext [String] where s =~ re = case matchRegex (mkRegex re) s of Nothing -> [] Just x -> x boolContextTest string regEx = case string =~ regEx of True -> print True False -> print False stringListContextTest string regEx = case string =~ regEx of (a:x) -> print ("First match: " ++ a) _ -> error "No subexpression matches" --- Some test output for you: *PLRE> boolContextTest "foo" "^f" True *PLRE> boolContextTest "foo" "^g" False *PLRE> stringListContextTest "foo" "^(.)" "First match: f" *PLRE> stringListContextTest "goo" "^(.)" "First match: g" *PLRE> stringListContextTest "" "^(.)" *** Exception: No subexpression matches Note that you have a fairly severe restriction if you want to use =~ in your code: the Haskell compiler must be able to determine a concrete type for the context that =~ is used in. i.e. if stringListContextTest was defined as: stringListContextTest string regEx = case string =~ regEx of (a:x) -> print a _ -> error "No subexpression matches" The compiler can't concretise a type for 'a', and it'll complain about not having an instance for RegExContext [a] (which is fair enough). Even with this restriction, I'm sure it'll still be useful. It shouldn't be a bit leap to define other Perl-ish operators in this fashion, such as !~, or even s/.../. Have the appropriate amount of fun! 1. Actually, I wanted to turn Haskell into a language more suitable for text processing, but that doesn't sound as evil. -- % Andre Pang : trust.in.love.to.save

3 5

RE: [Haskell-cafe] More help for the newb
by Matthew Morvant 21 Feb '04

21 Feb '04

Thanks for the catching the typo. However, I keep getting type errors. The error that I get seems self-explanaotry, by telling me what to change the type to. But when I change it I get another error that seems to tell me to change it back. -----Original Message----- From: Philippa Cowderoy [mailto:flippa@flippac.org] Sent: Saturday, February 21, 2004 10:02 AM To: Matthew Morvant Subject: Re: [Haskell-cafe] More help for the newb On Sat, 21 Feb 2004, Matthew Morvant wrote: > 36 code3 :: [b] -> [Char] > > 37 code3 = do{char '!'; digit; char 's'; many (do char 's'); return "Suc"} > +++ do{char '%'; char 's'; digit; many (do digit): return "Suc"} > You appear to have a colon instead of a semicolon, which isn't good. Consider "many digit" rather than "many (do digit)", too. -- flippa(a)flippac.org

2 1

Thinner secure email?
by Justin Walsh 21 Feb '04

21 Feb '04

Re: my last goof up Hi, I know, being a totally ignorant Haskell newbie, that I should soon get to know my pecking order. But this e-paper shuffle is so damned annoying. i.e. "Hello World" In .txt mode is 11 bytes. In NoteTab Lite .txt (with url; say "Ripose.com.au") is 28 bytes In WordPad .doc 4,603 kbytes In MS Word .doc 19,456 kbytes. I would have though that the first project might have been the email itself. X does not seem to have been considered here. Why is so much rubbish data going down the line? Am I asking too many question? On the squeak-dev list I would be getting; Well $#1*? stop winging and fix it. I would, if I knew that Haskell is the right tool to use, if a tool is really needed at all. Does anybody get my reasoning? At my age 64.5 I'm too old to start another language, then find out that it's another dead end. I'm not trolling (I forgot to mention, I hate trolls too). With respect Justin walsh --- Outgoing mail is certified Virus Free. Checked by AVG anti-virus system (http://www.grisoft.com) Version: 6.0.585 / Virus Database: 370 - Release Date: 2/11/04

1 0

5 Kb limit with notetab lite attachment
by Justin Walsh 21 Feb '04

21 Feb '04

Is this better? Please note that the entire email I first sent is 7,153 bytes and in attachment This one plus attachment is under 5 kb. I am using notetab lite. How does that rank with security i.e. I don't want to scare people with attachments. Note: I am not good at this sort of thing. Subject: Your message to Haskell-Cafe awaits moderator approval > Your mail to 'Haskell-Cafe' with the subject > > Rational Haskell? > > Is being held until the list moderator can review it for approval. > > The reason it is being held: > > Message body is too big: 6180 bytes with a limit of 5 KB >

1 0

More help for the newb
by Matthew Morvant 21 Feb '04

21 Feb '04

I have gotten past the syntax errors and am now into type errors. Hopefully if I get some help with one I can fix the rest on my own. Here is the funct 36 code3 :: [b] -> [Char] 37 code3 = do{char '!'; digit; char 's'; many (do char 's'); return "Suc"} +++ do{char '%'; char 's'; digit; many (do digit): return "Suc"} ERROR "C:\Documents and Settings\mmorvant\Desktop\haskell.hs":37 - Type error in application *** Expression : many do {...} : return "Suc" *** Term : many do {...} *** Type : Parser [Char] *** Does not match : [Char]

1 0

Rational Haskell?
by Justin Walsh 21 Feb '04

21 Feb '04

Please bear with me. Point of departure: My goal is OWL (but replacing the "O" for Ontological with Noological) http://www.bright.net/~jclarke/kant/history.html 2. Noology (as in noumenon or "state of mind") i.e. rational http://en.wikipedia.org/wiki/Ontology Zoology (as in phenomenon or state of body) i.e. Empirical Declaration: None of these OO languages in their current context seem to work for me. Observations: I love AWK, I don't like C++, I Like plain vanilla Prolog and Smalltalk (as procedural and declarative) IDE's, but in there current form useless for my purposes. I'm unsure of Haskell but, feel it has untapped potential at a meta level. So far I have found, that Haskell is a great "what-if" language (the comparison with the spread sheet correct). I am very much a remnant of the "how-to" generation (one cannot get much lower than assembler). I found it difficult to take responsibility and let go of my "goto". But I do need to reach the "when-to" level: my project is Virtual Reality and SAI:(asIn Silicon Assisted Intelligence is gnot AI). Somehow though all of us early (infant) programmers moved pretty seamlessly form goto's and flowcharting to pseudo-code and structure programming techniques: because it works. However in 1989 I did BR and Semantic Modeling (Debenham and Montgomery UTS), realising immediately that it did not work. Since then I still see the Systems Designers equivalent of the flowchart and the goto i.e Entity Relationship Modeling http://www-106.ibm.com/developerworks/rational/library/319.html Why is it so hard for SysDesigners to make the same mind shift we did? Sorry if I sound rude but I'm stuck in an OO rut and I need to reach Process Orientation rather quickly. Any serious suggestions (apart from "just go away")? Justin PS: I don't like dialectical bickering over detail. Please spare me the flaming --- Outgoing mail is certified Virus Free. Checked by AVG anti-virus system (http://www.grisoft.com) Version: 6.0.585 / Virus Database: 370 - Release Date: 2/11/04

1 0