[Haskell-cafe] GSoC project for EclipseFP

2009-05-13 Thread Thomas ten Cate
Hi all, I'm happy to announce that my Google Summer of Code project proposal, titled "Extend EclipseFP functionality for Haskell", has been accepted! This means that I will be working on EclipseFP during the upcoming months. For the uninitiated, EclipseFP is a plugin for the Eclipse IDE that make

Re: [Haskell-cafe] Removing mtl from the Haskell Platform

2009-05-14 Thread Thomas ten Cate
On Thu, May 14, 2009 at 10:14, Wolfgang Jeltsch wrote: > 4) The identifiers State and StateT are flawed. Something of value State s a > doesn’t denote a state but a state transformer or however you want to name > it. A "state monad", i.e. a monad containing a state? If you use it in a sentence in

Re: [Haskell-cafe] the problem of design by negation

2009-05-21 Thread Thomas ten Cate
On Thu, May 21, 2009 at 00:54, Michael Mossey wrote: > I call it "design by negation." When asked to justify his design, the lead > software architect explains everything that *wouldn't* work. "We couldn't > have a unique key for every entry because blah blah blah. We couldn't use a > garbage coll

Re: [Haskell-cafe] attaching a ghci session to another process

2009-05-29 Thread Thomas ten Cate
What comes to my mind is that you could launch your program from inside GHCi, instead of the other way round. Just write an IO () function that spawns a new thread for the window, graphics, input handling and all that. Call this function from GHCi and your window will appear. Then write some other

Re: [Haskell-cafe] Static link to packages on Hackage?

2009-06-04 Thread Thomas ten Cate
http://hackage.haskell.org/packages/archive/HSH/latest/doc/html/HSH.html does take me to a page that says "HSH-2.0.0: Library to mix shell scripting with Haskell programs" in the blue bar at the top. Maybe some kind of cache? Did you try flushing your browser cache and refreshing? Am I missing som

Re: [Haskell-cafe] A small puzzle: inTwain as function of foldr

2009-06-04 Thread Thomas ten Cate
Possible, yes. Efficient, not really. > inTwain = foldr (\x (ls, rs) -> if length ls == length rs then (x:ls, rs) > else (x:(init ls), (last ls):rs)) ([], []) I have a hunch that everything that reduces a list to a fixed-size data structure can be expressed as a fold, simply by carrying around

Re: [Haskell-cafe] using phantom types to validate html

2009-06-07 Thread Thomas ten Cate
I have been thinking about this same problem a while ago, and found that HaXml [1] can generate Haskell types from a DTD schema. However, the code that you need to build HTML from that is quite verbose. Being no expert in Haskell, I talked to Twan van Laarhoven, who came up with something [2] that

Re: [Haskell-cafe] Re: Building network package on Windows

2009-06-08 Thread Thomas ten Cate
On Mon, Jun 8, 2009 at 02:04, Iavor Diatchki wrote: > Hello, > Here is an update, in case anyone else runs into the same problem. > > My understanding, is that the problem was caused by a mistake in the > "configure" script for the "network" package, which after (correctly) > detecting that IPv6 fu

Re: [Haskell-cafe] Slow documentation generation on Hackage

2009-06-08 Thread Thomas ten Cate
On Mon, Jun 8, 2009 at 11:05, Niemeijer, R.A. wrote: > which, face it, is going to be all of them; I doubt Haskell > is popular enough yet to be the target of DoS attacks Second that. I think this is a good case in which some security should be traded in for usability. And even if a DoS attack occ

Re: [Haskell-cafe] Hsmagick crash

2009-06-08 Thread Thomas ten Cate
On Mon, Jun 8, 2009 at 13:11, Ron de Bruijn wrote: > Mark Wassell schreef: >> Have you tried >> http://hackage.haskell.org/cgi-bin/hackage-scripts/package/pngload ? > Hi Mark, > > I just did: > > import Codec.Image.PNG > > png_file_to_2d_array file = do >  either_error_string_or_png <- loadPNGFile

Re: [Haskell-cafe] Applying Data.Map

2009-06-09 Thread Thomas ten Cate
On Tue, Jun 9, 2009 at 15:23, michael rice wrote: > import Data.Map (Map)   (fromList,!)  ??? > import qualified Data.Map as Map  (fromList,!) ??? Because ! is an operator, you need to enclose it in parentheses. Also, the (Map) in the import is already the list of things you are importing; you can

Re: [Haskell-cafe] Logo fun

2009-06-11 Thread Thomas ten Cate
I would like to have a go at it. Could you maybe upload the vector version somewhere? Thanks, Thomas On Thu, Jun 11, 2009 at 13:22, Eugene Kirpichov wrote: > The idea is pretty cool, but at first sight the batteries look like a > graphical glitch. Probably some antialiasing or smoothening is > n

Re: [Haskell-cafe] Logo fun

2009-06-12 Thread Thomas ten Cate
On Fri, Jun 12, 2009 at 11:25, Thomas Davie wrote: > With various people's ideas taken into account, I've created a new version > of my attempt: > > http://www.cs.kent.ac.uk/people/rpg/tatd2/logo-1.png > http://www.cs.kent.ac.uk/people/rpg/tatd2/logo-1.svg > > I think the yellow/black is easily eno

Re: [Haskell-cafe] Wiki user accounts

2009-06-12 Thread Thomas ten Cate
This runs on MediaWiki, right? How about adding a CAPTCHA for account registrations? http://www.mediawiki.org/wiki/Extension:ConfirmEdit And, more generally: http://www.mediawiki.org/wiki/Manual:Combating_spam Cheers, Thomas On Fri, Jun 12, 2009 at 18:46, Gwern Branwen wrote: > -BEGIN PGP

