- Beginners - Haskell.org

How to represent a (running) network?
by Martin Drautzburg 17 Jan '13

17 Jan '13

Hello all, I am trying to implement a discrete event siumulation for a logistic network. To do this, I need a representation of the network as such and a way to express what each Process does when it gets alerted by an event. A Process has inputs and outputs which are again connected to outputs and inputs of other Processes. Establishing these connections constructs the network as such. But the Processes also need to do something. They need to take something from one of their inputs, so something with it and place something on one of their outputs. So I kind of have a dual usage for inputs and outputs: they play a role in the topology of the network and in the "function" which defines a process. How can I keep the two in sync? Is there a way prevent a Process from trying to use an output which does not exist? What would be a good way to represent a Network anyways? I believe the classic approach is a list of nodes and a list vertices. In the simulation I will frequently have to find the process of an input or output and to find the input connected to an output. The node/vertices implementation seems to require scanning lists, which could be slow once I have thousands of processes. Other than that any pointers to how to construct networks (which go beyond mere graphs) would be much appreciated. -- Martin

3 2

Re: [Haskell-beginners] Type Inference
by Johannes Engels 17 Jan '13

17 Jan '13

Am 16.01.2013 23:48, schrieb Lemol Morais Lutonda: > > You realy need a generic indtype? what if to define it just as a Int? > > > 48 Aniversario del Instituto Superior Politecnico Jose Antonio > Echeverria, Cujae > Una obra de la Revolucion Cubana | 2 de diciembre de 1964 | > http://cujae.edu.cu > > > Consulte la enciclopedia colaborativa cubana. http://www.ecured.cu > You are right that I don't need a generic indtype in the instance declarations, the following would be sufficient for me: > instance Sliceable (UArray Int Double) Int Double > where (!) = (AU.!) > instance Sliceable (UArray Int Double) [Int] (UArray Int Double) > where (!) arr ilist = listArray (0,end_ind) [(AU.!) arr i | i <- ilist] > where end_ind = length ilist - 1 But also for this case a type annotation is necessary as in my original post. And within the class definition I think I need a generic indtype, because I want to be able to use arguments of type Int as well as [Int] as the second argument of (!).

1 0

Type Inference
by Johannes Engels 16 Jan '13

16 Jan '13

