- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] AI Strike Force!
by Andrzej Jaworski 23 Mar '07

23 Mar '07

Hi Andrew and all the involved, The idea is great. It will allow programming with a rewording feeling of depth to the exercise right from the start. However tackling some of the topics you mentioned, like GA, one first needs to develop new solid programming techniques that would circumvent Haskell's inbuilt reluctance to update variables distractively. I would myself wish to read a well documented study of using ST monad or finite maps to achieve this end. Perhaps then, your page should openly encourage the need to develop such "brute force" methods. Cheers, -Andrzej

1 0

HDBC Windows binaries with SQLite 3 support
by Alex Queiroz 23 Mar '07

23 Mar '07

Hallo list, I guess the subject line says it all. Can anybody help me? -- -alex http://www.ventonegro.org/

4 7

Last chance to join the Summer of Code!
by Malcolm Wallace 23 Mar '07

23 Mar '07

Haskell.org is currently looking rather short of student proposals for Summer of Code 2007 compared to last year. If you haven't yet thought about submitting an application, why not consider it now? You could be paid $4500 for three months work June-Aug! Apparently, the more proposals we get, the more places are likely to be funded. Also, Google have announced a relaxation of the deadline for student proposals. The new deadline is Mon 26th March at 1700 Pacific Standard Time (Tue 27th, 0000 UTC), so you have all weekend to get writing! Regards, Malcolm

1 0

ghc warning "Var/Type length mismatch"
by Nicolas Frisby 23 Mar '07

23 Mar '07

When I load my program, GHC spits these messages at me, but doesn't fail Any idea what might be causing this or how to figure that out? Var/Type length mismatch: [] [a{tv aGIf} [tau]] ... Var/Type length mismatch: [] [a{tv aGN8} [tv]] ... I found the responsible code in GHC's darcs, but the context didn't lend any help my feeble non-GHC hacker brain. My program is kind of big and I'm using personal libraries that exercise the type system a lot, but I'll wait to see if anyone is interested or if this has been handled before I share the gory details. This tidbit might help: I have a couple of usages of undefined in my program b/c I'm just starting to code and if I replace a particular undefined of this with some typed dummy code, it removes the second set of mismatches, but not the first. I tried also replacing the other undefined, but the first set of mismatches remained. Glasgow Haskell Compiler, Version 6.7.20070214, for Haskell 98, compiled by GHC version 6.7.20070214 Also, is there a better list for this question? I half-heartedly tried haskell.org's list of mailing lists for an appropriate place for GHC bugs but didn't find one. Thanks for your time, Nick

4 3

type refinement to a typeclass constrained type
by Daniil Elovkov 23 Mar '07

23 Mar '07

Hello folks A section on GADTs in the GHC user's guide gives a simple example: data Term a where Lit :: Int -> Term Int Succ :: Term Int -> Term Int IsZero :: Term Int -> Term Bool eval :: Term a -> a eval (Lit i) = i eval (Succ t) = 1 + eval t eval (IsZero t) = eval t == 0 let's add Sum :: Term Int -> Term Int -> Term Int eval (Sum l r) = eval l + eval r it's ok But when I do this Sum :: (Num a) => Term a -> Term a -> Term a eval (Sum l r) = eval l + eval r --- same it doesn't typecheck with the error "no isntance Num a" writing eval (Sum (l::Num b => Term b) (r::Num b => Term b)) doesn't help. I wonder, if there's a way to do what I'm trying to do. After all, I'm allowed to declare Term that way. Or is this a restriction of type refinement?

2 5

Duplicate instance declaration
by Bas van Dijk 23 Mar '07

23 Mar '07

