Re: [Haskell-cafe] What is the status of GPU-accelerated Haskell?

27;s happening (though i'm not so sure about >> CUDA bindings... but OpenCL will work on Nvidia & ATI cards the same) >> >> hex >> >> >> >> On Thu, Oct 27, 2011 at 3:45 PM, Rafael Gustavo da Cunha Pereira Pinto < >> rafaelgcpp.li...@gmail.co

[Haskell-cafe] What is the status of GPU-accelerated Haskell?

advantages of such GPU data processing on the signal processing field. Best regards, Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Building Haskell Platform natively for 64bit Windows

This really sucks. Not even LLVM is ported to 64-bit Windows. This is mainly because Windows uses 32-bit pointers for "compatibility". http://archive.gamedev.net/reference/programming/features/20issues64bit/ Atc Rafael On Thu, Jun 9, 2011 at 08:04, Rafael Gustavo da Cunha Per

Re: [Haskell-cafe] Building Haskell Platform natively for 64bit Windows

It is 32 bits, I'm sure. Besides the 32-bit stack manipulation, it uses eax and ecx to hold two 32-bit parts of the 64-bit number. Best regards, Rafael On Thu, Jun 9, 2011 at 02:54, Scott Lawrence wrote: > On 06/09/2011 01:47 AM, Jason Dagit wrote: > > Have you checked this

[Haskell-cafe] On hGetContents semi-closenesscloseness

From http://www.haskell.org/ghc/docs/latest/html/libraries/base/System-IO.html: Computation hGetContents hdl returns the list of characters corresponding to the unread portion of the channel or file managed by hdl, which is put into an intermediate state, semi-close

Re: [Haskell-cafe] Haskell, arrows and signal processing

Just found it! It is pretty much what I was looking for, On Thu, Sep 9, 2010 at 10:08, Wolfgang Jeltsch wrote: > Am Mittwoch, den 08.09.2010, 11:47 -0300 schrieb Rafael Gustavo da Cunha > Pereira Pinto: > > The input and output are infinite streams. I have a few questions: >

[Haskell-cafe] Haskell, arrows and signal processing

integrator loops like this one: x(t) (+)> Integrator --|---> y(t) ^| || Note that x(t) would be a function, and I would expect to create a function y, based on this flow! Rafael Gustavo da Cunha Pereira Pinto -- Rafael G

Re: [Haskell-cafe] Haskell and the Software design process

Ivan Miljenovic disse: > On 3 May 2010 14:17, aditya siram wrote: >> I'm a little confused about this too. I've seen many functions defined like: >> f x = (\s -> ...) >> which is a partial function because it returns a function and is the same as: >> f x s = ... > > No, that's a partially applied

Re: [Haskell-cafe] Re: Learning about Programming Languages (specifically Haskell)

= foldl (flip pass) (replicate n *Closed*) [0..n] > > Do I need to add run 100 to the end of the example for it to actually do > something? > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http:

Re: [Haskell-cafe] Re: Haskellers hate GUIs!!

Stephen Tetley disse: > On 2 April 2010 17:53, Dominic Espinosa wrote: > > [SNIP] > >> I ended up rewriting it in another language (due to time >> pressure) and I'm a little wary of attempting to use Haskell again for >> developing such an application. > > Hi Dominic > > Out of curiosity what lan

Re: [Haskell-cafe] GHC vs GCC vs JHC

Lennart Augustsson wrote: > It's important to switch from mod to rem. This can be done by a > simple abstract interpretation. > I'm nore sure if it's jhc or gcc that does this for jhc. > It's not just adding rem. Ghc still runs much slower using rem. It's only when switching to -fvia-C and using

Re: [Haskell-cafe] GHC vs GCC vs JHC

John Meacham wrote: > Here are jhc's timings for the same programs on my machine. gcc and ghc > both used -O3 and jhc had its full standard optimizations turned on. > > jhc: > ./hs.out 5.12s user 0.07s system 96% cpu 5.380 total > > gcc: > ./a.out 5.58s user 0.00s system 97% cpu 5.710 total >

Re: [Haskell-cafe] GHC vs GCC

On Fri, Mar 26, 2010 at 6:49 PM, Jason Dagit wrote: > > > On Fri, Mar 26, 2010 at 2:33 PM, Bryan O'Sullivan > wrote: >> >> On Fri, Mar 26, 2010 at 10:46 AM, Rafael Cunha de Almeida >> wrote: >>> >>> During a talk with a friend I came up w

Re: [Haskell-cafe] GHC vs GCC

On Fri, Mar 26, 2010 at 10:42 PM, Bernie Pope wrote: > On 27 March 2010 04:46, Rafael Cunha de Almeida wrote: > >> During a talk with a friend I came up with two programs, one written in >> C and another in haskell. > > snip > >> The Haskell version: >>

[Haskell-cafe] GHC vs GCC

Hello, During a talk with a friend I came up with two programs, one written in C and another in haskell. Haskell main :: IO () main = print $ rangeI 0 0 rangeK :: Int -> Int -> Int -> Int -> Int rangeK i j k acc | k < 1000 = if

[Haskell-cafe] Template Haskell

I was reading the good old template haskell paper by Sheard and Peyton Jones [1]. It looks like some API have changed, but things seems to be more or less the same. I got the printf example to run, and it is an alright example of something to do with template haskell. You lose the ability to use a

Re: [Haskell-cafe] Space leak

On Sat, Mar 13, 2010 at 8:58 PM, Arnoldo Muller wrote: > Jason, > > I am trying to use haskell in the analysis of bio data. One of the main > reasons I wanted to use haskell is because lazy I/O allows you to see a > large bio-sequence as if it was a string in memory. > In order to achieve the same

Re: [Haskell-cafe] GPL answers from the SFLC (WAS: Re: ANN: hakyll-0.1)

On Fri, Mar 5, 2010 at 2:59 PM, Job Vranish wrote: > This seems really confusing. > > It would imply that if I write a library that is designed to talk to some > part of the linux kernel API (which is GPL'd) then I'd have to release my > library under the GPL. And anything that used my libraries A

Re: [Haskell-cafe] Re: Function to detect duplicates

!! ;-) Best regards to you all!! Rafael PS: Here is the original search code, with the bad noneRepeated and still using length import Data.List digits=[0..9] noneRepeated::[Integer]->Bool noneRepeated=null.(filter (>1)).(map length).group.sort listToNum::[Integer]->Integer listToNum

[Haskell-cafe] Function to detect duplicates

Hi folks, While solving a puzzle, I was posed the problem of finding if there was no duplicates on a list. First I used: noneRepeated=null.(filter (>1)).(map length).group.sort But this seemed very unneficient, so I thought that I could detect the duplicates while sorting, and devised this: i

[Haskell-cafe] Haskell Platform

Hi folks, How are the efforts on Haskell Platform for GHC 6.12.1 going? I'm considering joining those brave heroes. Where can I apply? Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskel

Re: [Haskell-cafe] parallel matrix multiply (dph, par/pseq)

gt; Of course if they work, I'd use them in real life as well... > > > > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Review request for my permutations implementation

Hi, Is there an entry in the haskell wiki for permutations? Since this is a recurring topic, as primes, shouldn't we create a topic for that in the wiki? Regards, Rafael On Thu, Jan 7, 2010 at 08:46, Daniel Fischer wrote: > Am Donnerstag 07 Januar 2010 09:37:42 schrieb CK Kashyap:

Re: [Haskell-cafe] Mysterious factorial

t; > fact n = n * fact (n - 1) > > > > > > I tried to write tail-recursive fact, fact as "product [1..n]" - fact2 > is > > > quicker! > > > > > > > > > fact2 100 == fact 100 - I tested. > > > > > > ___ > > > Haskell

Re: [Haskell-cafe] Mysterious factorial

; - fact2 is > quicker! > > > fact2 100 == fact 100 - I tested. > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Rafael Gustavo da Cunha Pereira P

Re: [Haskell-cafe] GHC 6.12 status and features

THANKS!! Just in time for Christmas!! On Sat, Dec 12, 2009 at 12:22, Max Bolingbroke wrote: > 2009/12/12 Rafael Gustavo da Cunha Pereira Pinto < > rafaelgcpp.li...@gmail.com>: > > I know I should probably be asking to the GHC list, but is there any > update > >

[Haskell-cafe] GHC 6.12 status and features

! Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Is it possible: Haskell platform - portable edition

. This gives me the freedom to use Haskell wherever I am! The only downside is that I have to edit packages.conf by hand everytime I install a package. I would like to improve this, by making it more automatic. Do you haskellers think it is possible? Regards, Rafael Gustavo da Cunha Pereira

Re: [Haskell-cafe] Could someone teach me why we use Data.Monoid?

. I had a hard time understanding monads, not because I didn't understand the concept of a monad, but because practical uses are missing, except on Wadler's paper! Regards Rafael On Fri, Nov 13, 2009 at 14:52, Andrew Coppin wrote: > Stephen Tetley wrote: > >> 2009/11/13

Re: [Haskell-cafe] Could someone teach me why we use Data.Monoid?

; Monoid (Set a) where mempty = empty mappend = union mconcat = unions Hope I have helped! Regards, Rafael On Fri, Nov 13, 2009 at 14:14, Magicloud Magiclouds < magicloud.magiclo...@gmail.com> wrote: > Hi, > I have looked the concept of monoid and something relate

Re: [Haskell-cafe] Re: Best Editor In Windows

Real programmers use butterflies!! http://xkcd.com/378/ The best editor is the one that suites YOU better. I use VIM, even in Windows, but that's me! Best regards, Rafael On Fri, Oct 16, 2009 at 07:32, Peter Verswyvelen wrote: > If you're a Windows developer and don't

Re: [Haskell-cafe] Re: A thought about liberating Haskell's syntax

Hmm... Simon, was it a typo? Is it 6.10.x or 6.12? Regards, Rafael 2009/9/29 Simon Peyton-Jones > Type splices are implemented in the upcoming GHC 6.10. > > Simon > > | -Original Message- > | From: haskell-cafe-boun...@haskell.org [mailto: > haskell-cafe-bo

Re: [Haskell-cafe] Plotting parametric functions in Haskell

On Mon, Sep 14, 2009 at 6:37 AM, Peter Verswyvelen wrote: > I did that once a long time ago using GTK2HS; but I don't have that > code anymore I think, it was a quick hack anyway. > > Doing a search for plot on Hackage revealed > http://hackage.haskell.org/package/Chart > http://hackage.haskell.or

[Haskell-cafe] Plotting parametric functions in Haskell

graphics skills are rather bad and I couldn't produce anything really useful. []'s Rafael ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: [Haskell] Looking for a new HWN editor

On Tue, Sep 8, 2009 at 8:16 AM, Benjamin L.Russell wrote: > On Sat, 5 Sep 2009 19:34:24 -0400, Brent Yorgey > wrote: > >>On Sat, Sep 05, 2009 at 05:26:08PM -0400, Brent Yorgey wrote: >>> Executive summary: >>> >>>   * I'm looking for someone to take over as HWN editor >>>   * It is highly automate

Re: [Haskell-cafe] ANNOUNCE: Palindromes 0.1

Johan Jeuring wrote: > Palindromes > == > > Palindromes is a package for finding palindromes in files. > > Visit the homepage > > http://www.jeuring.net/Palindromes/ > A few options are not working well: $ ./palindromes --h * *

[Haskell-cafe] Problem building encoding-0.6.0: missing Data.CharMap.Builder

Hi, I am trying to install the encoding-0.6.0 package, but it complains that that package "Data.CharMap.Builder" is missing. I could not find any reference to that package anywhere on the web. Does anyone know where I can find it or a workaround? Thanks, João Rafael > cabal ins

[Haskell-cafe] Re: [Haskell] ANNOUNCE: GLUT 2.2.1.0

On Mon, Aug 17, 2009 at 03:17, Sven Panne wrote: > Am Sonntag, 16. August 2009 22:10:23 schrieb Rafael Gustavo da Cunha > Pereira > Pinto: > > BTW, as an enhancement for 2.2.2.0, you could treat unnamed mouse > buttons. > > Mouses with more axis and more buttons are beco

[Haskell-cafe] Re: [Haskell] ANNOUNCE: GLUT 2.2.1.0

515 mouse: unmarshalMouseButton: illegal value 5 unmarshalMouseButton: illegal value 6 unmarshalMouseButton: illegal value 7 unmarshalMouseButton: illegal value 8 Anyway, keep the good work! Best Regards, Rafael On Sun, Aug 16, 2009 at 13:12, Sven Panne wrote: > A new version of the GLU

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: OpenGL 2.3.0.0

Carter, It seems you need to install opengl-dev or something like that in your Linux instalation (using apt-get, yum or similar tool). Regards, Rafael On Fri, Jul 31, 2009 at 17:24, Carter Schonwald wrote: > I just the the rebuild of the haskell glut / opengl libs and I got the > fol

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: OpenGL 2.3.0.0

BTW, OpenGL-2.3 breaks GLFW-0.3 On Wed, Jul 29, 2009 at 22:47, Felipe Lessa wrote: > On Wed, Jul 29, 2009 at 10:24:23PM -0300, Rafael Gustavo da Cunha Pereira > Pinto wrote: > > mapAccumL was added to Data.Traversable in package base-4. GHC 6.8.2 uses > > base-3... >

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: OpenGL 2.3.0.0

That was quick! mapAccumL was added to Data.Traversable in package base-4. GHC 6.8.2 uses base-3... I think I will be forced to upgrade my GHC by hand... I just can't stand 6.8.2 anymore... On Wed, Jul 29, 2009 at 22:17, Rafael Gustavo da Cunha Pereira Pinto < rafaelgcpp.li...@g

Re: [Haskell-cafe] Re: [Haskell] ANNOUNCE: OpenGL 2.3.0.0

Just a heads up: I did a cabal install Tensor on my Ubuntu box, and got the following message: src/Data/Tensor.hs:333:18: Not in scope: `mapAccumL' I will investigate a little more and let you know. On Wed, Jul 29, 2009 at 13:55, Felipe Lessa wrote: > On Wed, Jul 29, 2009 at 06:26:30PM +020

[Haskell-cafe] ICFP contest write-up

For all Portuguese reading haskellers, I am describing my ICFP 2009 contest write-up on my blog. Feel free to comment. http://rafaelgcpp.blogspot.com/search/label/ICFP2009 For the non-Portuguese readers, Google translation tools do a lousy job, but it is still readable. Regards Rafael Gustavo

Re: [Haskell-cafe] Re: Haskell Platform on Ubuntu

compatible with most distributions except, maybe, gentoo. The automation process would have to run through hackageDB tracking dependencies and compiling each needed library. Pretty hard stuff... Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Ca

Re: [Haskell-cafe] Haskell Platform on Ubuntu

; > The Debian team is working on packaging, but until then (or if someone > on Ubuntu steps up), you'll need to use the Unix tarball: > > > http://hackage.haskell.org/platform/2009.2.0.1/haskell-platform-2009.2.0.1.tar.gz > > -- Don > -- Raf

[Haskell-cafe] Haskell Platform on Ubuntu

Is there anyone working on a Haskell Platform package for Ubuntu? GHC in Ubuntu is a pain! Regards Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] On the parallel between java annotations and monads

ntityManager, but it will ultimately be returned to the container. While each computational container in Haskell is very rigid and well defined, in java there's nothing rigorous about the annotation. However, quite often the annotations in Java are used in a manner si

Re: [Haskell-cafe] Reflections on Haskell and ICFP Contest 2009

2009/6/29 Lanny Ripple > When you get bored or stumped with the problem you might pass your > time with Orbiter [http://orbit.medphys.ucl.ac.uk/]. Or you could > just use all the orbital mechanics math from the documentation. :) > > Enjoy, > -ljr > That's cool... I'll try it someday! ___

Re: [Haskell-cafe] Reflections on the ICFP 2009 programming contest

y of my experience over the weekend at > http://icfp2009.codeslower.com. I started out with such optimism ... > Stil, I'm glad to have done it. Lots of fun! My thanks to the > organizers! > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Reflections on Haskell and ICFP Contest 2009

d. > Of course, making the best move is another problem. > I think the simulator itself is another State->State function, but this time the state is a [Output]. > Good luck ! > Thanks! > Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Reflections on Haskell and ICFP Contest 2009

es and estimate the next move. It will be a piece of cake, considering I would have learned enough of Haskell state monads on step 2 to have just to worry about the physics of the problem!!! I'll keep you updated as my tests go, and hopefully I will have a working demo of the task written

Re: [Haskell-cafe] ICFP contest

; C++ if there's any heavy lifting to be done. > > --Max > > 2009/6/23 Rafael Gustavo da Cunha Pereira Pinto < > rafaelgcpp.li...@gmail.com>: > > Hi, > > > > The good folks here are really quiet about the ICFP Contest. Is anyone > > participating t

[Haskell-cafe] ICFP contest

yself! Best regards, Rafael Gustavo da Cunha Pereira Pinto ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: Sometimes I wish there was a global variable

Maurí­cio wrote: >> Notice that rotX, rotY and pos are meant to be used as comunication >> between the keyboardMouse and display functions. They need to be set as >> 0 first, so display won't do anything. Only when they user press a few >> buttons that those values change, so display behaves accord

Re: [Haskell-cafe] Function to cast types

John Dorsey wrote: > Anonymous One, > >> I'm new to haskell, I'm wondering how can you write a function that will do >> the following: >> fromIntToString :: Int -> String > > Is this a homework assignment, perchance? Please take a look at > http://www.haskell.org/haskellwiki/Homework_help > Ever

[Haskell-cafe] Sometimes I wish there was a global variable

skell, I'm not quite sure how to do it except by that parameter passing style. I thought about how state-monad may help with that. But I'm not sure how I'd make the state variable to be contained inside a display/keyboardMouse module. []'s Rafael __

[Haskell-cafe] ghci + hopengl

at should I look into for understanding how to solve the issue? []'s Rafael ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Interesting problem from Bird (4.2.13)

s book. This is pretty much what he does all the time to make sure invariants in his data structures are met. Best Regards, Rafael On Wed, Mar 4, 2009 at 15:55, Ryan Ingram wrote: > 2009/3/4 R J : > > What's the pure solution that uses cases and recursion on > > CatList, not H

Re: [Haskell-cafe] Interesting problem from Bird (4.2.13)

ilt-in lists, to capture the equality of nested > CatLists? > > > -- > Windows Live™ Contacts: Organize your contact list. Check it > out.<http://windowslive.com/connect/post/marcusatmicrosoft.spaces.live.com-Blog-cns%21503D1D86EBB2B53C%212285.entry

Re: [Haskell-cafe] Re: Purely funcional LU decomposition

On Wed, Feb 4, 2009 at 05:15, Neal Alexander wrote: > Array is no good man! Quad Tree matrices perform much nicer from what I've > seen. > > I wrote some matrix stuff based on D. Stott Parker's "Randomized Gaussian > elimination" papers > (http://www.cs.ucla.edu/~stott/ge/

Re: [Haskell-cafe] Purely funcional LU decomposition

2009/2/5 Henning Thielemann > > > -- Forwarded message -- > From: Henning Thielemann > To: Rafael Gustavo da Cunha Pereira Pinto > Date: Thu, 05 Feb 2009 14:43:13 +0100 > Subject: Re: [Haskell-cafe] Purely funcional LU decomposition > Rafael Gustavo da C

Re: [Haskell-cafe] Purely funcional LU decomposition

On Wed, Feb 4, 2009 at 19:14, Dan Piponi wrote: > On Wed, Feb 4, 2009 at 12:57 PM, Rafael Gustavo da Cunha Pereira Pinto > wrote: > > > Those different representations are derived from my (very) low Haskell > > handicap! :-D > > BTW That wasn't intended in any

Re: [Haskell-cafe] Purely funcional LU decomposition

On Wed, Feb 4, 2009 at 17:09, Dan Piponi wrote: > 2009/2/3 Rafael Gustavo da Cunha Pereira Pinto >: > > After a discussion on whether is possible to compile hmatrix in > > Windows, I decided to go crazy and do a LU decomposition entirely in > > Haskell... >

Re: [Haskell-cafe] Purely funcional LU decomposition

Matt's code is pretty comprehensive. His LU implementation is much cleaner, essentially because he used the "ijk" format, while I used the "kij". I'll take a look and e-mail him eventually. Thanks! On Tue, Feb 3, 2009 at 23:26, Paulo Tanimoto wrote: &g

Re: [Haskell-cafe] Purely funcional LU decomposition

arned how to use Arrays and Parsec)... > > > Bob -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Purely funcional LU decomposition

[((i,j),e_an i j) | i<-[li+1..ui],j<-[lj+1..uj]] e_an i j=a!(i,j)-(lik i)*a!(k,j) Still needed: 1) Partial pivoting 2) Profiling... Lots! 3) Parallelize -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Ha

Re: [Haskell-cafe] hmatrix, Windows and GCC

Well, I guess I am not the only one! This blog show exactly what I am looking for! http://quantile95.com/2008/10/31/ann-blas-bindings-for-haskell-version-06/ On Wed, Jan 28, 2009 at 08:21, Rafael Gustavo da Cunha Pereira Pinto < rafaelgcpp.li...@gmail.com> wrote: > I was pl

Re: [Haskell-cafe] hmatrix, Windows and GCC

ed in this OS" runtime error." > > Of course linearSolve is exactly what you will be wanting so this won't > work for you. > I ran into exactly this problem myself. I actually didn't get as far as a > run-time error as I got a linker error. > > I don't hav

[Haskell-cafe] How outdated is Hugs?

Hi, I see Hugs last source code snapshot dates back to 2006. Was there any updates? Regards -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman

[Haskell-cafe] hmatrix, Windows and GCC

hmatrix on Windows? How did you do it? Thanks, Rafael -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: The problem with Monads...

sider choosing simpler examples, like Wadler's expression evaluator. On Tue, Jan 13, 2009 at 21:07, Benedikt Huber wrote: > Rafael Gustavo da Cunha Pereira Pinto schrieb: > >> Yes, I've read it twice, and it is a nice explanation that "yes, the >> reader monad

Re: [Haskell-cafe] The problem with Monads...

? Some of this work could even be attached to the library documentation. Regards Rafael On Tue, Jan 13, 2009 at 15:27, Derek Elkins wrote: > On Tue, 2009-01-13 at 16:22 +, Sittampalam, Ganesh wrote: > > Jonathan Cast wrote: > > > On Tue, 2009-01-13 at 12:56 -0200, Rafae

Re: [Haskell-cafe] The problem with Monads...

tuple? On Tue, Jan 13, 2009 at 13:51, Jonathan Cast wrote: > On Tue, 2009-01-13 at 12:56 -0200, Rafael Gustavo da Cunha Pereira Pinto > wrote: > > > > Last night I was thinking on what makes monads so hard to take, and > > came to a conclusion: the lack of a guided t

[Haskell-cafe] The problem with Monads...

ans for a State monad?". I will try to work on a "Part II" extended version on my vacations... maybe a WikiMonad... or MonadPedia... :-) After all, it is my duty as a haskell noob to write another monad tutorial! :D Cheers! -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engin

Re: [Haskell-cafe] Maybe a compiler bug?

Best, >>> >>> Murray Gross >>> ___ >>> Haskell-Cafe mailing list >>> Haskell-Cafe@haskell.org >>> http://www.haskell.org/mailman/listinfo/haskell-cafe >>> >>> > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Haskell participating in big science like CERN Hadrian...

Hardon Collider<http://largehardoncollider.com/> !!! > >> I don't know what the main computational challenges are to the LHC >> researchers. The stuff in the press has mostly been about >> infrastructure --- how to store the gigabytes of data per second that &g

[Haskell-cafe] Kind-of-off-Topic: Random thoughts on language design

operations that would be wired together. Do you think a compiler for this "block language" could this be implemented in Haskell? What about using the Arrow monads? Best Regards -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. _

[Haskell-cafe] Haskell board game

user to install anything besides my game. My first thought was to use GTK's gtkTable, but I'm unsure how easy it is to make it work on windows. Beside that, I'm not sure it would be the easiest API for me to use. []'s Rafael ___ Has

Re: [Haskell-cafe] Re: [Haskell] ICFP programming contest results

ion, the results are starting to > look more like places like topcoder or spoj, where the top entries are > primarily C and C++, but with a disproportionate represenation of > Haskell and OCaml at the top end. > > -- Don > ___ > Haskell-

Fwd: [Haskell-cafe] hGetContents and lazyness

-- Forwarded message -- From: Rafael Gustavo da Cunha Pereira Pinto <[EMAIL PROTECTED]> Date: Mon, Sep 22, 2008 at 15:46 Subject: Re: [Haskell-cafe] hGetContents and lazyness To: Max Vasin <[EMAIL PROTECTED]> Why don't you use OpenFile? > getPackageL

Re: [Haskell-cafe] Ropes

That is a good idea! If I implement head, tail, take drop operations, I can use my KMP implementation out of the box... On Sun, Sep 21, 2008 at 11:10, Nicolas Pouillard < [EMAIL PROTECTED]> wrote: > Excerpts from Rafael Gustavo da Cunha Pereira Pinto's message of Sat Sep 20 &g

[Haskell-cafe] Re: Ropes

ble. I also did some runs "by hand" and it seemed ok. If only Gödel was wrong... :-) -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Caf

Re: [Haskell-cafe] Ropes

y just been better. > > -- ryan > > 2008/9/19 Rafael Gustavo da Cunha Pereira Pinto < > [EMAIL PROTECTED]>: > > Hi all, > > > > Is there any implementation of the rope data structure in Haskell? > > > > I couldn't find any on Hackage, and I am i

[Haskell-cafe] Ropes

to implement it. > > There's no mature rope implementation. Can you write a bytestring-rope > that outperforms lazy bytestrings please :) > I'll give it a try, but cannot promise anything on the "outperform" part! :-) -- Rafael Gustavo da Cunha Pereira Pinto Electronic

[Haskell-cafe] Ropes

Hi all, Is there any implementation of the rope data structure in Haskell? I couldn't find any on Hackage, and I am intending to implement it. Regards, Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Cafe mailing

Re: [Haskell-cafe] Float instance of 'read'

Mauricio wrote: > Hi, > > A small annoyance some users outside > english speaking countries usually > experiment when learning programming > languages is that real numbers use > a '.' instead of ','. Of course, that > is not such a problem except for the > inconsistence between computer and > free

Re: [Haskell-cafe] Re: Should `(flip (^^))` work?

On Mon, Sep 15, 2008 at 8:09 PM, Mauricio <[EMAIL PROTECTED]> wrote: > > > Rafael C. de Almeida a écrit : >> >> Derek Elkins wrote: >>> >>> On Mon, 2008-09-15 at 18:42 -0300, Mauricio wrote: >>>> >>>> Hi, >>>> >&

Re: [Haskell-cafe] Should `(flip (^^))` work?

Derek Elkins wrote: > On Mon, 2008-09-15 at 18:42 -0300, Mauricio wrote: >> Hi, >> >> I tested the expression below >> and it doesn't work. Is there >> some way to achieve that (i.e., >> turning an expression inside >> parenthesis into an operator)? >> >> 2 `(flip (^^))` (3%4) > > No it shouldn't

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

On Mon, Sep 15, 2008 at 2:43 PM, Robin Green <[EMAIL PROTECTED]> wrote: > On Mon, 15 Sep 2008 13:05:11 -0300 > "Rafael C. de Almeida" <[EMAIL PROTECTED]> wrote: >> Someone mentioned coq, I read a bit about it, but it looked really >> foreign to me. The i

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

Richard A. O'Keefe wrote: > > On 14 Sep 2008, at 10:59 pm, Rafael Almeida wrote: >> One thing have always bugged me: how do you prove that you have >> correctly proven something? > > This really misses the point of trying to formally verify something. > That po

Re: [Haskell-cafe] Haskell Weekly News: Issue 85 - September 13, 2008

On Sun, Sep 14, 2008 at 5:56 AM, Thomas M. DuBuisson <[EMAIL PROTECTED]> wrote: > >> What would theorem proofs do for me? > Imagine if you used SmallCheck to exhastively test the ENTIRE problem > space for a given property. Now imagine you used your brain to show the > programs correctness before

[Haskell-cafe] Is there GHC 6.8.3 on Ubuntu?

Is there anyone packing GHC 6.8.3 for Ubuntu Hardy? Thanks -- Rafael Gustavo da Cunha Pereira Pinto Electronic Engineer, MSc. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Web processing

27;m being clear. []'s Rafael ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Monad proof

ay to prove it. Nonetheless, I think that it would be insightful to see how people write those proofs for their monads -- specially for new user monads. Is there some article or some notes on proving that Monads are implemented correctly? []

Re: AW: [Haskell-cafe] Solving a geometry problem with Haskell

On Sun, 13 Jan 2008 11:48:09 +0100, "Nicu Ionita" <[EMAIL PROTECTED]> wrote: > > Hi Rafael, > > I have just two ideas, that could improve your strategy to reduce the > computation time: > > 1. perhaps there is also a minimum (not only a maximul) for the values

Re: [Haskell-cafe] Solving a geometry problem with Haskell

On Sat, 12 Jan 2008 23:36:43 +0100, Daniel Fischer <[EMAIL PROTECTED]> wrote: > > Am Samstag, 12. Januar 2008 22:48 schrieb Luke Palmer: > > On Jan 12, 2008 9:19 PM, Rafael Almeida <[EMAIL PROTECTED]> wrote: > > > After some profiling I found out that about 94% of

[Haskell-cafe] Solving a geometry problem with Haskell

er idea for how I should try to solve this problem? I'm all out of ideas. []'s Rafael ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] unification would give infinite type

te: > Hi, > > Depending on what you want, you should either remove 'return' or change to > 'foldM' (from Control.Monad). If you choose the latter, you also need to add a > type signature to f (because of the monomorphism restriction). > > / Emil > > >

[Haskell-cafe] unification would give infinite type

solve, and with ghci: " Occurs check: cannot construct the infinite type: b = m b Expected type: b Inferred type: m b In the expression: add x y In a lambda abstraction: \ x y -> add x y " thnks. att Rafael ___ Haskel

  1   2   >