- Haskell-Cafe - Haskell.org

ANN: epoll bindings 0.1.1
by Toralf Wittner 25 Aug '09

25 Aug '09

Hi, I am pleased to announce the release of epoll bindings 0.1.1 available from: http://hackage.haskell.org/package/epoll Epoll is an I/O event notification facility for Linux similar to poll but with good scaling characteristics. Currently the bindings are fairly low level and close to the C API. In the future I hope to add some buffer or stream abstraction on top. Eventually, when GHC can make use of epoll/kqueue etc. in addition to select, this library will not be needed anymore. Until then it might be useful for applications which monitor large numbers of file descriptors. -Toralf

1 0

Is logBase right?
by Roberto 25 Aug '09

25 Aug '09

Hi, There is a mistake is logBase: $ ghci GHCi, version 6.10.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer ... linking ... done. Loading package base ... linking ... done. Prelude> logBase 10 10 1.0 Prelude> logBase 10 100 2.0 Prelude> logBase 10 1000 2.9999999999999996 <--- eeeerrgghhhh! Prelude> logBase 10 10000 4.0 My host is a Debian GNU/Linux 5.0.2 (lenny) with the following GHC packages: ii ghc6 6.10.4-1 ii ghc6-doc 6.10.4-1 ii libghc6-mtl-dev 1.1.0.2-7+b1 ii libghc6-utf8-string-dev 0.3.5-1+b1 ii libghc6-x11-dev 1.4.5-6 rc libghc6-x11-doc 1.4.2-1 ii libghc6-x11-xft-dev 0.3-3+b3 ii libghc6-xmonad-contrib-dev 0.8.1-3+b3 rc libghc6-xmonad-contrib-doc 0.8-2 ii libghc6-xmonad-dev 0.8.1-5 Regards!

10 10

Re: Converting typeset mathematics into Haskell ?
by Bernd Brassel 25 Aug '09

25 Aug '09

Sometimes the synchronicity of events is eery. Incidentally I have just written a proposal for just such a project. You can have a look at it at http://www-ps.informatik.uni-kiel.de/~bbr/WebOfProofs.html Although not directly mentioned in the proposal, there will be a lot of "Converting typeset mathematics into Haskell" going on. Kind regards Bernd PS: And just in case I did it wrong again; this is the message I wanted to reply to http://www.haskell.org/pipermail/haskell-cafe/2009-August/065572.html

2 1

Converting typeset mathematics into Haskell ?
by Mark Wassell 25 Aug '09

25 Aug '09

Does anyone know of any papers or projects, either for Haskell or any other language, that relate to what I am going to attempt to describe in the following: Go to any paper or book that includes some amount of calculation type mathematics. An example is the formula in the Description section of http://en.wikipedia.org/wiki/K-means_clustering. Think about how you would convert this into Haskell. You might then find yourself wondering why you have to convert it into Haskell at all. Given that most mathematics online is typeset using something like latex or mathml, why can't we parse this typesetting and convert it into Haskell code? In all likelyhood the conversion might be ambiguous so some rules might be needed to guide the conversion. Furthermore, if there are editors that allow you to edit these sorts of equations in a wysiwyg style, why not leverage these to edit the Haskell+Math code also in a wysiwyg style. I think this goes to the larger question of why are most programming languages (or to be more exact the way we write programs in those languages) is still based around a linear sequence of tokens rather than something that is more 2D (there is still some linearity as even in math formula there is still a top down and left to right flow). Mark

4 3

Generics for constructing Rows
by Max Desyatov 25 Aug '09

25 Aug '09

Hi, all. I've come into trouble defining function `gmap` which will work on these data types: > data Row = Row > (E Name) > (E Salary) > (E Department) > type E a = Either (Maybe RowIndex) (Maybe a) > type RowIndex = Int `RowIndex`, `Name`, `Salary`, `Department` have kind * pseudocode: > gmap :: (E a -> E a) -> Row -> Row > readRow :: [String] -> Row -> Row > readRow l = gmap (\(Left (Just ri)) -> Right $ l `atMay` c >>= readMay) `atMay` and `readMay` are defined in module `Safe` from package `safe` > atMay :: [a] -> Int -> Maybe a > readMay :: (Read a) => String -> Maybe a Basically we have optional Row indices and try to read raw row (list of Strings) into the same Row type if index is present. At this moment I just have separate data type for row which has been read and just a list of row indices, but it is definitely flawed when I need to add fields to Row from time to time, as it is too easy to introduce bugs while positioning in list of row indices, not mentioning all those boilerplate code flowing around. I've tried to define gmap using libraries for generic programming but failed each time while type checking for different reasons. With `Data.Generics` and `gmapT` it fails because gmapT doesn't allow traversion function to have `Read a` constraint (Data and Typeable instances for Row and inner data types of course were derived). EMGM's map demands traversion function to be non-polymorphic, i.e. type-checker fails with the message, complaining it cannot match `E a` against `E Name`, against `E Salary` etc. For each of this I've spent smth about five hours just reading API docs, papers, and trying to beat type-checker. Maybe I'll look into Smash, RepLib and others, but I hope someone was also trying to define such gmap and succeeded. So, generic programming folks, is it even possible to define such function? I don't really care about using GHC extensions, I don't care about code being portable, I just want to remove boilerplate and prevent introducing bugs. Thanks in advance, Max.

