- Haskell-Cafe - Haskell.org

Function code generation (Template Haskell).
by Serguey Zefirov 18 Sep '11

18 Sep '11

The task is that I have some function and I need to create another function alongside with it. The second function is based on first one. As a matter of fact, I already did this with Template Haskell. TH is quite good at that task, because I can load my module in ghci and have both functions available for experiments. I just wondering, is it possible to use newly introduced ghc plugins to do something like that? Could I create new functions while inspecting defined ones? Will they be visible in ghci?

1 0

ANN: usb-1.0, bindings-libusb-1.4.4 and usb-iteratee-0.4
by Bas van Dijk 18 Sep '11

18 Sep '11

Fellow Haskellers, I would like to announce the 1.0 release of the usb library! This library lets you to communicate with USB devices from userspace. It is implemented as a high-level wrapper around bindings-libusb[1] which is a low-level binding to the portable C library: libusb-1.0 ( http://libusb.org ). I think a 1.0 release is warranted since I have been successfully using the library in an industrial application at Sensor Sense for some time now. This release also adds the last piece of functionality that was missing from previous releases: isochronous transfers. These let you communicate with USB video or audio devices for example. A second major change is that all I/O functions, while still having a synchronous interface (they block), are now implemented asynchronously. This makes them more efficient (no busy-loops) and interruptible (just throw an asynchronous exception to the thread executing a transfer and the transfer is automatically canceled). The implementation uses the GHC event manager for event handling. If the event manager is not available, because you're either: not using GHC, building your program without -threaded or you're on Windows the implementation degrades gracefully to the synchronous implementation. Other changes: * Added writeControlExact :: DeviceHandle -> ControlAction WriteExactAction. * All I/O functions which previously returned the boolean TimedOut now return a: data Status = Completed | TimedOut. * Added the timeout constant: noTimeout :: Timeout. * Added function: maxIsoPacketSize :: EndpointDesc -> Size Which calculates the maximum packet size which a specific endpoint is capable of sending or receiving in the duration of 1 microframe. This function is mainly useful for setting up isochronous transfers. * Added some specific IOExceptions: ioException :: USBException incompleteReadException :: USBException incompleteWriteException :: USBException * Renamed System.USB.IO.Synchronous to just System.USB.IO. * Renamed System.USB.Unsafe to System.USB.Internal and exported more functions from it which are primarily needed in the usb-iteratee package. * Fixed some bugs. * Switched from darcs to git and hosted the project on github: https://github.com/basvandijk/usb/ API Docs: http://hackage.haskell.org/package/usb-1.0 Installing: $ cabal update $ cabal install usb I would like to thank John Obbele for pushing me to write the asynchronous implementation and for testing the library. Also thanks to Joris Putcuyps for testing the library on Windows. Unfortunately the library doesn't yet work on that platform due to a weird segmentation fault: http://hackage.haskell.org/trac/ghc/ticket/5254. Hopefully we will solve it in the near future. bindings-libusb =============== The usb library is based on bindings-libusb which is a low-level binding to the libusb C library. I recently took over maintenance of this package from Maurício Antunes. Maurício, thanks for creating and maintaining this package! It greatly simplified the task of writing the high-level wrapper. API Docs: http://hackage.haskell.org/package/bindings-libusb-1.4.4 usb-iteratee ============ I also released a new library: usb-iteratee which provides iteratee enumerators for the usb package. Note that this package was previously called usb-enumerator. However I'm planning to rewrite the latter to offer enumerators for the enumerator package instead. API Docs: http://hackage.haskell.org/package/usb-iteratee-0.4 Regards, Bas

1 0

[Haskell] [ANNOUNCE] Haskdogs-0.1
by Sergey Mironov 17 Sep '11

17 Sep '11

Hi! I am pleased to announce haskdogs - project-level ctag file generator. haskdogs is a small shellscript-like tool which creates tag file for entire haskell project directory. It takes into account first-level dependencies by recursively scanning imports and adding matching packages to the final tag list. As a result, programmer can use his/her text editor supporting tags (vim, for example) to jump directly to definition of any standard or foreign function he/she uses. Note, that haskdogs calls some Unix shell commands like test or mkdir so this tool will likely fail to work on pure Windows platforms. To use it, do 0) cabal install hasktags haskdogs && mkdir -p ~/.cabal/var/haskdogs 1) cabal unpack TrickyProject-4.2 && cd TrickyProject-4.2 2) haskdogs 3) enjoy the tagfile with references to every function http://hackage.haskell.org/package/haskdogs-0.1 Sergey

