[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 makes

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 g9ks1...@acme.softbase.org 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

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 m...@alumni.caltech.edu 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

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

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 as

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]

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 Diatchkiiavor.diatc...@gmail.com 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)

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.r.a.niemei...@tue.nl 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

Re: [Haskell-cafe] Hsmagick crash

2009-06-08 Thread Thomas ten Cate
On Mon, Jun 8, 2009 at 13:11, Ron de Bruijnr...@gamr7.com 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 ricenowg...@yahoo.com 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

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 Kirpichovekirpic...@gmail.com wrote: The idea is pretty cool, but at first sight the batteries look like a graphical glitch. Probably some antialiasing or

Re: [Haskell-cafe] Logo fun

2009-06-12 Thread Thomas ten Cate
On Fri, Jun 12, 2009 at 11:25, Thomas Davietom.da...@gmail.com 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

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 Branwengwe...@gmail.com wrote:

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

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

2009-06-15 Thread Thomas ten Cate
On Sun, Jun 14, 2009 at 21:23, Jochem Berndsenjoc...@functor.nl 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

Re: [Haskell-cafe] Logo fun

2009-06-15 Thread Thomas ten Cate
On Mon, Jun 15, 2009 at 10:24, Ketil Maldeke...@malde.org wrote: Luke Palmer lrpal...@gmail.com 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

Re: [Haskell-cafe] Half-integer

2009-06-28 Thread Thomas ten Cate
On Sun, Jun 28, 2009 at 15:24, Andrew Coppinandrewcop...@btinternet.com 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

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

2009-06-28 Thread Thomas ten Cate
On Sun, Jun 28, 2009 at 17:14, michael ricenowg...@yahoo.com 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.

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]

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

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

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 Pudlakd...@pudlak.name 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

[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