Re: [Haskell-cafe] Roman Numeral Problem

2013-06-24 Thread Roel van Dijk
Hi Christopher, I made a small library to convert between strings and roman numerals [1]. It didn't use much abstraction. I mainly used some type-classes so multiple string-like types can be parsed. The numerals themselves are basically a concatenation of value symbols. The order from high to low

Re: [Haskell-cafe] putting the result of a function in `infix` declaration

2013-06-23 Thread Roel van Dijk
Related to Karl's Template Haskell suggestion you could also have a look at quasiquotation: http://www.haskell.org/haskellwiki/Quasiquotation The GHC documentation has an example of a expression quoter:

Re: [Haskell-cafe] Incrementation fails

2013-05-08 Thread Roel van Dijk
Hi John, Can you tell us what your function is supposed to do? It appears to be some kind of search-and-replace for strings. What is the relationship between 'findStr', 'replaceStrList' and 'myText'? 2013/5/8 John knowledge1...@gmail.com Hello All, I'm in a big trouble with incrementation

Re: [Haskell-cafe] Incrementation fails

2013-05-08 Thread Roel van Dijk
I stared at the code some more and deduced what I think is the intented meaning. Occurences of 'findStr' in 'myText' are replaced with the strings in 'replaceStrList'. So replaceBasedIdx X [b,d,f] aXcXeXg = abcdefg The reason your counter didn't increment is because it was defined as an argument

Re: [Haskell-cafe] Incrementation fails

2013-05-08 Thread Roel van Dijk
, rest) = splitAt n text in if findStr == prefix then r ++ loop rs' rest else head text : loop rs (tail text) n :: Int n = length findStr 2013/5/8 Roel van Dijk vandijk.r...@gmail.com I stared at the code some more and deduced what I think is the intented

Re: [Haskell-cafe] Inject cabal version or VCS version as a CPP macro

2012-02-22 Thread Roel van Dijk
For each package myPackage Cabal generates a module containing, among other things, the package's version as a Haskell value: import Paths_myPackage ( version ) import Data.Version ( showVersion ) main = showVersion version See also Accessing data files from package code in

[Haskell-cafe] How to increase performance using concurrency for sequential producer-consumer problem

2012-02-13 Thread Roel van Dijk
Hello, I have a program which I believe can benefit from concurrency. But I am wondering if the mechanisms I need already exist somewhere on Hackage. Here is a sketch of my program, in literate Haskell: module Problem where import Control.Monad ( forM_ ) The producer produces values. It

Re: [Haskell-cafe] zlib 0.5.3.2 broken?

2012-02-02 Thread Roel van Dijk
bzlib-0.5.0.2 suffers from the exact same problem. I send a bug report to the author a few days ago, but I can imagine he's very busy. It might help if we can send patches that fix the compile error. ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] How to show a utf8 string?

2012-01-10 Thread Roel van Dijk
Have you tried using putStrLn? Small GHCI example: Prelude putStrLn \29579 王 I believe the Show instances for chars and strings escape all characters with a codepoint 127. 2012/1/10 Magicloud Magiclouds magicloud.magiclo...@gmail.com: Hi,  I am using LDAP hackage to do some ldap

Re: [Haskell-cafe] ANNOUNCE: vector-bytestring-0.0.0.0

2011-10-18 Thread Roel van Dijk
2011/10/18 Christian Maeder christian.mae...@dfki.de: you could re-export VS.empty, VS.singleton, etc. directly. The vector singleton and the vector-bytestring singleton don't have the same type. vector: singleton :: a - Vector a vector-bytestring: singleton :: Word8 - Vector Word8 By

Re: [Haskell-cafe] ANNOUNCE: vector-bytestring-0.0.0.0

2011-10-18 Thread Roel van Dijk
2011/10/18 Roel van Dijk vandijk.r...@gmail.com: Maybe we [can] create an example program which would fail with the more general type. Migrating the function foo from bytestring to vector-bytestring would fail with more general types: import Data.ByteString foo = print empty Ok, modules

Re: [Haskell-cafe] How to compile this example code?

2011-10-03 Thread Roel van Dijk
{- forgot to reply to list -} This isn't Haskell syntax. Atleast not directly. It is either hsc2hs[1] or c2hs [2]. Also see [3] for the difference between the two. Soin order to compile that code you first have to run it through aspecial preprocessor. 1 -

Re: [Haskell-cafe] hackage library info

2011-09-21 Thread Roel van Dijk
Unfortunately the bifunctor.homelinux.net domain stopped working. The reverse dependencies can now be found at: http://revdeps.hackage.haskell.org/ The reverse dependency algorithm needs some love. Some packages have -1 reverse dependencies, which is somewhat strange.