4 5

Error in Installing Data.deriveTH
by mukesh tiwari 17 Sep '11

17 Sep '11

Hello all I am trying to install Data.deriveTH . When i tried cabal install derive , i got this error. ntro@ntro-HP-dx2480-MT-NA121PA:~/Mukesh/assignment_haskell/work$ cabal install deriveResolving dependencies...<command line>: cannot satisfy -package Cabal-1.10.2.0: Cabal-1.10.2.0-072fce39d68f011c6a364057a3d15270 is unusable due to missing or recursive dependencies: containers-0.3.0.0-ee442470d8dcc9e45f31677c400c5379 (use -v for more information)cabal: Error: some packages failed to install:derive-2.5.4 depends on haskell-src-exts-1.11.1 which failed to install.haskell-src-exts-1.11.1 failed during the configure step. The exception was:ExitFailure 1 ntro@ntro-HP-dx2480-MT-NA121PA:~/Mukesh/assignment_haskell/work$ cabal install haskell-src-extsResolving dependencies...<command line>: cannot satisfy -package Cabal-1.10.2.0: Cabal-1.10.2.0-072fce39d68f011c6a364057a3d15270 is unusable due to missing or recursive dependencies: containers-0.3.0.0-ee442470d8dcc9e45f31677c400c5379 (use -v for more information)cabal: Error: some packages failed to install:haskell-src-exts-1.11.1 failed during the configure step. The exception was:ExitFailure 1 ntro@ntro-HP-dx2480-MT-NA121PA:~/Mukesh/assignment_haskell/work$ cabal install containersResolving dependencies...No packages to be installed. All the requested packages are already installed.If you want to reinstall anyway then use the --reinstall flag. I tried to resolve this issue on #haskell and i got suggestion that it was due to conflict in global and local namespace [ see here for more detail http://hpaste.org/51376 ]. One idea is i should wipe ~/.ghc and install all the libraries individually. Could some one please suggest if there is another idea to resolve this issue. Currently i have ghc-6.12.3 and installing ghc-7.0 will resolve the issue ? Thank you Mukesh Tiwari .

4 7

Packaged my log visualization tools
by Eugene Kirpichov 17 Sep '11

17 Sep '11

Hello cafe, I've packaged my log visualization tools in binary form for several platforms. Perhaps those of you who have better things to do than struggle installing them from source will find this useful :) Here you go: http://jkff.info/presentations/two-visualization-tools.pdf Documentation http://jkff.info/software/timeplotters-0.1-1_win32.zip Windows (any architecture) http://jkff.info/software/timeplotters-0.1-1_i386.deb Debian (i386) http://jkff.info/software/timeplotters-0.1-1_amd64.deb Debian (amd64) http://jkff.info/software/timeplotters-0.1-1_i386.tar.gz *nix binaries (i386), require gtk2.0, gmp3, libc6. http://jkff.info/software/timeplotters-0.1-1_amd64.tar.gz *nix binaries (amd64), require gtk2.0, gmp3, libc6. -- Eugene Kirpichov Principal Engineer, Mirantis Inc. http://www.mirantis.com/ Editor, http://fprog.ru/

1 0

ANNOUNCE: qrcode: QR Code encoder in pure Haskell
by Chris Yuen 17 Sep '11

17 Sep '11

