[Haskell-cafe] Install wx on Windows XP

2013-03-26 Thread Eric Wong
Hi Haskellers, I'm trying to install wxHaskell on Windows XP. I have already installed Haskell Platform 2012.04.0.0, MinGW and wxWidgets. When I try to install wx, I got the following error when cabal is installing wxcore: $ cabal install wx Resolving dependencies... [1 of 1] Compiling Main

[Haskell-cafe] typed final-tagless HOAS interpreter for linear lambda calculus

2013-03-26 Thread jeff p
{- This message presents a typed final-tagless HOAS interpreter for linear lambda calculus (LLC), which makes use of type families and datatype promotion. This code is inspired by Oleg's LLC interpreter using deBruijn indices (http://okmij.org/ftp/tagless-final/course/LinearLC.hs). The basic

Re: [Haskell-cafe] Make a DSL serializable

2013-03-26 Thread luc taesch
On 2013-03-25 19:00:42 +, Alberto G. Corona said: It is  possible as long as there is a empty event and there is a operation that mix two events to créate an state and an operation that mix an state and a event to créate an state. I just read thisat a time I am learning FRP

Re: [Haskell-cafe] my take at knucleotide

2013-03-26 Thread Branimir Maksimovic
Finally, I have made it ;)Trick was in more threads . For some reason if I run 64 (sweet spot) threads program runsfaster both with -threaded and without ;)Other trick is that I don't convert to uppercase (shaves second) rather pack nucleotidein 64 bit int.Program runs 30% faster multithreaded

Re: [Haskell-cafe] Pattern matching with singletons

2013-03-26 Thread Richard Eisenberg
Hello Paul, - Forwarded message from Paul Brauner polux2...@gmail.com - snip - is a ~ ('CC ('Left 'CA)) a consequence of the definitions of SCC, SLeft, ... (in which case GHC could infer it but for some reason can't) - or are these pattern + definitions not sufficient to prove

Re: [Haskell-cafe] Install wx on Windows XP

2013-03-26 Thread Henk-Jan van Tuyl
On Tue, 26 Mar 2013 08:58:18 +0100, Eric Wong wsy...@gmail.com wrote: Hi Haskellers, I'm trying to install wxHaskell on Windows XP. I have already installed Haskell Platform 2012.04.0.0, MinGW and wxWidgets. When I try to install wx, I got the following error when cabal is installing

Re: [Haskell-cafe] Make a DSL serializable

2013-03-26 Thread Alberto G. Corona
Hi Luc, I really don't know what exactly what FRP is. Every time i read about it, I figure out different things depending on the library. I used the term event in a wider way as something that happens in the computation no matter if it is generated inside or outside. Workflow does not handle

Re: [Haskell-cafe] Future of MonadCatchIO

2013-03-26 Thread Edward Z. Yang
While block and unblock have been removed from base, they are still implementable in modern GHC. So another possible future is to deprecate MonadCatchIO (which should have been done a while ago, honestly!), but manually redefine the functions so that old code keeps working. Edward Excerpts

[Haskell-cafe] Word8 literals in ByteString haddock?

2013-03-26 Thread Niklas Hambüchen
Hey, according to http://hackage.haskell.org/packages/archive/bytestring/0.10.2.0/doc/html/Data-ByteString.html#v:split I can write: split '\n' a\nb\nd\ne Can I really do that? I don't know of a way to make a '\n' literal be a Word8, so maybe these Haddocks are wrong? I guess they would apply