Re: [Haskell-cafe] slow code

2009-06-15 Thread Thomas ten Cate
How much output does this generate? Does it matter if you send the output to /dev/null? This looks as if the bottleneck might well be in I/O operations, not in the code itself. To find this out, you could rewrite the code in C and see if that makes a difference? Thomas On Sun, Jun 14, 2009 at 20:

Re: Fwd: [Haskell-cafe] curious about sum

2009-06-15 Thread Thomas ten Cate
On Sun, Jun 14, 2009 at 21:23, Jochem Berndsen wrote: > Alberto G. Corona wrote: >> Once more I forgot to send my messages to the haskell cafe list. All the >> rest of the list which I惴 suscribed to, send the mail replies to the list >> automatically, but this doesn��. Please, can this be changed?

Re: [Haskell-cafe] Logo fun

2009-06-15 Thread Thomas ten Cate
On Mon, Jun 15, 2009 at 10:24, Ketil Malde wrote: > Luke Palmer writes: > >> Nice work, I love this one.  :-) > > Yes, very nice. > > I do find the lambda and > too fat, but I presume that's the way the > Haskell logo looks. Also, I think the right edges of the thick part of > the batteries should

Re: [Haskell-cafe] Half-integer

2009-06-28 Thread Thomas ten Cate
On Sun, Jun 28, 2009 at 15:24, Andrew Coppin wrote: > I just wrote a small module for dealing with half-integers. (That is, any > number I/2 where I is an integer. Note that the set of integers is a subset > of this; Wikipedia seems to reserve "half-integer" for such numbers that are > *not* intege

Re: [Haskell-cafe] What is an "expected type" ...

2009-06-28 Thread Thomas ten Cate
On Sun, Jun 28, 2009 at 17:14, michael rice wrote: > as opposed to an "inferred type"? There was a thread on haskell-cafe about this a few weeks ago. Here it is in the archives: http://www.haskell.org/pipermail/haskell-cafe/2009-May/062012.html Maybe some post in there might help. Maybe they will

Re: [Haskell-cafe] ghc static linking on Windows

2009-07-02 Thread Thomas ten Cate
You cannot link statically to a .dll file. Either link statically with the so-called "import library" (.lib) (there are tools to generate one from a .dll, I believe), or link statically with a static build of SQLite, which is also a .lib file. Hope that helps, Thomas On Wed, Jul 1, 2009 at 19:18

Re: [Haskell-cafe] simple state monad exercises? (besides labeling trees)

2009-07-06 Thread Thomas ten Cate
I used the State monad to implement a Brainfuck [1] interpreter a few months ago. It stored the program counter, pointer and the memory of the machine. There might have been a different (better?) way, but as I was trying to learn more about monads, it was an obvious choice. Thomas [1] http://www

Re: [Haskell-cafe] Leaner Haskell.org frontpage

2009-07-09 Thread Thomas ten Cate
Are there any kind of hard statistics and analytics that we can base this discussion upon? There is always room for improvement, but stumbling around in the dark making blind guesses may not be the best way to go. Although I personally feel that Lenny's proposed page is an improvement, statistics c

Re: [Haskell-cafe] Leaner Haskell.org frontpage

2009-07-09 Thread Thomas ten Cate
By the way, the most valuable pixels, right at the top of the page, are wasted on wiki stuff. Compare http://www.haskell.org/ with, for example, http://www.ruby-lang.org/ http://python.org/ If, like the consensus seems to be, the page should be made more friendly to beginners (who are unlikely to

Re: [Haskell-cafe] What's the status with unicode characters on haddock ?

2009-07-10 Thread Thomas ten Cate
I ran a little experiment of my own, using a GHC HEAD build of a week or so ago. Here's a hex dump of my test source, so that we can see that it's really UTF-8. $ od -xc Test.hs 000 6f6d 7564 656c 4d20 6961 206e 6877 7265 m o d u l e M a i n w h e r

Re: [Haskell-cafe] Re: Simple quirk in behavior of `mod`

2009-07-22 Thread Thomas ten Cate
There are two ways of looking at the mod operator (on integers): 1. As a map from the integers Z to Z/pZ. Then n mod p is defined as: n mod p = { k | k in Z, k = n + ip for some i in Z } Instead of the set, we ususally write its smallest nonnegative element. And yes, in that sense, Z/0Z gives: n m

Re: [Haskell-cafe] funct.prog. vs logic prog., practical Haskell

2009-08-02 Thread Thomas ten Cate
On Sun, Aug 2, 2009 at 12:25, Petr Pudlak wrote: >    Hi all, > > I'd like to convince people at our university to pay more attention to > functional languages, especially Haskell. Their arguments were that > >    (1) Functional programming is more academic than practical. Which, even if it were t

Re: [Haskell-cafe] (no subject)

2009-08-22 Thread Thomas ten Cate
On Sat, Aug 22, 2009 at 01:23, staafmeister wrote: > But in general you have a structure like > > first line -- integer specifying the number of testcases (n) > Then for each testcase > a line with an integer specifying the number of edges (e) > a line with e pairs of string s and int p where p is

[Haskell-cafe] EclipseFP proposal for Google Summer of Code

2009-04-05 Thread Thomas ten Cate
To everyone involved in the Google Summer of Code program, I have submitted a GSoC proposal to work on EclipseFP, the Haskell plugin for Eclipse. The proposal is crossposted to both haskell.org and the Eclipse Foundation, each in their respective templates. This is also stated at the top of the pr