Re: [Haskell-cafe] Strange No instance error with cabal install

2011-09-20 Thread Roel van Dijk
I believe this is because of aeson depending on *any* version of deepseq. This was very recently fixed in the development version: https://github.com/mailrank/aeson/pull/25 2011/9/20 Rune Harder Bak r...@bak.dk: Sometimes when one of our developers (using Arch-linux) tries to cabal install

Re: [Haskell-cafe] Strange No instance error with cabal install

2011-09-20 Thread Roel van Dijk
I see the aeson version with the stricter dependency on deepseq 1.2 is now also released on hackage: http://hackage.haskell.org/package/aeson-0.3.2.12 ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] ANN: numerals

2011-09-16 Thread Roel van Dijk
. This is very simple because the test suite consists only of numbers combined with the expected cardinal number word. Regards, Roel van Dijk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANN: numerals

2011-09-16 Thread Roel van Dijk
Are you familiar with the Grammatical Framework [1]? It is a Haskell library and language for natural language parsing and translation -- If you need to do a lot of translation or string localization, you should take a look at it as much of the complexity has been addressed there. Yes.

Re: [Haskell-cafe] TypeOperators and Unicode

2011-09-12 Thread Roel van Dijk
2011/9/12 Brandon Allbery allber...@gmail.com: Don't all infix constructors have to start with a colon? Yes that is true. You can of course use Unicode symbols as infix type variables: (⋙) :: Category ⇝ = (α ⇝ β) - (β ⇝ γ) - α ⇝ γ But a constructor must always begin with a capital letter or

Re: [Haskell-cafe] Haddock chokes on function arguments

2011-08-25 Thread Roel van Dijk
Does it help if you format it like this: -- |Apply a given function over all elements of a list and select one of the -- results. selector :: (Arbitrary b) = [a] -- ^ Elements to select from - (a - b) -- ^ Constructor to apply to selected element - Gen b selector

Re: [Haskell-cafe] The Lisp Curse

2011-05-20 Thread Roel van Dijk
On 19 May 2011 20:50, Serguey Zefirov sergu...@gmail.com wrote: The solution... I think that some ratings, like used directly by ### packages/projects and indirectly by ### would be nice, but not much. Maybe my reverse dependencies mirror of hackage could be useful here:

Re: [Haskell-cafe] The Lisp Curse

2011-05-20 Thread Roel van Dijk
On 20 May 2011 12:46, Markus Läll markus.l...@gmail.com wrote: What's stopping it from being put on the official hackage? I use it quite a lot to find well established packages and/or example code, and am quite fond of it. But it is only visible when you know that this exists. Poor timing. I

Re: [Haskell-cafe] Those damned parentheses