Hello, I'm making an assembly language DSEL in Haskell (just for fun) very similar to the one from Russel O' Conner in [1] I'm trying to specify a 'mov' instruction. A 'mov' instruction has two operands: a destination and a source. There are various constraints on the operands. They have to be of the same size (8-, 16- or 32-bit) and they have to be in a specific format: mov reg reg mov reg mem mov mem reg mov reg imm mov mem imm where reg, mem and imm are register, memmory and immediate values respectively. I would like the type system to check as many constraints as possible. I've managed to get the size constraints working. See the source below this mail. For example the following are all type-correct: valid1 = mov EAX EBX valid2 = mov BX DX valid3 = mov AH AL And the following doesn't pass the type checker: invalid1 = mov EAX BX -- Couldn't match expected type `Bit16' against inferred type `Bit32' I would also like to get the formatting constraints working. However the solution in the code below gives a "Duplicate instance declarations" error. If I -fallow-overlapping-instances than the type checker goes into an infinite loop. I would like to know why this is happening and if there's a way to fix it. Thanks in advance, Bas van Dijk [1] The Monad.Reader Issue 6, Russel O' Conner, Assembly: Circular Programming with Recursive do, http://haskell.org/sitewiki/images/1/14/TMR-Issue6.pdf \begin{code} {-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances #-} module ASM where import Data.Word -- TODO: Not finished yet... -- This is the type of instructions. -- It's going to be a Monad like the one from Russel O'Conner: data AsmM = AsmM deriving Show -- Sizes of registers, memmory or immediate values data Bit32 data Bit16 data Bit8 -- A type-level function that determines the size of a value class Size x size | x -> size -- Types of values class Reg reg class Mem mem class Imm imm -- General Purpose Registers -- Accumulator data EAX = EAX; instance Reg EAX; instance Size EAX Bit32 data AX = AX; instance Reg AX; instance Size AX Bit16 data AH = AH; instance Reg AH; instance Size AH Bit8 data AL = AL; instance Reg AL; instance Size AL Bit8 -- Base data EBX = EBX; instance Reg EBX; instance Size EBX Bit32 data BX = BX; instance Reg BX; instance Size BX Bit16 data BH = BH; instance Reg BH; instance Size BH Bit8 data BL = BL; instance Reg BL; instance Size BL Bit8 -- Counter data ECX = ECX; instance Reg ECX; instance Size ECX Bit32 data CX = CX; instance Reg CX; instance Size CX Bit16 data CH = CH; instance Reg CH; instance Size CH Bit8 data CL = CL; instance Reg CL; instance Size CL Bit8 -- Data data EDX = EDX; instance Reg EDX; instance Size EDX Bit32 data DX = DX; instance Reg DX; instance Size DX Bit16 data DH = DH; instance Reg DH; instance Size DH Bit8 data DL = DL; instance Reg DL; instance Size DL Bit8 -- Memmory data Mem32 = Mem32 Word32; instance Mem Mem32; instance Size Mem32 Bit32 data Mem16 = Mem16 Word32; instance Mem Mem16; instance Size Mem16 Bit16 -- Instructions class Mov dest src where mov :: dest -> src -> AsmM instance ( Size dest size , Size src size , MovFormat dest src ) => Mov dest src where mov d s = AsmM -- TODO: Not finished yet... class MovFormat dest src -- If I have more than one MovFormat instance than I get a -- "Duplicate instance declaration" error: instance (Reg dest, Reg src) => MovFormat dest src instance (Reg dest, Mem src) => MovFormat dest src instance (Mem dest, Reg src) => MovFormat dest src instance (Mem dest, Imm src) => MovFormat dest src instance (Reg dest, Imm src) => MovFormat dest src -- Tests valid1 = mov EAX EBX valid2 = mov BX DX valid3 = mov AH AL -- invalid1 = mov EAX BX -- Couldn't match expected type `Bit16' against inferred type `Bit32' -- invalid2 = mov EAX (Mem32 0) -- No instance for (Reg Mem32) \end{code}

2 2

problem in installing hat
by Vikrant 23 Mar '07

23 Mar '07

<hat(a)haskell.org>Hi, I wanted to try out hat debugger. I tried to install it according to instructions. I downloaded the source tgz and did following sequence of operations tar -xvzf hat-2.05.tar.gz cd hat-2.05 ./configure make it gives me following error! MkProg: hmake: the compiler 'ghc' is not known. Stop - hmake dependency error. I have following system configuration. ghc - Glasgow Haskell Compiler, Version 6.4.1, for Haskell 98, compiled by GHC version 6.4.1 hugs - Version: 20050308 hmake - version 3.10 (2005-03-11) gcc - gcc (GCC) 4.0.3 (Ubuntu 4.0.3-1ubuntu5) can anybody help me in this? Regards, Vikrant

1 0

Re: [Haskell-cafe] XML Validation and Digestion in Haskell
by Chris Eidhof 23 Mar '07

23 Mar '07

