#haskell - Mon 19 Feb 2007 between 09:04 and 09:16

NY Lost Funds



syntaxfreehey, thanks.
I'm building it too right now.
Saizanivanm: actually i wouldn't worry of it being a Integer
ivanmSaizan: it was just trying to get rid of the warnings from -Wall, that's all... trying to get my code warning free! ;)
syntaxfreeMaybe I should go hack up the other part of the program, but I'm not sure what data structure to begin with for the DOT compilation. I'd need to know what HXT spits out.
Calesyntaxfree: anything that you like.
Basically, it'll probably give you a title and list of URLs.
syntaxfreeIntuition says, "start from Map Title [URL]".
oh cool. That's basically what I need.
Calehaha, gcc is eating almost 300MB compiling this file.
syntaxfreehere it's eating a measly 139MB.
CaleXmlDTDParser was pretty large
syntaxfreeCompiling Text.XML.HXT.Parser.ProtocolHandlerUtil
Now it dropped to 22.
vincenzAnyone know anything about Ivor?
psnledwinb: ^^^
syntaxfreehmm. I saw a GetHTTP module fly by in HXT.
does it handle that part?
actionearthy grumbles at compiling wxHaskell with profiling support
earthygrumbles at compiling wxHaskell with profiling support
Calesyntaxfree: yes
earthywxHaskell *really* *NEEDS* to be cabalized
syntaxfreeoh cool. I was already reading the Network.HTTP docs
Calesyntaxfree: You can pass it a filename or a URL and it'll just handle that.
syntaxfreethat sure makes my job easier.
Maybe I should switch to some Haskell graph structure.
and write a generic Haskell graph -> DOT file processor.
CaleIt's a really cool library, it just needs some paring down in places, and the documentation needs more organisation.
edwinbvincenz: I know a little about it
vincenzedwinb: how does it compare to other such frameworks as I had never heard of it before, and it's based on a separate parser, cause the webpage mentions an interface to be used from haskell
edwinbvincenz: interesting question... I suppose the most similar thing would be Coq
The main difference is that coq has several man years of development behind it ;)
The advantage of Ivor from my PoV though is that it's easy for me to embed domain specific tactics in a Haskell program, and that I'm free to mess about with the type theory
actionvincenz nods at edwinb
vincenznods at edwinb
edwinbfor example, it was really useful to be able to add dependent pattern matching
vincenzwhy a separate language?
why not a combinator-based approach
edwinbthere are combinators for making tactics, if that's what you mean
the separate language is because it can be handy just to write the program text directly
vincenzI mean to fully embed it within haskell as a DSL instead of having a parser
edwinbjust seems to me that if you can make something a library, then you should...

Page: 4 11 18 25 32 39 46 53 60 67 74 81 88 

IrcArchive

NY Lost Funds