2011-05-10 Thread Roel van Dijk
On 10 May 2011 09:47, Andrew Butterfield andrew.butterfi...@cs.tcd.ie wrote: Why not indeed ? (--) = flip (.) f = Main.id -- show -- (++ = message received) -- putStrLn -- () :: Category cat = cat a b - cat b c - cat a c import Control.Category ( () ) f = Main.id show (++ - message

Re: [Haskell-cafe] Storing failing testcases for QuickCheck

2011-04-24 Thread Roel van Dijk
On 24 April 2011 01:49, wren ng thornton w...@freegeek.org wrote: I would *love* there to be a tool which (a) automatically saves failing QuickCheck values to disk, and (b) automates using HUnit to load those in and test them. I'm not so sure that QuickCheck should be doing the second step of

Re: [Haskell-cafe] IO and Cont as monads

2011-04-14 Thread Roel van Dijk
On 13 April 2011 21:26, Tim Chevalier catamorph...@gmail.com wrote: IO doesn't obey the monad laws, due to the presence of seq in Haskell. Sad but true... See also a previous discussion about IO and the Monad laws: http://www.haskell.org/pipermail/haskell-cafe/2010-March/074001.html

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-05 Thread Roel van Dijk
On 5 April 2011 07:04, Mark Lentczner mark.lentcz...@gmail.com wrote: I'm not on that mailing list, so I'll comment here: I recommend joining the prime list. It is very low traffic and the place where language changes should be discussed. My only caveat is that the encoding provision should

[Haskell-cafe] Encoding of Haskell source files

2011-04-04 Thread Roel van Dijk
Hello, The Haskell 2010 language specification states that Haskell uses the Unicode character set [1]. I interpret this as saying that, at the lowest level, a Haskell program is a sequence of Unicode code points. The standard doesn't say how such a sequence should be encoded. You can argue that

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-04 Thread Roel van Dijk
2011/4/4 Colin Adams colinpaulad...@googlemail.com: Not from looking with your eyes perhaps. Does that matter? Your text editor, and the compiler, can surely figure it out for themselves. I am not aware of any algorithm that can reliably infer the character encoding used by just looking at the

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-04 Thread Roel van Dijk
On 4 April 2011 12:22, Michael Snoyman mich...@snoyman.com wrote: Firstly, I personally would love to insist on using UTF-8 and be done with it. I see no reason to bother with other character encodings. This is also my preferred choice. There *is* an algorithm for determining the encoding of

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-04 Thread Roel van Dijk
2011/4/4 Ketil Malde ke...@malde.org: I think the safest thing to do is to require source to be ASCII, and provide escapes for code points 127... I do not think that that is the safest option. The safest is just writing down whatever GHC does. Escape codes for non-ASCII would break a lot of

Re: [Haskell-cafe] Encoding of Haskell source files

2011-04-04 Thread Roel van Dijk
I made an official proposal on the haskell-prime list: http://www.haskell.org/pipermail/haskell-prime/2011-April/003368.html Let's have further discussion there. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] darcs repo browser

2011-04-02 Thread Roel van Dijk
Nice work! The view file part seems to have problems with utf-8 encoded files: http://handra.rampa.sk/dawb/view?repoVURL=http%3A%2F%2Fcode.haskell.org%2FnumeralsrepoVFile=test%2FText%2FNumeral%2FLanguage%2FZH%2FTestData.hs It is unreadable even when explicitly asking my browser to decode the

Re: [Haskell-cafe] [ghci] unknown symbol in base-unicode-symbols-0.2.1.2 ...

2011-03-30 Thread Roel van Dijk
I can reproduce the problem on my system with GHC-7.0.3. The flag old-base is meant for base libraries before 3.0.3.1 which didn't export a Control.Category module. It looks like I accidentally inverted the logic of the flag. What is weird is that is still builds okay on my system. I would expect

Re: [Haskell-cafe] order of arguments matters

2011-03-18 Thread Roel van Dijk
I believe this is caused by type equalities that are introduced by the Type a argument. In tr2 you get something like a ~ Int or a ~ String, allowing the function to type check. In tr1 that equality is never introduced so the type checker thinks a and Int are distinct types. But I'm sure someone

Re: [Haskell-cafe] order of arguments matters

2011-03-18 Thread Roel van Dijk
I checked out the GHC documentation on the GADTs extension [1]: The key point about GADTs is that pattern matching causes type refinement. So in tr2 (Tree Int) (Node _ (t:_)) = Node 1 [t] the 'a' in 'Type a' is refined to 'Type (Tree a)'. But in tr1 (Node _ (t:_)) (Tree Int) = Node 1 [t]

Re: [Haskell-cafe] Data constructor synonyms

2011-03-18 Thread Roel van Dijk
Remember that constructors are functions, except that you can't pattern match against them. data MyType = GeneralConstructor [Double] -- GeneralConstructor :: [Double] - MyType Note the lower case character, just a plain function: specialConstructor :: Double - MyType specialConstructor a =

Re: [Haskell-cafe] Tagless interpreter, expression problem and zipper

2011-03-09 Thread Roel van Dijk
Both your replies where very helpful. I combined both approaches to get nearer to what I want. class Lit α where lit ∷ Integer → α class Add α where add ∷ α → α → α instance Lit Integer where lit = fromInteger instance Add Integer where add = (+) This time I require TypeSynonymInstances:

[Haskell-cafe] Tagless interpreter, expression problem and zipper

2011-03-08 Thread Roel van Dijk
Hello everyone, I am stuck rewriting some code in the tagless style. My problem can be thought of as an interpreter for a very simple language: data Exp = Lit Integer | Add Exp Exp | Mul Exp Exp deriving (Show) But some complexity is added by the fact that my

Re: [Haskell-cafe] Performance difference between ghc and ghci

2011-02-21 Thread Roel van Dijk
In general code compiled with GHC will be a lot faster than code interpreted by GHCI. You can also call compiled code from within GHCI, in which case you would hardly see a performance difference. On 22 February 2011 08:26, C K Kashyap ckkash...@gmail.com wrote: Hi, Is there a runtime

Re: [Haskell-cafe] Status update on {code, trac, projects, planet, community}.haskell.org

2011-02-17 Thread Roel van Dijk
I believe code.haskell.org has moved to a new machine. Its IP address also changed, which causes your ssh to issue a warning. You can fix it by deleting the code.haskell.org entry from your local ~/.ssh/known_hosts file. On 16 February 2011 18:58, Henning Thielemann lemm...@henning-thielemann.de

Re: [Haskell-cafe] Byte Histogram

2011-02-07 Thread Roel van Dijk
On 7 February 2011 22:00, Andrew Coppin andrewcop...@btinternet.com wrote: I clearly have my languages mixed up. The language I'm thinking of required all variables (even top-level ones) to be declared with let - unless the definition is recursive, in which case you have to say letrec (i.e.,

Re: [Haskell-cafe] Byte Histogram

2011-02-06 Thread Roel van Dijk
On 5 February 2011 16:21, Andrew Coppin andrewcop...@btinternet.com wrote: I didn't think Clean supported laziness at all? I thought it was a strict language. CLEAN is a practical applicable general-purpose lazy pure functional programming language suited for the development of real world

[Haskell-cafe] Re: hmatrix's fitModel function crashes ghc(i)

2010-11-07 Thread Roel van Dijk
Cool, this means hmatrix is still an option for my fitting problem. The problem is a bit annoying but I can work with it. My assumption about the cause of the problem (wrong number of arguments) made me miss the real problem. Thanks for the explanation.

Re: [Haskell-cafe] hmatrix's fitModel function crashes ghc(i)

2010-11-07 Thread Roel van Dijk
Thank you for your reply. I will follow progress on the ticket. On Mon, Nov 8, 2010 at 3:57 AM, Vivian McPhail haskell.vivian.mcph...@gmail.com wrote: Here's the ticket: http://hackage.haskell.org/trac/ghc/ticket/781 They aim to fix the problem (with fPIC) by ghc 7.2. Cheers, Vivian

[Haskell-cafe] hmatrix's fitModel function crashes ghc(i)

2010-11-06 Thread Roel van Dijk
Hello, I would like to use hmatrix to do some function fitting with the Levenberg Marquardt algorithm. As an example I would like to fit the very simple function f x = a*x + b on some data points. The problem is that executing the 'fitModel' function crashes GHC(i) with a segmentation fault. This

Re: [Haskell-cafe] commutativity

2010-11-01 Thread Roel van Dijk
Yes, that would prevent the shadowing. But now you are ignoring the argument op1. Choosing a name that is more different from 'op' might be helpful. You can even invent your own operator as an argument to your commutative function: commutative (⊕) = \a b - (a ⊕ b) == (b ⊕ a) On Mon, Nov 1,

Re: [Haskell-cafe] Bulletproof resource management

2010-10-18 Thread Roel van Dijk
I think somebody else already mentioned region-based management, which is also completely safe AFAIK. Ben Franksen mentioned my brother's regions package [1]. He's about to release a new version with simpler type machinery. The list of packages that make use of the regions package [2] can serve

Re: [Haskell-cafe] Make your Darcs repositories hashed?

2010-10-09 Thread Roel van Dijk
The darcs installed on code.haskell.org is still version 2.02. It doesn't know about 'optimize --upgrade'. How do I upgrade those repositories? On Sat, Oct 9, 2010 at 2:30 PM, Christopher Done chrisd...@googlemail.com wrote: Every Darcs repository I've pulled this year has always showed me this

Re: [Haskell-cafe] Lambda-case / lambda-if

2010-10-04 Thread Roel van Dijk
I really like the lambda-case. There are dozens of places in my code where I could use it. Not so sure about the lambda-if. It is just as easily done using an ordinary function. lambda-case: +1 lambda-if: neutral ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Coding conventions for Haskell?

2010-09-30 Thread Roel van Dijk
I align my imports by hand, but your Emacs scripts look useful. I think I'm going to use them too. Another extremely useful function for aligning is align-regexp. On the subject of coding style, I can work with almost any style as long as it is used somewhat consistently. Personally I try to

Re: [Haskell-cafe] Coding conventions for Haskell?

2010-09-30 Thread Roel van Dijk
Here is a list of fonts that support that particular character: http://www.fileformat.info/info/unicode/char/2237/fontsupport.htm I think I'll add a little font overview to my unicode-symbols wiki page. Most Unicode symbols that are useful in Haskell are not terribly obscure and supported by a

Re: [Haskell-cafe] haltavista - look for functions by example

2010-09-19 Thread Roel van Dijk
Very interesting! It got me thinking: if you combine this with the Arbitrary class [1] of QuickCheck you can use it check if you have defined a function that is equal to an already defined function. Let's say I write the following function: intMul ∷ Integer → Integer → Integer intMul x 0 =

Re: [Haskell-cafe] haltavista - look for functions by example

2010-09-19 Thread Roel van Dijk
In my haste to reply I made an error in my 'newby' multiplication function. Pesky negative numbers... intMul ∷ Integer → Integer → Integer intMul x n | n 0 = -(intMul x $ abs n) | n == 0 = 0 | n 0 = x + intMul x (n - 1) I do wonder what happens when haltavista

Re: [Haskell-cafe] haltavista - look for functions by example

2010-09-19 Thread Roel van Dijk
Impressive! I didn't think you could implement it so quickly. Now someone needs to add this functionality to Leksah or hack something up for Emacs. Regards, Roel On Sun, Sep 19, 2010 at 8:27 PM, Paul Brauner paul.brau...@inria.fr wrote: It works: brau...@worf:/tmp$ cat test.hs import

Re: [Haskell-cafe] feasability of implementing an awk interpreter.

2010-08-23 Thread Roel van Dijk
On Mon, Aug 23, 2010 at 8:07 AM, Richard O'Keefe o...@cs.otago.ac.nz wrote: But what _is_ the core functionality. The Single Unix Specification can be browsed on-line. There is no part of it labelled core; it's all required or it isn't AWK.  There are weird little gotchas like        File foo

Re: [Haskell-cafe] Question about memory usage

2010-08-17 Thread Roel van Dijk
On Tue, Aug 17, 2010 at 3:53 AM, Richard O'Keefe o...@cs.otago.ac.nz wrote: On Aug 17, 2010, at 12:37 AM, Roel van Dijk wrote: phi = (1 + sqrt 5) / 2 fib n = ((phi ** n) - (1 - phi) ** n) / sqrt 5 The use of (**) should make the complexity at least O(n). Please correct me if I'm wrong

Re: [Haskell-cafe] xemacs newbie question - haskell mode

2010-08-16 Thread Roel van Dijk
Note the following line from the haskell-mode project page: If it works on XEmacs, consider yourself lucky. [1] Regards, Roel 1 - http://projects.haskell.org/haskellmode-emacs/ ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] expression problem

2010-08-16 Thread Roel van Dijk
Have you read Wouter Swierstra's Data Types A La Carte [1]? Whether it uses basic and easy parts of Haskell depends on your mindset. You need to wrap your head around the fixpoint. It requires at least the MultiParamTypeClasses language extension. Regards, Roel 1 -

Re: [Haskell-cafe] Question about memory usage

2010-08-16 Thread Roel van Dijk
On Sat, Aug 14, 2010 at 5:41 PM, Andrew Coppin andrewcop...@btinternet.com wrote: (Then again, the Fibonacci numbers can be computed in O(1) time, and nobody ever needs Fibonacci numbers in the first place, so this is obviously example code.) A bit off-topic, but I don't think there exists a

Re: [Haskell-cafe] Недвижимость во Ф ранции, аренда и продажа вилл

2010-05-21 Thread Roel van Dijk
Google translation: The office of our company is located in Nice - the heart of the Riviera, that gives us an immediate opportunity to offer villas for rent and sale in all their diversity, as well as guidance to our clients on the most interesting and important events in the rich cultural

Re: [Haskell-cafe] Wait forever in main thread

2010-05-17 Thread Roel van Dijk
Use our threads package [1]. import Control.Concurrent.Thread ( forkIO, wait_ ) myDBusThingie :: IO () myDBusThingie = error TODO main :: IO () main = do tid - forkIO myDBusThingie wait_ tid But like David said, this is only usefull if you plan on multiple concurrent waits or doing

Re: [Haskell-cafe] ANN: precis-0.3.1 - Cabal package diff tool

2010-05-13 Thread Roel van Dijk
On Thu, May 13, 2010 at 5:23 PM, Stephen Tetley stephen.tet...@gmail.com wrote: Hi Bas I'm not entirely surprised... Do you know if haskell-src-exts can parse files with Unicode syntax (and I'm not using enough extensions)? Thanks Stephen Last time I checked it had problems with the ∷