Hey Aron, I think you intended to CC Haskell Café as well. HaXml has support for DtdToHaskell, but HXT supports validating with a Relax NG validator. I guess the best way to figure it out is thoroughly read the documentation. -chris On Mar 22, 2007, at 10:40 PM, Arun Suresh wrote: > thanks for the feedback you guyz.. > > First off.. I went through the HaXml documentation.. It looks > pretty promising.. > and as far as HXT is concerned.. I guess ill be spending the > weekend grappling with the concept of Arrows and monads in general :) > > I dont know if HXT or HaXml offers it.. but I was wondering if > either of them provides some sort of schema compilation facility.. > (a la XmlBeans.. for those from the Java world).. basically I was > wondering if given an XML schema, is there a utility that will > generate a Haskell type hierarchy from the same ?? > > regards > Arun > > > On 3/23/07, Chris Eidhof < chris(a)eidhof.nl> wrote:Don't spend too > much time on the various libraries though. I tried > some simple things with Haskell and XML, but I found it really hard > to actually parse a simple document. You really don't want to write > your own parser. > > The only tool that worked for me was HXT, which is based on arrows. > These are pretty hard to grasp right away, but really powerful. I > really like the way they are used in HXT, but it still feels a bit > weird sometimes. > > Good luck, and keep us posted. > > -chris > > On Mar 22, 2007, at 7:52 AM, Andrew Wagner wrote: > > > Hi Arun, > > Your problem description seems a little vague - which is > > understandable, considering how embedded in your business model > it is. > > As for general recommendations, I'm no guru, but I would suggest > > looking at the existing XML libraries in Haskell [1], and if that's > > not powerful enough, check out parsec[2] for building a custom > parser. > > I think to get more specific recommendations, you would need to give > > more details about the problem. Hope this helps somewhat. Andrew > > > > [1]: http://www.haskell.org/haskellwiki/Libraries_and_tools/ > > Web_programming#XML_2 > > [2]: http://www.cs.uu.nl/people/daan/download/parsec/parsec.html > > > > > > On 3/22/07, Arun Suresh < arun.suresh(a)gmail.com> wrote: > >> Hi.. > >> > >> I am currently working on a project where basically we do a lot of > >> XML > >> validation and digestion. For example : > >> We recieve an XML document A, if the document passes schema > >> validation, we > >> do some business level validations, then from A, we create XML > >> digests B, C > >> and D. > >> Our code-base is written completely in Java. We had earlier tried > >> using > >> XSLT, but it became too unwieldy to manage (we ended up making > >> calls to > >> other Java classes from the XSLT engine) > >> > >> The problem we are facing right now is that we have huge > >> hierarchies of > >> Validators, Digestors and Contexts. It just doesnt look right. I > >> just cant > >> help but wonder if theres a better way of doing this... > >> > >> I have been trying to get my hands dirty with Haskell for a couplo > >> weeks > >> now. all the while keeping the problem at hand in the back of my > >> mind.. I > >> just dont seem to be see how applying functional programming > >> concepts can > >> help in this scenario.. Was wondering if somebody could probably > >> give me > >> some pointers.. > >> > >> Regards > >> Arun > >> > >> > >> > >> > >> > >> > >> _______________________________________________ > >> Haskell-Cafe mailing list > >> Haskell-Cafe(a)haskell.org > >> http://www.haskell.org/mailman/listinfo/haskell-cafe > >> > >> > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe(a)haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > >

1 0

XML Validation and Digestion in Haskell
by Arun Suresh 23 Mar '07

23 Mar '07

Hi.. I am currently working on a project where basically we do a lot of XML validation and digestion. For example : We recieve an XML document A, if the document passes schema validation, we do some business level validations, then from A, we create XML digests B, C and D. Our code-base is written completely in Java. We had earlier tried using XSLT, but it became too unwieldy to manage (we ended up making calls to other Java classes from the XSLT engine) The problem we are facing right now is that we have huge hierarchies of Validators, Digestors and Contexts. It just doesnt look right. I just cant help but wonder if theres a better way of doing this... I have been trying to get my hands dirty with Haskell for a couplo weeks now. all the while keeping the problem at hand in the back of my mind.. I just dont seem to be see how applying functional programming concepts can help in this scenario.. Was wondering if somebody could probably give me some pointers.. Regards Arun

4 3

random number generators
by david karapetyan 22 Mar '07

22 Mar '07

hi, i have been trying to learn haskell and i would like to translate the following object-oriented pseudo-code into working haskell code but i'm stumped on how to write the next function in the haskell code. any help is appreciated. class Random ... end ran = Random.new(300) ran.next() <- this call generates a random number ran.next() <- this one generates a different random number so far what i have in haskell is: data Random = Ran Int Int next :: Random->Int <- i have no idea how to write the next function that would give me the desired effect because the object in the object-oriented code can remember how many times 'next' was called and i would like to do the same for 'ran' in the haskell code. ran = Ran 300 0 next ran <- this generates a random number next ran <- this generates another random number but since haskell is purely functional it is going to be the same as from the previous call of 'next' which is not what i want

2 1