- Haskell-Cafe - Haskell.org

pandoc code bocks not working
by Anatoly Yakovenko 14 Feb '10

14 Feb '10

i am getting these failures with pandoc, or maybe i am not using markdown correctly 1. hello world ~~~~~~~~~ code block failed ~~~~~~~~~ * hello world ~~~~~~~~~ code block failed ~~~~~~~~~ * hello world clode block failed hello world =========== ~~~~~~~~~ code block ok ~~~~~~~~~

1 0

ANN: wyvern, a Dragon Go Server "client"
by wagnerdm＠seas.upenn.edu 14 Feb '10

14 Feb '10

I've just done the first release of wyvern [1], a small program to play moves for you on the Dragon Go Server [2], along with point releases for two supporting libraries. On DGS, people play many games of go simultaneously, making only one move per day in each game (about). A commonly requested feature is the ability to specify several moves in advance, and have them be played automatically whenever the opponent logs in. Wyvern provides this capability, as well as the ability to program in advance several "branches" -- conditional on the opponent's move. Along with wyvern, I've been developing two supplementary libraries. The "dgs" library [3] is a very small wrapper around DGS' handy robot interface. The "sgf" library [4] is a parser for the SGF file format (used to store games of go) that strives to balance using the type system to enforce the construction of correct SGF trees against conveniently manipulating said trees. It was also something of an experiment for me in documentation writing -- I may have gone a little overboard. =) If, like me, you love to mix Haskell and go, I invite you to check out one or more of these and let me know what you think. ~d [1] http://dmwit.com/wyvern [2] http://www.dragongoserver.net/ [3] http://hackage.haskell.org/package/dgs [4] http://hackage.haskell.org/package/sgf

1 0

Atom Examples
by Tom Hawkins 14 Feb '10

14 Feb '10

On Sun, Feb 14, 2010 at 1:30 AM, Yves Parès <limestrael(a)gmail.com> wrote: > > I've been interested in using Atom since I saw this: > http://blog.sw17ch.com/wordpress/?p=84 > However those samples are very outdated, do you have newer ones? Unfortunately, no. I wish I had the time to write Atom examples and tutorials, but I don't. So in lieu of a tutorial, here's a few modules we use on our real projects -- with limited documentation. Arbiter.hs: A general purpose non-preemptive arbiter than implements Lamport's bakery algorithm. We use this to arbitrate multiple software components that need to use the CAN protocol stacks for sending multi-packet messages. This is a good example that illustrates some of the benefits of atomic state transitions rules. What I find interesting is it works without any centralized arbiter logic; notice there are no rule declarations in mkArbiter. ECU.hs: This is the hardware abstraction layer to our ECU. Nothing too interesting, but a good example of how to wire Atom up to external C code. Note the ECU record includes a bunch of expressions (E types) and variables (V types). The expressions form the inputs, like ADCs and discrete inputs, and the mutable variables form the outputs, such as PWMs and discrete outputs. It also provides hooks to send and receive CAN messages. EVU.hs: The eVU is a little display mounted on the dash. It presents the driver with information such as charge pressure, mode settings, and fault conditions. The ECU talks to the eVU via the CAN bus. This is a good example because it illustrates a common object-oriented pattern we tend to use all over the place: the object contructor (mkEVU) creates some state variables, defines rules for stuff to do, and packages the state variables into an abstract type, or object (EVU); then methods operate on this object. In the case of EVU, the object constructor defines variables for the things the eVU displays, and it defines a rule to periodically send this information to the eVU device via CAN. And the methods set the various display elements such as the active fault code (setCode), the accumulator pressure (setCharge), and the active mode (setMode). Sensors.hs: Sensor processing, which takes data from the hardware abstraction layer (ECU.hs). One interesting feature is the oil temperature sensor computation. Based on a 1-D lookup table the 'lookup1D' function searches the table for the corresponding points and performs interpolation. In C, this probably would have been written as a for-loop that would compute the lookup on every sample. But because change in oil temperature is much slower than the sample rate of the system, we only need to search one row of the table every 50 samples or so (i.e. with rules 'below', 'above', 'next', and 'found'). This effectively spreads out the computation over many samples, thus lowering the processing latency of every sample. Doing this type of time-sharing in C would be tricky. But in Atom, it's trivial. One of the many ways Atom benefits hard realtime programming. I hope this helps. -Tom

2 1

ANN: Dungeons of Wor - a largish FRP example and a fun game, all in one!
by Patai Gergely 14 Feb '10

14 Feb '10

Hello all, I just uploaded the first public version of Dungeons of Wor [1], a homage to the renowned three-decade-old arcade game, Wizard of Wor. While it makes a fine time killer if you have a few minutes to spare, it might be of special interest to the lost souls who are trying to figure out FRP. The game was programmed using the Simple version of the experimental branch of Elerea [2], which provides first-class discrete streams to describe time-varying quantities, and the main game logic is described as a composition of streams instead of a world state transformer. Developing in this manner was an interesting experience, and I'll write about it in more detail over the weekend. All the best, Gergely [1] http://hackage.haskell.org/package/dow [2] http://hackage.haskell.org/packages/archive/elerea/1.2.3/doc/html/FRP-Elere… -- http://www.fastmail.fm - The professional email service

7 10