Re: [Haskell-cafe] Shorthand method of enumerating a list a gotcha ... or is it just me?

2010-05-07 Thread Roel van Dijk
From the Haskell 98 report (section 6.3.4): For Float and Double, the semantics of the enumFrom family is given by the rules for Int above, except that the list terminates when the elements become greater than e3+i/2 for positive increment i, or when they become less than e3+i/2 for

Re: [Haskell-cafe] nun.haskell.org http services down?

2010-05-05 Thread Roel van Dijk
I think it would be nice in general to be able to mirror at least hackage.haskell.org. Something like rsync would be close to ideal for this purpose. Reasons I would like to mirror hackage: 1 - Provide alternative when the main hackage is down 2 - Access to the sources of all uploaded packages

Re: [Haskell-cafe] Strict type system allows for a maximum number of programming errors to be caught at compile time.

2010-05-03 Thread Roel van Dijk
In my opinion code is 'right' when it conforms to the specification. Haskell's type system allows the programmer to express a part of the specification in the types, which then get checked by the compiler/type-checker. This is where I see the biggest benefit of a very expressive statically checked

Re: [Haskell-cafe] Threads freezing

2010-04-25 Thread Roel van Dijk
The problem could be in your use of forkIO. To quote the documentation of forkOS [1]: Like forkIO, this sparks off a new thread to run the IO computation passed as the first argument, and returns the ThreadId of the newly created thread. However, forkOS creates a bound thread, which is

