November 2010 - Haskell-Cafe

Plot Haskell functions in TikZ
by Henning Thielemann 26 Nov '10

26 Nov '10

I'd like to draw function graphs in a LaTeX document. I'm using PGF/TikZ that allows to interact with gnuplot, but it does not use gnuplot as plotter but just for function evaluation. And gnuplot is not very good at this, it does not even know 'min' or 'max'. pgfmanual.pdf says, that in the TikZ you can write in a tikzpicture environment: --plot[local options] function {gnuplot formula} This command does two things: 1. It writes a gnuplot script containing the formula to a file like plot-name.gnuplot . 2. It checks for a data table in plot-name.table and displays the contained curve. Outside of LaTeX, say in a Makefile, you call gnuplot in order to run plot-name.gnuplot and receive plot-name.table: %.table: %.gnuplot gnuplot $< Now you can easily guess, what I want to do. I like to write a Haskell formula in '--plot' and get a Haskell program, that renders the table. The LaTeX macro invocation should look like: --plot[local options] haskellfunction {haskell formula} The Make rule should look like: %.table: %.hs runhaskell $< Has anyone tried to write such a '--plot' command for TikZ?

2 1

Template Haskell: exchanging information between 'splicers'
by jean-christophe mincke 26 Nov '10

26 Nov '10

Hello, Does anyone know a clean solution to pass information between 2 executions of splicers. Ex. $(splicer ....) -- first invocation gather and store some data .... $(splicer ...) -- second one use the data gathered above. Thank you Regards J-C

1 0

How to instance class with functional dependency?
by Magicloud Magiclouds 26 Nov '10

26 Nov '10

Hi, In System.Posix.IOCtl, there is such a class: class Storable d => IOControl req d | req -> d where ioctlReqSource :: req -> CInt How to instance it? I do it as: data TIOCGWINSZ = TIOCGWINSZ #starttype struct winsize #field ws_row , CUShort #field ws_col , CUShort #field ws_xpixel , CUShort #field ws_ypixel , CUShort #stoptype instance IOControl TIOCGWINSZ C'winsize where ioctlReq _ = #const TIOCGWINSZ Then I got: topIO.hs:19:0: Couldn't match expected type `C'winsize' against inferred type `Int' When using functional dependencies to combine IOControl (Foreign.C.Types.CUShort -> Foreign.C.Types.CUShort -> Foreign.C.Types.CUShort -> Foreign.C.Types.CUShort -> C'winsize) Int, arising from a use of `ioctl'' at topIO.hs:21:35-60 IOControl (Foreign.C.Types.CUShort -> Foreign.C.Types.CUShort -> Foreign.C.Types.CUShort -> Foreign.C.Types.CUShort -> C'winsize) C'winsize, arising from a use of `ioctl'' at topIO.hs:20:12-37 When generalising the type(s) for `main' -- 竹密岂妨流水过山高哪阻野云飞

2 1

Eq instance for Chan
by Mitar 25 Nov '10

25 Nov '10

Hi! Why is there no Eq instance for Chan? There is Eq for MVar so it is quite possible to define also Eq for Chan? What I would like to do is keep track how many consumers I have for each Chan so duplicating them with dupChan as necessary. So I was thinking of storing a list of Chans which already have a consumer and then duplicating it if another (and every additional) consumer would be added. But without Eq it is not possible to check if there is Chan already in a list (and I hope Eq would compare just Chan and not its content). Is there some other way to achieve this? Mitar

4 5

Precedence of "if then else"
by Sean Leather 25 Nov '10

25 Nov '10

This may be a silly, but I occasionally run into a situation where I'm wondering what the effective precedence of "if then else" is. I was finally motivated to do a few experiments, and it seems like the precedence level is reset (below 0) after "if", "then", and "else". λ> if not $ False then "here" else "x" "here" λ> if False then (++ "y") $ "x" else "here" "here" λ> if True then "here" else (++ "y") $ "x" "here" I suppose I knew this was the case with "if", but I had not given it much thought for "then" or "else". Of course, it makes sense. It's the same for "case" and many other syntactic constructs. I was wondering where this was defined in the Language Report. I had looked for prose, but found nothing. Now, I look at it again (with more motivation) and see it (clearly) in the following excerpt of the grammar (Ch. 3 Expressions): exp → infixexp :: [context =>] type (expression type signature) | infixexp infixexp → lexp qop infixexp (infix operator application) | - infixexp (prefix negation) | lexp lexp → \ apat1 … apatn -> exp (lambda abstraction, n ≥ 1) | let decls in exp (let expression) | if exp [;] then exp [;] else exp (conditional) | case exp of { alts } (case expression) ... Plainly and simply, this says that all infix expressions (infixexp) are expressions (exp), and these can be found in "if then else" and "case" among others. So, while I was looking for something regarding precedence, it is actually defined straightforwardly in the grammar. In case others happen to search for the same thing I did, maybe this will provide them with an answer of sorts. Regards, Sean

1 0

Monadic function purity
by Gregory Propf 25 Nov '10

25 Nov '10

I have a pretty basic question. I've been wondering about whether monadic functions that do NOT us IO can be pure or not. There seems to be some confusion on this topic on the web. I'm especially interested in whether they can be memoized. It seems to me that something like a function in the State monad should be pure provided the same initial state and same function arguments are present. Likewise with the list monad and most other monads in fact.

4 3

Equality constraint "synonyms"
by Hugo Pacheco 25 Nov '10

25 Nov '10

Dear Haskellers, When programming with type functions, I often find myself with a set of invariants that are frequent in my programs and can be expressed as equality constraints on the context of the functions. I wonder if there is any way in current GHC to express some kind of synonyms for equality constraints, to avoid a fixed set of constraints for a smaller expression. The natural way for type classes would be to create a superclass containing all the desired instances class (A a, B a) => C a where {} but as from http://hackage.haskell.org/trac/ghc/ticket/2715, equality constraints are currently not supported in class contexts, what might be reasonable. However, in fact I am just looking for some kind syntactic sugar. Would this be a desired feature for other people? Regards, hugo -- www.di.uminho.pt/~hpacheco

3 3

ANN: tskiplist-0.0.0
by Peter Robinson 25 Nov '10

25 Nov '10

This package [1] provides an implementation of a skip list using STM. A skip list is a probabilistic data structure with Data.Map-like operations. In contrast to a balanced tree, a skip list does not need any (expensive) rebalancing, which makes it particularly suitable for concurrent programming. You can find some documentation on how to use it here: http://darcs.monoid.at/tskiplist/dist/doc/html/tskiplist/Control-Concurrent… Feedback appreciated! Peter [1] http://hackage.haskell.org/package/tskiplist-0.0.0

1 0

Женская логика
by Vovan 24 Nov '10

24 Nov '10

Хотите понимать женщин? Знать реальные их мысли, когда они пытаются спрятать их за совершенно отвлеченными речами? На практических тренингах Академии Знакомств вы в реальных условиях научитесь быть предупредительным и понимающим мужчиной для женщин. http://samec.org.ua/?p=202 Не верите? Попробуйте, вам понравится. Желаю вам больших научных успехов.

1 0

Пикап
by Vovan 24 Nov '10

24 Nov '10

Пикап блог один из лучший информативных сайтов о в Украине, который помогает мужчинам в разы улучшить их личную и сексуальную жизнь дает ответы на вопрос как познакомиться с девушкой? , и решить множество проблем, найти ответы которые помогут Вам стать настоящими мужчинами!!!

1 0