ANN: atom-1.0.0
by Tom Hawkins 14 Feb '10

14 Feb '10

Atom is a Haskell DSL for designing hard realtime embedded software. The 1.0 release is meant to indicate some level of stability; most of the core has been unchanged for quite some time. That said, there are a few interesting changes in 1.0. First the var' family of variable declarations (bool', word8', double', etc.) are no longer part of the Atom monad. For example: bool' :: Name -> V Bool This cleaned up quite a bit of code in our production design. This also made the randomization in Atom's unit testing framework monadless as well. The other significant change with 1.0 is all state variables are now packed into a hierarchical C structure that matches the hierarchy of the Atom design. Not only does this make the generated C a bit more legible, it is now possible to interface external C code directly to Atom's state variables and arrays. Prior to this change, all interfacing had to be done through var' declarations and action calls -- too often a messy process. To further aid interfacing to external code, Atom now generates a header file that exposes both the iterative function and the hierarchical state structure. -Tom http://hackage.haskell.org/package/atom

3 2

hsWidgets: yet another GUI library
by Yuras Shumovich 13 Feb '10

13 Feb '10

Hello First of all, sorry my pure english... My aim was to prove that haskell GUI library can be: - pure: does not use any kind of mutable variables - statically typed: does not use existential types, Data.Dynamic, etc. - easy to use: simple things should be simple - easy to extend: writing new widgets should be as simple as possible The result is here: http://community.haskell.org/~YurasShumovich/hsWidgets/ Usage example: http://community.haskell.org/~YurasShumovich/hsWidgets/src/Test.hs The library is based on X11 and is tested on Linux and Mac OS. It is only an experiment in haskell GUI design, so it is mainly useless (currently only label, button and button with label are implemented) and looks ugly. Your comments and ideas are highly welcome.

1 0

data-accessor-template-0.2.1.3 breaks cabal-install with ghc-6.12
by John Lato 13 Feb '10

13 Feb '10

Hello, I've recently run across an odd situation. I have a brand new install of GHC-6.12.1 (just did a fresh install of OSX 10.6), and am reinstalling some libraries. I've run into an unusual problem. I'm not sure if this would be considered a cabal bug or not, but I don't think it's a good situation. data-accessor-template depends upon template-haskell (>=2.2 && <2.4), unless built with the flag -ftemplate_2_4, in which case it depends upon template-haskell 2.4 (appropriate for ghc-6.12.1). The relevant lines of the .cabal file are: Flag template_2_4 description: Adapt to TemplateHaskell version of GHC-6.12 default: False If flag(template_2_4) Hs-Source-Dirs: src-5 Build-Depends: template-haskell >=2.4 && <2.5 Else Hs-Source-Dirs: src-3 Build-Depends: template-haskell >=2.2 && <2.4 I can install data-accessor-template when the template_2_4 flag is used, but then when I try to install a package that depends upon data-accessor-template cabal-install calculates the template-haskell >=2.2 && <2.4 dependency and attempts to fulfill it. Which fails at packedstring (can't find Data.Data in a hidden base package). I've included output from attempting to install Chart that demonstrates the behavior. Note that even though cabal-install sees data-accessor-template as installed, it attempts to reinstall it. John-Latos-MacBook:packages johnlato$ cabal install -v -O Chart In order, the following would be installed: packedstring-0.1.0.1 (new package) template-haskell-2.3.0.1 (new version) data-accessor-template-0.2.1.3 (reinstall) changes: template-haskell-2.4.0.0 -> 2.3.0.1 Chart-0.12 (new package) This affects everything down the dependency tree, notably Chart, criterion, and yi. I can work around this by specifying a previous version of data-accessor-template, but unfortunately I don't know how to address the real problem. Cheers, John

1 0

haskell-src type inference algorithm?
by Job Vranish 13 Feb '10

13 Feb '10

Anyone know of a type inference utility that can run right on haskell-src types? or one that could be easily adapted? I want to be able to pass in an HsExp and get back an HsQualType. It doesn't have to be fancy, plain Haskell98 types would do. It wouldn't be to hard to make one myself, but I figured there might be one floating around already and it'd be a shame to write it twice :) Thanks, - Job

7 10

Where are the Takusen sources?
by Jason Dagit 13 Feb '10

13 Feb '10

Hello, I wanted the takusen sources as I may want to add features. I looked on hackage and it lists this url for the repository: http://darcs.haskell.org/takusen I get a 404 on that URL. I checked Oleg's website: http://okmij.org/ftp/Haskell/misc.html#takusen And the links on that page have similar problems. I see that the 0.8.5 release has source on hackage, but I would prefer access to the full repository as I may want to send patches. Does anyone know what has happened to Takusen? Thanks, Jason

2 2

ANN: hmatrix 0.8.3
by Alberto Ruiz 13 Feb '10

13 Feb '10

Hello, I have released a new version of hmatrix, a library for numeric computation based on LAPACK, BLAS and GSL. Recent developments include improved SVD functions, a simple ODE solver, easier OS/X installation (thanks to H. Apfelmus), and updated tutorial. hackage : http://hackage.haskell.org/package/hmatrix home page: http://code.haskell.org/hmatrix tutorial : http://code.haskell.org/hmatrix/hmatrix.pdf Any feedback is welcome! Alberto Ruiz

2 1