Re: [Haskell-cafe] What is the consensus about -fwarn-unused-do-bind ?

2010-04-14 Thread Roel van Dijk
Can anyone provide an example of an error that is prevented by this warning? When exactly is it dangerous to ignore a monadic function's return value? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] a way to convert partial functions to functions with Maybe's

2010-04-14 Thread Roel van Dijk
On Wed, Apr 14, 2010 at 2:32 AM, Ivan Miljenovic ivan.miljeno...@gmail.com wrote: Why not use Maybe for func1 in the first place?  Or are you wanting to automagically make all uses of head, tail, etc. safe? In which case there is already the 'safe' package:

Re: [Haskell-cafe] Re: Hackage accounts and real names

2010-04-06 Thread Roel van Dijk
On Tue, Apr 6, 2010 at 1:08 PM, Serguey Zefirov sergu...@gmail.com wrote: http://lambda-the-ultimate.org is one lovely community that has that restriction: http://lambda-the-ultimate.org/policies#Policies LtU has no restriction on user names. From LtU's policy: Anonymity and the use of

Re: [Haskell-cafe] Are there any gay haskelleres?

2010-03-28 Thread Roel van Dijk
Programming in Haskell certainly makes me feel gay. define gay cheery: bright and pleasant; promoting a feeling of cheer; a cheery hello; a gay sunny room; a sunny smile ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] developing against privately patched libraries, and cabal