3 5

ANNOUNCE: graphtype — A simple tool to illustrate dependencies between Haskell types
by Max Desyatov 25 Aug '09

25 Aug '09

While developing applications which deal with complex data it is crucial to know how exactly you manipulate this data. Haskell provides excellent tools for expressing a data scheme you work with: ADTs, `type` and `newtype` declarations, type classes and much more is hidden in rich Haskell's type system. Obviously, when types of data in your domain you work with grow — all declarations grow, and it becomes hard to grasp all dependencies, to change them and to remove them deliberately. graphtype was developed to visualise type declarations in you Haskell source files. It produces .dot-file for subsequent processing with graphviz. Results for example file bundled with graphtype: http://i.piccy.info/i4/00/90/bfa07290012c2d3b455696bdaa86.png To play with it, you can use hackage: http://hackage.haskell.org/package/graphtype or hack some code: http://github.com/explicitcall/graphtype Visualisation of dependencies in complex type class hierarchies is still on the way. It isn't obvious how do to this nicely, as in most cases type class declarations are imported from other libraries, and you don't always have source files for them. Anyway, graphtype is fairly usable. Leave here your questions, suggestions and have fun looking at type dependencies in your code. WBR, Max

2 1

Linking problem with GHCi
by Maurício CA 24 Aug '09

24 Aug '09

With a specific package (bindings-common, with the latest version in hackage) if I ask GHCi to read it I get: ghc-6.8.2: /home/mauricio/lib/bindings-common-0.2.5/ghc-6.8.2/HSbindings-common-0.2.5.o: unknown symbol `atexit' If I build a library or executable cabal package depending on it, I have no problems. Also, if I remove that 'atexit' wrap from 'bindings-common' I don't get this ghci error message anymore. Why would just this 'atexit' function be a problem? It's wrap does work well, and I can use it from a Haskell program through bindings-common (although not in ghci, of course). This happens at least in ghc-6.8.2 and 6.10.3. Thanks, Maurício

1 1

rotate image
by h 24 Aug '09

24 Aug '09

Hello, I already studied the references of gtk2hs for hours, as well as searched in the web, but didn't found any working solution. The problem is to load an image, a png with alpha channel, rotate it e.g. 10 degree, and show it on the screen, basically as when it would be shown with imageNewFromFile with transparency. Thanks in advance for your help. -- Best regards H.

3 2

ANN: rss2irc 0.3 released
by Simon Michael 24 Aug '09

24 Aug '09

rss2irc is an irc bot created by Don Stewart to watch rss feeds and announce new items on irc. I have been tweaking and testing it for a while, and have taken up the maintainer reins. I'm happy to announce release 0.3, with: - reliable http networking - irc flood protection - better error handling & reporting - extensive debugging output - Atom support - more useful defaults (enter channel silently, hide email addresses etc.) - precise control of irc output, including regexp rewrites - installable on mac osx Feedback and patches welcome. I am currently using it to run a number of announce-bots on freenode, including hackagebot and darcscommitbot. (A tip: if you experiment, avoid joining the irc server too frequently; once per minute may be ok.) home: http://hackage.haskell.org/package/rss2irc darcs repo: http://joyful.com/darcsweb/darcsweb.cgi?r=rss2irc -Simon

1 0

Problem building encoding-0.6.0: missing Data.CharMap.Builder
by João Rafael Nicola 24 Aug '09

24 Aug '09

Hi, I am trying to install the encoding-0.6.0 package, but it complains that that package "Data.CharMap.Builder" is missing. I could not find any reference to that package anywhere on the web. Does anyone know where I can find it or a workaround? Thanks, João Rafael > cabal install encoding Resolving dependencies... /tmp/encoding-0.6.08632/encoding-0.6.0/Data/Encoding/Preprocessor/XMLMappingBuilder.hs:11:7: Could not find module `Data.CharMap.Builder': Use -v to see a list of the files searched for. cabal: Error: some packages failed to install: encoding-0.6.0 failed during the configure step. The exception was: exit: ExitFailure 1

1 0