Hello, playing around with type classes, I came up with the idea to implement Matlab-like array slices by overloading the (!) - Operator. My first try goes > {-# LANGUAGE MultiParamTypeClasses , > FunctionalDependencies , > FlexibleContexts , > FlexibleInstances #-} > import Data.Array.Unboxed hiding ((!)) > import qualified Data.Array.Unboxed as AU > class Sliceable arrtype indtype resulttype | arrtype indtype -> resulttype > where (!) :: arrtype -> indtype -> resulttype > instance (Ix i, IArray UArray e) => Sliceable (UArray i e) i e > where (!) = (AU.!) > instance (Ix i, IArray UArray e) => Sliceable (UArray i e) [i] (UArray Int e) > where (!) arr ilist = listArray (0,end_ind) [(AU.!) arr i | i <- ilist] > where end_ind = length ilist - 1 In principle this seems to work, for instance ghci> let arr = listArray (0,99) [0..99] :: UArray Int Double ghci> arr ! (17::Int) 17.0 ghci> arr ! [13..15 :: Int] array (0,2) [(0,13.0),(1,14.0),(2,15.0)] However, the ugly type annotations (::Int) are necessary, otherwise I get an error message: > arr ! 17 No instance for (Sliceable (UArray Int Double) indtype0 resulttype0) arising from a use of `!' Possible fix: add an instance declaration for Sliceable (UArray Int Double) indtype resulttype0 in the expression: arr ! 17 whereas the type annotation is not necessary for the original Array.Unboxed - (!) : > (AU.!) arr 17 17.0 Could somebody please explain why the type annotation is necessary in my case? Is there a trick to circumvent this? Any hint would be welcome! Best regards Johannes

1 0

kind of path search
by Olivier Scalbert 15 Jan '13

15 Jan '13

Hello, I am a beginner in Haskell and in functional programming. Here is the problem I want to solve with Haskell. I am sure that this fascinating language can do it !!!! Suppose I have N nodes: node1, node, ..., nodeN At each node I have a subset of values taken from [v1, v2, ..., vk]. For exemple: node1 : [v1, v3] node2 : [v2, V5, v6] node3 : [v2, v3] I have also a directed graph. From a value you can go to other values. v1 -> v5 v1 -> v6 v2 -> v1 v2 -> v2 v3 -> v2 v6 -> v2 Now, I want to get all the paths from node1, to nodeN, following the node values and the graph. node1.v1 -> node2.v6 -> node3.v2 is a path. node1.v3 -> node2.v2 -> node3.v2 is also a path. My problem size: N around 1000 and each node has 3 to 4 values taken from [1..10]. Thanks for your help !!! Olivier

1 0

Re: [Haskell-beginners] Natural functions versus existential types
by Darren Grant 14 Jan '13

14 Jan '13

On Wed, Jan 9, 2013 at 1:45 PM, Aleksandar Dimitrov < aleks.dimitrov(a)gmail.com> wrote: > On Sun, Jan 06, 2013 at 11:22:51PM -0800, Darren Grant wrote: > > I've seen some cases where Haskell examples dive into existential types > > instead of using natural higher order functions. For instance, the > > "Existential type" wiki page [1] section 2.2 proposes existentials as the > > solution to a heterogeneous list problem where a ray-tracer must > evaluate a > > trace function for different types of objects. Is there a good reason for > > this, or is it just a case of prior language assumptions leading to > > unnatural code? Why could I not just make the list homogeneous by > supplying > > a list of partially evaluated trace functions instead? > > I have never written a ray-tracer, so I don't know about the exact > requirements, > but depending on the code in question, partial evaluation might not be > possible. > > Parametric types can only be instantiated with *one* specific type. A list > [a] > can only be either [Int] or [Bool], but not [Int,Bool] or so. [1] > > So whenever you'd like to have a collection of things that won't have the > same > type, but have a certain operation defined on them, existential types come > in > handy. A partial application only makes sense when you have a function of > higher > arity, but `hits` in the example on the Wiki has only one argument, namely > the > list. At some point, a *collection* of Renderables needs to pass by the > function > `hit`. This collection probably needs to be stored somewhere, presumably a > list, > that is then fed to `hits`. > > Of course, you might set up your types differently, so that everything > that will > need to pass by the function `hits` would also be of one certain type. You > could, for example, instead of storing the heterogeneous Renderables in a > list, > just reduce the different shapes to a Renderable data type that contains > the > important fields. Then, whenever a geometric object gets created, a > Rendereable > also gets created, then stored in that list. But how *viable* that is, I > don't > know. My gut feeling says that it won't be viable at all. Consider the following: If I have a traceable data type like data Sphere, I can define it and a trace function as follows: data Sphere = Sphere { spherepos :: (Double,Double,Double), sphereradius :: Double } traceSphere :: Sphere -> Ray -> [Hit] Where Ray is self-explanatory and [Hit] is a resulting list of hits where ray intersects sphere. I can then define a list of traceable objects thus, [Ray -> [Hit]] Which can also be thought of as, type Trace = Ray -> [Hit] [Trace] Now I am able to define a homogeneous list [Trace] of partially applied functions like so, [traceSphere $ Sphere (0,0,0) 20, traceSphere $ Sphere (10,20,30) 40, traceBox $ Box (0,0,0) (10,10,10) -- where traceBox is also partially applied ] You see what I mean? This is very natural in Haskell. I'm sure there must be counter-examples, but I haven't the comprehension for these. What do you think? > Sometimes I read an argument that existentials are required due to unknown > constraints at compile time, but do not have an intuition for this > > situation yet. For instance, I read that IO requires existentials. Still > > working on that one. :) > > Where did you read that? The *definition* of the IO type does not use > existentials [2]. But I'm not very familiar with the internals. You're right! I'm not sure what I saw, but I would guess that I conflated some application of IO with the definition. Cheers, Darren

2 2

Game of Life try
by Емануела Моллова 14 Jan '13

14 Jan '13