2010-03-23 Thread Roel van Dijk
The documentation for Data.Version might be insightful: http://haskell.org/ghc/docs/latest/html/libraries/base-4.2.0.0/Data-Version.html If Cabal uses the parseVersion function to parse versions then the following version is valid: 1.2.3-a-b-c. If should result in this value: Version

Re: [Haskell-cafe] Timeouts that don't cause data growth.

2010-03-23 Thread Roel van Dijk
I tried a few things. First I added another timeout to main, so the program kills itself after a few seconds. doit :: IO (Maybe ()) doit = timeout 1200 $ {- yield -} return () main :: IO () main = do _ - timeout 500 $ forever doit return () This program failed to terminate.

Re: [Haskell-cafe] Re: Has Try Haskell! An interactive tutorial in your browser been announced yet?

2010-03-01 Thread Roel van Dijk
I think these reddit posts are relevant: First announcement: http://www.reddit.com/r/haskell/comments/b58rk/try_haskell/ Second announcement: http://www.reddit.com/r/haskell/comments/b7dil/try_haskell_now_with_t_and_wip_interactive/ ___ Haskell-Cafe

Re: [Haskell-cafe] Testing and module export lists

2010-02-25 Thread Roel van Dijk
What I usually do in such a case is create a separate internal module. The internal module exports everything. Then create a module which defines the public interface. This module simple reexports symbols from the internal module. Now you can create a Test module which has full access to all

[Haskell-cafe] ANN: concurrent-extra-0.2

2010-02-22 Thread Roel van Dijk
Hello, We would like to announce an update of concurrent-extra [1]. Bug fixes: - A bug in RLock.acquire (thanks to Felipe Lessa). New features: - Broadcast: Wake multiple threads by broadcasting a value. This is a generalisation of Event. - Thread: Threads extended with the ability to

Re: [Haskell-cafe] RFC: concurrent-extra

2010-02-17 Thread Roel van Dijk
2010/2/16 Neil Brown nc...@kent.ac.uk: I had a look at the code for Event (both versions) and Lock (but not the others just yet) and it seemed fine.  If you do lots of calls to waitTimeout before a set you will accumulate old locks in the list, but that won't cause any error that I can see, so

[Haskell-cafe] Re: RFC: concurrent-extra

