Re: [Haskell-cafe] primitive operations in StateT

2013-04-15 Thread Ivan Lazar Miljenovic
On 16 April 2013 15:56, Clark Gaebel wrote: > The monad my code is currently written in is: > > type MC = MCT Identity -- where MCT is the monad transformer version of it. > > I have two options for threading state through this: > > MCT (ST s) a > StateT s MC a > > The first option would w

Re: [Haskell-cafe] primitive operations in StateT

2013-04-15 Thread Clark Gaebel
*sigh* nevermind. I found it. Turns out there was: liftMCT :: (Monad m) => MC a -> MCT m a in an unexported module in the monte-carlo package all along. I just need to export it and I'll be good to go. Thanks for your help! - Clark On Tuesday, April 16, 2013, Clark Gaebel wrote: > The monad

Re: [Haskell-cafe] primitive operations in StateT

2013-04-15 Thread Clark Gaebel
The monad my code is currently written in is: type MC = MCT Identity -- where MCT is the monad transformer version of it. I have two options for threading state through this: MCT (ST s) a StateT s MC a The first option would work if I had some function with the signature MCT Identity a

Re: [Haskell-cafe] primitive operations in StateT

2013-04-15 Thread Ivan Lazar Miljenovic
On 16 April 2013 15:04, Clark Gaebel wrote: > Hi list! > > I want to use MVectors in a StateT monad transformer. > > How do I do that? StateT isn't a member of 'PrimMonad', and I have no idea > how to make it one. You can use Control.Monad.Trans.lift to lift the PrimMonad operations to PrimMonad

Re: [Haskell-cafe] Google Summer of Code

2013-04-15 Thread Roman Cheplyaka
* Marcos Pividori [2013-04-15 22:47:41-0300] > Hi, I am a Computer Science student from Argentina. I am interested in > working this summer on some project related to Haskell for the Google > Summer of Code. I have learned a lot about this, because in my career, we > have a special approach in fun

[Haskell-cafe] primitive operations in StateT

2013-04-15 Thread Clark Gaebel
Hi list! I want to use MVectors in a StateT monad transformer. How do I do that? StateT isn't a member of 'PrimMonad', and I have no idea how to make it one. Regards, - Clark ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.o

Re: [Haskell-cafe] How to design an network client with user program.

2013-04-15 Thread Joey Adams
I've been struggling with a similar situation: a client and server that communicate with binary-encoded messages, sending "heartbeats" (dummy messages) every 30 seconds, and timing out the connection if no response is received in 3 minutes. The client sends data to the server, while also listening

[Haskell-cafe] Google Summer of Code

2013-04-15 Thread Marcos Pividori
Hi, I am a Computer Science student from Argentina. I am interested in working this summer on some project related to Haskell for the Google Summer of Code. I have learned a lot about this, because in my career, we have a special approach in functional programming. So, I would like to know about re

Re: [Haskell-cafe] unsafeInterleaveST (and IO) is really unsafe

2013-04-15 Thread David Sabel
Am 13.04.2013 00:37, schrieb Timon Gehr: On 04/12/2013 10:24 AM, o...@okmij.org wrote: Timon Gehr wrote: I am not sure that the two statements are equivalent. Above you say that the context distinguishes x == y from y == x and below you say that it distinguishes them in one possible run. I

Re: [Haskell-cafe] GSoC proposal: Data Visualization

2013-04-15 Thread Ernesto Rodriguez
Dear All, Data visualization for hMatrix is basically my main objective, but I would like to be flexible in the following ways: * Have generic approach so other data types can be visualized with my library as long as the necessary instances are present. * Define a generic standard to represent

Re: [Haskell-cafe] NaN as Integer value

2013-04-15 Thread Gabriel Dos Reis
On Sun, Apr 14, 2013 at 7:53 PM, Kim-Ee Yeoh wrote: > On Sun, Apr 14, 2013 at 3:28 PM, wren ng thornton wrote: >> Whereas the problematic >> values due to infinities are overspecified, so no matter which answer you >> pick it's guaranteed to be the wrong answer half the time. >> >> Part of this w

Re: [Haskell-cafe] GSoC proposal: Data Visualization

2013-04-15 Thread Heinrich Apfelmus
Ernesto Rodriguez wrote: For me it would already be a huge advantage if I could edit and re-evaluate expressions interactively (in a comfortable GUI, not ghci). Also a plot widget with sliders would also help. I was wondering if you know any reason the project has not been worked on for various

Re: [Haskell-cafe] yi-editor for emacer

2013-04-15 Thread Alfredo Di Napoli
thanks a great news, thanks, even though I'm a Vim user :) I continue to think that Yi is a promising editor, it's a shame we don't have a serious community effort to make it better :) A. On 15 April 2013 06:02, Junior White wrote: > Hi Cafe, > I'm glad to announce my fork of yi-editor. As

Re: [Haskell-cafe] Optimizing queries in Haskell

2013-04-15 Thread Gregory Collins
See http://hackage.haskell.org/package/DSH. Queries generated by this library are fed through the "Pathfinder" query optimizer. On Mon, Apr 15, 2013 at 8:35 AM, Jan Stolarek wrote: > Dear list, > > list comprehensions and SQL-like generalized comprehensions can be used to > write queries in > Ha