Hello cafe, My first Hackage upload is a pure Haskell QR Code library ( http://hackage.haskell.org/package/qrcode-0.1) This is intended to be a full featured QR Code library with encoding and decoding and other advanced features. Currently it can only do encoding but I figured it would be nice to get some early feedback so here we go :) Cheer, Chris

2 1

pattern matching instead of prelude.head
by Michael Litchard 16 Sep '11

16 Sep '11

Someone commented on StackOverflow that pattern matching the first element of a list was preferable to head. This makes sense intuitively. Could someone articulate the reason why this is true?

5 4

VirtuaHac - online Haskell hacathon
by Chris Smith 16 Sep '11

16 Sep '11

Overview ======== VirtuaHac is a Haskell hacathon being planned using Google+ and a Wiki. The rules will be that if you have a project you'd like to participate in, then: 1. Create a darcs or git repository. 2. Post a Hangout in Google+. 3. Add a name, brief description, and links to the preceding two items to the Wiki. This way, we hope to recreate the idea of a Hacathon, but without the travel expenses or inconvenience. What Next? ========== I'm taking a poll of availability, at https://docs.google.com/spreadsheet/viewform?formkey=dDZ3Tjh1RzVDeHdRYWhNTk… The poll will remain open for the next week, after which I'll choose a date so we can all start planning. -- Chris Smith

2 2

ANN: numerals
by Roel van Dijk 16 Sep '11

16 Sep '11

Hello everyone, I would like to announce the release of the numerals and numerals-base packages. * Numerals The numerals package contains functions to convert numbers to number words in a number of languages. For now the package only supports cardinal numbers. Example: >>> import qualified Text.Numeral.Language.EN as EN >>> EN.uk_cardinal 123 :: Maybe String Just "one hundred and twenty-three" You can also inspect the underlying structure of a number word: >>> import Text.Numerals >>> EN.shortScaleStruct 123 :: Exp Add (Mul (Lit 1) (Lit 100)) (Add (Mul (Lit 2) (Lit 10)) (Lit 3)) Compare this structure with the number word: 1 (one) * 100 (hundred) + (and) 2 (twen) * 10 (ty) + 3 (three) The package also comes with a test suite: >>> cabal configure --enable-tests >>> cabal build >>> ./dist/build/test-numerals/test-numerals --hide-successes I recommend the "--hide-successes" option of test-framework (>=0.4) because there are many tests (3383). * Numerals-base The numerals-base package contains all the machinery upon which numerals is build. Using this package you can write conversion functions for your own language(s). It is documented, although the documentation can be improved. For now the numerals package is probably the best documentation. * Resources: Hackage: http://hackage.haskell.org/package/numerals http://hackage.haskell.org/package/numerals-base Github: http://github.com/roelvandijk/numerals http://github.com/roelvandijk/numerals-base * Help wanted Currently I support 24 languages. But I only have some experience with 4 of them. The rest is scraped together with information I found online. For most languages I can find online how to form the first 100 cardinal numbers. But after that information is sparse. You can help by checking and expanding the test suite. This is very simple because the test suite consists only of numbers combined with the expected cardinal number word. Regards, Roel van Dijk

2 2

ANN: Webwire 0.1.0, netwire 1.2.5
by Ertugrul Soeylemez 16 Sep '11

16 Sep '11

Hello fellow Haskellers, webwire is an experimental web framework based on the functional reactive programming library netwire. It uses WAI under the hood and right now features only a subset of the very basics of what you need to write web sites. Features: * Reactive programming of web sites. * Stick together subapplications similar to Happstack. * Build web pages piece by piece using Yesod-inspired widgets. * Builtin support for "shakespearean" templates. * Builtin support for selecting output types (like HTML/JSON). * Simple Happstack-style routing functionality. * Very simple overall design. * And as always: 100% Haddock documentation coverage. Its aim is to combine all the good features of continuation-based web frameworks by hiding as much as possible of the stateless nature of HTTP. Through the netwire library it introduces some new design patterns, which appear to work amazingly well for web applications: * Powerful new design pattern for sessions: Through netwire's context-sensitive wires it becomes almost trivial to have separate subwires for every user. This way you can write your applications like you were in a dialog with the user. I'm planning to implement forms based on the same design pattern. * Feedback and choice make it easy to express complicated inter-request data dependencies. And together with webwire I have also released a new version of netwire. Changes include: * Generalized context wire transformers. * Generalized session functions. * Signal injection (reinject exhibited signals). Thanks go to: Cale Gibbard for support with AFRP, the Yesod team for lots of useful libraries. Keep the feedback coming! Greets, Ertugrul -- nightmare = unsafePerformIO (getWrongWife >>= sex) http://ertes.de/

4 9