2010-02-17 Thread Roel van Dijk
2010/2/16 Simon Marlow marlo...@gmail.com: You might want to take a look at the concurrency part of the GHC test suite: http://darcs.haskell.org/testsuite/tests/ghc-regress/concurrent/should_run/ Not that we've really solved the problem you're talking about, but you might get some ideas.

Re: [Haskell-cafe] RFC: concurrent-extra

2010-02-17 Thread Roel van Dijk
2010/2/17 Neil Brown nc...@kent.ac.uk: You don't need to do use ThreadId: MVar has an Eq instance, so you could make your Lock type derive an Eq instance, and then you can just compare the Locks to remove it after the timeout occurs (e.g. using delete to take it out of the list; it should be

[Haskell-cafe] ANN: concurrent-extra-0.1

2010-02-17 Thread Roel van Dijk
Hello, We would like to announce the release of concurrent-extra [1]. A library which offers a few extra synchronization primitives. These primitives are found in the standard libraries of languages like Java and Python, but not in Haskell. Quick overview: * Lock: Enforce exclusive access to a

Re: [Haskell-cafe] ANN: concurrent-extra-0.1

2010-02-17 Thread Roel van Dijk
On Wed, Feb 17, 2010 at 3:27 PM, Felipe Lessa felipe.le...@gmail.com wrote: In acquire (l. 111), if the lock was already acquired it goes by        | otherwise   → do putMVar mv mb                           Lock.acquire lock So it puts back the information about the owner of the RLock and

[Haskell-cafe] RFC: concurrent-extra

2010-02-16 Thread Roel van Dijk
Hello, We wrote a small library (1) which offers a few extra synchronization primitives. These primitives are found in the standard libraries of languages like Java and Python, but not in Haskell. Before releasing concurrent-extra on hackage, we would like some comments on its name, design,

[Haskell-cafe] ANN: ftdi-0.1

2010-01-25 Thread Roel van Dijk
://code.haskell.org/~roelvandijk/code/ftdi Regards, Roel van Dijk 1 - http://hackage.haskell.org/package/ftdi 2 - http://ftdichip.com/ 3 - http://hackage.haskell.org/package/usb 4 - http://www.intra2net.com/en/developer/libftdi/ 5 - http://www.ftdichip.com/Drivers/D2XX.htm

Re: [Haskell-cafe] haddock - 'could not find link destination

2010-01-22 Thread Roel van Dijk
On Thu, Jan 21, 2010 at 3:06 PM, Daniel Fischer daniel.is.fisc...@web.de wrote: But I find it easier to let Cabal deal with haddock, make a Cabal package, runghc ./Setup.hs configure --user --prefix=$HOME runghc ./Setup.hs haddock --hyperlink-source If you use a Cabal package in conjunction

[Haskell-cafe] Conditional code for Haddock

2010-01-20 Thread Roel van Dijk
a preprocessor macro when haddock is run? Perhaps an equivalent to ghc-options: haddock-options? Ideally I want only have to add the following to my .cabal file: haddock-options: -D__DOC__ Regards, Roel van Dijk 1 - http://trac.haskell.org/haddock/ticket/78

Re: [Haskell-cafe] Conditional code for Haddock

2010-01-20 Thread Roel van Dijk
Doesn't haddock define __HADDOCK__ by itself? That appears to be a common misconception. The discussion on this ticket [1] indicates that haddock does *not* define __HADDOCK__. So I can not rely on it being defined. Therefore I would like to define it myself, but only in the case that haddock is

Re: [Haskell-cafe] Conditional code for Haddock

2010-01-20 Thread Roel van Dijk
On Wed, Jan 20, 2010 at 12:57 PM, Sean Leather leat...@cs.uu.nl wrote: I did some conditional Haddocking in EMGM. See, for example: http://hackage.haskell.org/packages/archive/emgm/0.3.1/doc/html/src/Generics-EMGM-Data-Bool.html At first I didn't see what you did differently. Until I checked

Re: [Haskell-cafe] Re: AlternativePrelude extension

2010-01-17 Thread Roel van Dijk
On Sun, Jan 17, 2010 at 12:27 PM, Ketil Malde ke...@malde.org wrote: I think there might be justification for doing it multiple places.  The cabal file tells you what is required to build the package, the pragmas what is required to build each source file. Perhaps cabal should complain when

[Haskell-cafe] Hackage strangeness

2010-01-15 Thread Roel van Dijk
I wrote a small cronjob to update my hackage reverse-deps. When checking if it worked I noticed that my hackage appears to be more up-to-date than the real thing! Compare the What's new of both: Real hackage: http://hackage.haskell.org/packages/archive/recent.html Play thing:

Re: [Haskell-cafe] Hackage strangeness

