New to haskell and Functional Programming

2003-01-06 Thread kunphuzil
Hi, I have recently discovered Functional Programming and the Language Haskell. I was wondering if anyone could reccomend some good tutorials. Thanks.. __ Do you Yahoo!? Yahoo! Mail Plus - Powerful. Affordable. Sign up now. http://mailplus.yahoo.co

Re: A newbie question about Arrows.

2003-01-06 Thread Ashley Yakeley
At 2003-01-06 03:14, Ross Paterson wrote: >class PreArrow ar where > arr :: (a -> b) -> ar a b > (>>>) :: ar a b -> ar b c -> ar a c ... > class (PreArrow ar, Monoidal p u) => GenArrow ar p u where > first :: ar a b -> ar (p a c) (p b c) My own preference is someth

RE: Space explosion

2003-01-06 Thread Simon Marlow
> > -- Specs contains the options for the simulation; > rollBounds simply > finds the lowest and highest possible rolls > > -- type RollValue = Int > > -- type RollValueDist = Array RollValue Int > > probDist :: Specs -> [RollValue] -> RollValueDist > > probDist specs rolls = > >accumAr

Re: A newbie question about Arrows.

2003-01-06 Thread Ross Paterson
On Mon, Jan 06, 2003 at 11:02:32AM +0100, Nicolas Oury wrote: > * Why is made the choice to use (,) as Cartesian in first? It's certainly possible to define a more general interface, and the theoretical work does. However the arrow interface is already very general, and the question is whether an

A newbie question about Arrows.

2003-01-06 Thread Nicolas Oury
Hello, I read some of the material about Arrows on www.haskell.org/arrows and I have some questions : * Why is made the choice to use (,) as Cartesian in first? Can't we write something like : class Cartesian p where pair :: a -> b -> (p a b) projLeft :: (p a b) -> a projRight :

Using SGML/XML in literate code

2003-01-06 Thread Peter Simons
I understand that I can mark-up code segments in a literate source module using the syntax: \begin{code} ... \end{code} But is it somehow possible to re-define this to be ... instead? I am asking because the latter style would enable me to write literate programs in Do