Hello all! :) I'm new to Haskell and I would like to try to implement a simple version of Game of Life. I can imagine it in C++ for example, but I have a little difficulties in Haskell. All I can think for is a mutable array with all elements - 0 in the beginning and the user to be able to write in the coordinates of the cells, which are alive and this cells to become 1. Then to iterate through the array (but I'm not sure if I can iterate, there is no 'while' here) and to make the changes (but maybe I will need a new array for the changes, because when the first change happens, it will affect the result). Also I was thinking of how to make it visible, so I tried to make all 0-s red and all 1-s green, and after each iteration to clear the screen with ANSI so that it looks a bit like animation, but none of these ideas work... Here is an orientation in my ideas: import Data.Array.IO import System.Console.ANSI main :: IO () main = do arr <- newArray ((1,1), (10,10)) 0 :: IO (IOArray (Int, Int) Int) writeAraay arr (1,1) 1 a <- readArray (1,1) setSGR [SetColor Foreground Dull Red] putStr [a] Could you please suggest me what is a good place to store the information about my cells (mutable, unmutable array, lists, tuples...) and any ideas and tutorials at all would be really appreciated! Thank you very much in advance! :)

3 4

Is http://hackage.haskell.org/packages/hackage.html having a challenging serving up archive.tar?
by KC 11 Jan '13

11 Jan '13

:) -- -- Regards, KC

2 1

A Week in and Clueless
by Philip Cote 11 Jan '13

11 Jan '13

So a week into Haskell, I still seem to be not “getting” it which is kind of weird in my case. I came in with knowledge of a lot of functional ideas from using them in Javascript and Python. Or at least I thought I knew them. 5 chapters into "Learn You a Haskell", I admit it's not really sinking in for me even after typing in and running all the examples. I acknowledge that I don't know jack. Any ideas or exercises that might help me along?

8 7

Cabal problems
by Abram Demski 10 Jan '13

10 Jan '13

Hi all, I'm just trying to install some of the games from the game list (on the wiki) so that I have something to look at. I tried the ones which have cabal packages as I assumed that would be easy. Every one I tried so far has failed to install. Below are two of the quickest failures. Any comments are appreciated. Is there something I'm generally not getting? Or are there just various problems with installing possibly-old packages? abram@whitehead:~$ cabal install shu-thing Resolving dependencies... Configuring Shu-thing-1.1.1... Building Shu-thing-1.1.1... Preprocessing executable 'shu-thing' for Shu-thing-1.1.1... [1 of 1] Compiling Main ( Shu-thing.hs, dist/build/shu-thing/shu- thing-tmp/Main.o ) Shu-thing.hs:4:27: Module `Control.Exception' does not export `Exception(ExitException)' cabal: Error: some packages failed to install: Shu-thing-1.1.1 failed during the building phase. The exception was: ExitFailure 1 === abram@whitehead:~$ cabal install spaceInvaders Resolving dependencies... Configuring HGL-3.2.0.0... Building HGL-3.2.0.0... Preprocessing library HGL-3.2.0.0... [ 1 of 27] Compiling Graphics.HGL.Internals.Flag ( Graphics/HGL/Internals/Flag. hs, dist/build/Graphics/HGL/Internals/Flag.o ) [ 2 of 27] Compiling Graphics.HGL.Internals.Utilities ( Graphics/HGL/Internals/Utilities.hs, dist/build/Graphics/HGL/Internals/Utilities.o ) Graphics/HGL/Internals/Utilities.hs:33:31: Expecting one more argument to `E.Exception' In the type signature for `safeTry': safeTry :: IO a -> IO (Either E.Exception a) cabal: Error: some packages failed to install: HGL-3.2.0.0 failed during the building phase. The exception was: ExitFailure 1 -- Abram Demski http://lo-tho.blogspot.com/

3 6

hsmagic & core dump
by Sergey Bushnyak 10 Jan '13

10 Jan '13

Trying to work with images via hsmagic package, use something like this scaleTest :: FilePath -> IO() scaleTest dst = do initializeMagick image <- readImage dst let image' = scaleImage 450 450 image writeImage dst image' but get core dump, when compiling. Types are ok, and path are valid, can it be problem of os or I'm doing something wrong?

3 2