2010-01-15 Thread Roel van Dijk
It's in the process of moving to a new (and hopefully more reliable) host. That is good news. Nice work! ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Language simplicity

2010-01-14 Thread Roel van Dijk
2010/1/14 Evan Laforge qdun...@gmail.com: Wow, that's kind of cute: {-# LANGUAGE UnicodeSyntax #-} (*) = (*) (/) = (/) 公式 高 中 低 = 高 * 中 * 低 / 整數 整數 = 123 That code snippet is also perfectly legal Haskell without the UnicodeSyntax language extension. You use UnicodeSyntax if you want to

Re: [Haskell-cafe] Language simplicity

2010-01-14 Thread Roel van Dijk
Thus speaketh the report (http://haskell.org/onlinereport/lexemes.html): symbol   -      ascSymbol | uniSymbolspecial | _ | : | | ' ascSymbol       -      ! | # | $ | % | | * | + | . | / | | = | | ? | @        |       \ | ^ | | | - | ~ uniSymbol        -      any Unicode symbol or

Re: [Haskell-cafe] Language simplicity

2010-01-14 Thread Roel van Dijk
On Thu, Jan 14, 2010 at 12:47 PM, Colin Paul Adams co...@colina.demon.co.uk wrote: Roel == Roel van Dijk vandijk.r...@gmail.com writes:    Roel I think it is time for an Obfuscated Haskell Contest :-) Are you allowed to use obsolete scripts for your identifiers? :-) Sure, I'll consider bonus

Re: [Haskell-cafe] Hackage down

2010-01-06 Thread Roel van Dijk
If you are desperate for some hackage you can at least browse packages on my reverse dependencies thingie: http://bifunctor.homelinux.net/~roel/hackage/packages/hackage.html The last update was the 4th of january. But it doesn't have the actual packages, so it is probably not so useful in this

Re: [Haskell-cafe] Hackage down

2010-01-06 Thread Roel van Dijk
I have downloaded the torrent with the hackage archive from 19 oktober 2009 and put it on my server. This means you can now download all the packages contained in that archive (only the latest versions at that date). Happy hacking, Roel On Wed, Jan 6, 2010 at 11:57 AM, Roel van Dijk vandijk.r

Re: [Haskell-cafe] Mysterious factorial

2009-12-30 Thread Roel van Dijk
I can't offer much insight but could the answer lie in the Integer type? I suspect that with a sufficiently large fixed Int type (2^14 bits?) the performance of the two functions would be almost equal. Could it be that the second function delays the multiplication of large numbers as long as

Re: [Haskell-cafe] ANNOUNCE: unicode-symbols-0.1.1

2009-12-10 Thread Roel van Dijk
2009/12/10 Richard O'Keefe o...@cs.otago.ac.nz: On Dec 10, 2009, at 2:58 AM, Roel van Dijk wrote: I tried to be conservative with the choice of unicode symbols. I have defined the division sign (÷) to be (/). But it could just as well be defined as 'div'. No it couldn't.  One expects 3÷2

[Haskell-cafe] ANNOUNCE: ls-usb-0.1.0.2

2009-12-09 Thread Roel van Dijk
things. All in wonderful colours of course. The only major change is that it now depends on usb-0.3.* Regards, Roel van Dijk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] ANNOUNCE: unicode-symbols-0.1.1

2009-12-09 Thread Roel van Dijk
was inspired by unicode-prelude from Péter Diviánszky: http://hackage.haskell.org/package/unicode-prelude Regards, Roel van Dijk ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] ANNOUNCE: usb-0.3

2009-12-09 Thread Roel van Dijk
On Wed, Dec 9, 2009 at 4:20 PM, stefan kersten s...@k-hornz.de wrote: looks great, thanks! do you happen to have some example code for working with HID devices (mice, keyboards, etc.)? The usb package does not support the various device classes directly. You won't find a function like

Re: [Haskell-cafe] Hayoo and Hoogle (beginner question)

2009-12-07 Thread Roel van Dijk
On Mon, Dec 7, 2009 at 10:24 AM, Lyndon Maydwell maydw...@gmail.com wrote: I had heard that Hoogle actually compiled any type-signatures, where as Hayoo just did a text comparison. I'm not actually sure if this is true or not though. If it is, it would mean that [q] - [r] - [(q,r)] would

Re: [Haskell-cafe] Finding HP

2009-12-04 Thread Roel van Dijk
The suggestion was to have a single Download button, leading to a *page* of suitably described links, allowing the user to choose whether they only wanted the basics (a choice of compiler/interpreter + cabal), or the whole Platform, or something else.  It would be the ideal place to explain

  1   2   >