Re: [Haskell-cafe] SIGPLAN Programming Languages Software Award

2011-06-10 Thread Yves Parès
Oh yes, having newly been using C++ at work, I realized they were a big something [1] that enabled you, as it were, to do whatever unstructured unholy type trickery you want, and yes, even making classes AB and AC completely different things. (BUT! We could argue over this fact: Isn't it also one

Re: [Haskell-cafe] SIGPLAN Programming Languages Software Award

2011-06-10 Thread Richard O'Keefe
On 10/06/2011, at 6:00 PM, Yves Parès wrote: Oh yes, having newly been using C++ at work, I realized they were a big something [1] that enabled you, as it were, to do whatever unstructured unholy type trickery you want, and yes, even making classes AB and AC completely different things.

Re: [Haskell-cafe] SIGPLAN Programming Languages Software Award

2011-06-10 Thread Malcolm Wallace
Curious observation: Object languageType language OO (C++)functional functional (Haskell)logical It makes me wonder what comes next... To be more accurate, it was Functional Dependencies that introduced a logic programming language to the type

Re: [Haskell-cafe] best way to use ghc-7.0 under debian stable

2011-06-10 Thread Erik de Castro Lopo
Hi, bri...@aracnet.com wrote: Currently debian stable installs ghc 6.12.1. Is there any reason you're not using say Debian testing? The Debian Haskell Group (of which I am one of the less active members) is doing a magnificent job in bringing Haskell packages to Debian in the form of proper

Re: [Haskell-cafe] Replacing stdin from within Haskell

2011-06-10 Thread Alexander Kjeldaas
On 10 June 2011 06:43, Richard O'Keefe o...@cs.otago.ac.nz wrote: On 10/06/2011, at 1:11 AM, Erik Hesselink wrote: On Thu, Jun 9, 2011 at 13:40, Neil Davies semanticphilosop...@gmail.com wrote: Anyone out there got an elegant solution to being able to fork a haskell thread and replace

Re: [Haskell-cafe] best way to use ghc-7.0 under debian stable

2011-06-10 Thread Joachim Breitner
Hi, Am Freitag, den 10.06.2011, 17:24 +1000 schrieb Erik de Castro Lopo: Is there any reason you're not using say Debian testing? The Debian Haskell Group (of which I am one of the less active members) is doing a magnificent job in bringing Haskell packages to Debian in the form of proper

Re: [Haskell-cafe] Plug space leak with seq. How?

2011-06-10 Thread Alexey Khudyakov
forever a = a forever a doesn't tie to itself without optimisations, so my guess is that it gets expanded when you run/eval/execState it in ghci, building the thunk a a a a ... If you define forever' a = let a' = a a' in a' the variant using forever' runs in constant space in ghci.

Re: [Haskell-cafe] best way to use ghc-7.0 under debian stable

2011-06-10 Thread Johannes Waldmann
I'm wondering what the best way to maintain the latest ghc while using debian stable. here's what I usually do: * install ghc from binary package, * build haskell-platform from source. * when necessary, get more recent haskell packages via cabal J.W.

Re: [Haskell-cafe] best way to use ghc-7.0 under debian stable

2011-06-10 Thread Aleksandar Dimitrov
Hi Brian, Currently debian stable installs ghc 6.12.1. Testing also doesn't have the new ghc. Here's how I do it: I have a prefix $HOME/local/haskell, where I installed the ghc binaries (downloadable at the ghc main site.) Just use ./configure --prefix=$HOME/local/haskell. Then use the same

Re: [Haskell-cafe] Data.List / Map: simple serialization?

2011-06-10 Thread Dmitri O.Kondratiev
On Thu, Jun 9, 2011 at 11:31 AM, Max Bolingbroke batterseapo...@hotmail.com wrote: If you want plain text serialization, writeFile output.txt . show and fmap read (readFile output.txt) should suffice... Max This code works: main = do let xss = [[1,2,3],[4,5,6],[7,8],[9]]

Re: [Haskell-cafe] Data.List / Map: simple serialization?

2011-06-10 Thread Daniel Fischer
On Friday 10 June 2011, 13:49:23, Dmitri O.Kondratiev wrote: On Thu, Jun 9, 2011 at 11:31 AM, Max Bolingbroke batterseapo...@hotmail.com wrote: If you want plain text serialization, writeFile output.txt . show and fmap read (readFile output.txt) should suffice... Max This code

Re: [Haskell-cafe] Data.List / Map: simple serialization?

2011-06-10 Thread Dmitri O.Kondratiev
On Fri, Jun 10, 2011 at 4:13 PM, Daniel Fischer daniel.is.fisc...@googlemail.com wrote: On Friday 10 June 2011, 13:49:23, Dmitri O.Kondratiev wrote: On Thu, Jun 9, 2011 at 11:31 AM, Max Bolingbroke batterseapo...@hotmail.com wrote: If you want plain text serialization, writeFile

Re: [Haskell-cafe] Data.List / Map: simple serialization?

2011-06-10 Thread Ketil Malde
Dmitri O.Kondratiev doko...@gmail.com writes: xss2 - read `fmap` readFile output.txt Two questions: 1) Why to use 'fmap' at all if a complete file is read in a single line of text? Because it's not 'map', it's more generalized. So the argument ('read' here) is applied to whatever is

Re: [Haskell-cafe] Data.List / Map: simple serialization?

2011-06-10 Thread Daniel Fischer
On Friday 10 June 2011, 14:25:59, Dmitri O.Kondratiev wrote: Two questions: 1) Why to use 'fmap' at all if a complete file is read in a single line of text? Well, it's a matter of taste whether to write foo - fmap read (readFile bar) stuffWithFoo or text - readFile bar let

Re: [Haskell-cafe] Data.List / Map: simple serialization?

2011-06-10 Thread Dmitri O.Kondratiev
Thanks for the excellent explanation! : On Fri, Jun 10, 2011 at 4:49 PM, Daniel Fischer daniel.is.fisc...@googlemail.com wrote: On Friday 10 June 2011, 14:25:59, Dmitri O.Kondratiev wrote: Two questions: 1) Why to use 'fmap' at all if a complete file is read in a single line of text?

Re: [Haskell-cafe] question about interruptable state runner

2011-06-10 Thread Heinrich Apfelmus
Alexander V Vershilov wrote: I'm writing a small tcp server with that can handle connections and answer by rules writen in a small script that can be interpreted by server. For this purpose I've written an interpreter that has type ErrorT MyError (StateT ScriptState IO) so I can call native

Re: [Haskell-cafe] question about interruptable state runner

2011-06-10 Thread Yves Parès
Just for the culture (because Heinrich's solution is undoubtly simpler) you can also achive this using continuations. This is one of the purposes of the Cont monad, used jointly with a State monad, you can store the continuations and resume them later. 2011/6/10 Heinrich Apfelmus

Re: [Haskell-cafe] best way to use ghc-7.0 under debian stable

2011-06-10 Thread Chris Smith
On Fri, 2011-06-10 at 09:51 +, Johannes Waldmann wrote: here's what I usually do: * install ghc from binary package, * build haskell-platform from source. * when necessary, get more recent haskell packages via cabal Yes, this is definitely the way to go. You want to have the Haskell

Re: [Haskell-cafe] question about interruptable state runner

2011-06-10 Thread Antoine Latter
On Thu, Jun 9, 2011 at 4:04 PM, Alexander V Vershilov alexander.vershi...@gmail.com wrote: Hello. Thu, Jun 09, 2011 at 01:40:51PM -0500, Antoine Latter wrote On Thu, Jun 9, 2011 at 3:14 PM, Alexander V Vershilov alexander.vershi...@gmail.com wrote: Hello. I'm writing a small tcp server

[Haskell-cafe] Deadline June 17: ACM SIGPLAN Workshop on ML

2011-06-10 Thread Chung-chieh Shan
ACM SIGPLAN Workshop on ML Sunday, 18 September 2011, Tokyo, Japan (co-located with ICFP) http://conway.rutgers.edu/ml2011/ CALL FOR CONTENT The ML family of programming languages includes dialects known as Standard ML, Objective Caml, and F#. These languages have inspired a large amount of

[Haskell-cafe] Installing Gtk2Hs on Win32

2011-06-10 Thread Dmitri O.Kondratiev
Please help to find pre-compiled binary libraries of Gtk+ for Win32. Gtk2Hs insatll instructions at: http://code.haskell.org/gtk2hs/INSTALL tells us: [quote] Building on Windows Installation on Windows is nearly as easy as on Unix platforms. However, you need to download

Re: [Haskell-cafe] Replacing stdin from within Haskell

2011-06-10 Thread Brandon Allbery
On Fri, Jun 10, 2011 at 00:36, Richard O'Keefe o...@cs.otago.ac.nz wrote: The point is that they *could* have.   The fact that they do not has nothing whatever to do with UNIX.  It was a Haskell design decision. I have this feeling you're looking at it backwards... The question was whether GHC

[Haskell-cafe] Errors installing 'Haskell Charts'

2011-06-10 Thread Dmitri O.Kondratiev
I am trying to install HaskellCharts at: http://dockerz.net/twd/HaskellCharts Running: cabal update cabal install gtk2hs-buildtools cabal install gtk cabal install chart goes well untill 'cabal install chart' which results in: C:\wks\RCAcabal install chart Resolving

[Haskell-cafe] Class and Instance

2011-06-10 Thread Patrick Browne
Hi Below is a class that I wish to create some instances of. I do not wish to change the class definition. It is supposed to represent containers of type x that contain things of type y. My attempt at the insert function seems ok for Char and lists, but not ok for Integer. How do I instantiate

Re: [Haskell-cafe] Errors installing 'Haskell Charts'

2011-06-10 Thread Daniel Fischer
On Friday 10 June 2011, 17:51:34, Dmitri O.Kondratiev wrote: Configuring cairo-0.12.0... setup.exe: The program pkg-config version =0.9.0 is required but it could not be found. You need the (non-Haskell) programme pkg-config, you should be able to get it from e.g.

Re: [Haskell-cafe] Installing Gtk2Hs on Win32

2011-06-10 Thread Eugene Kirpichov
Hi, http://www.gtk.org/download/win32.php http://www.gtk.org/download/win64.php search for all-in one bundle. 2011/6/10 Dmitri O.Kondratiev doko...@gmail.com: Please help to find pre-compiled binary libraries of Gtk+ for Win32. Gtk2Hs insatll instructions at:

Re: [Haskell-cafe] Errors installing 'Haskell Charts'

2011-06-10 Thread Eugene Kirpichov
Hi, You forgot to install gtk2hs-buildtools, it includes pkg-config. 2011/6/10 Dmitri O.Kondratiev doko...@gmail.com: I am trying to install HaskellCharts at: http://dockerz.net/twd/HaskellCharts Running:     cabal update     cabal install gtk2hs-buildtools     cabal install gtk    

Re: [Haskell-cafe] Class and Instance

2011-06-10 Thread Daniel Schoepe
On Fri, 10 Jun 2011 17:28:22 +0100, Patrick Browne patrick.bro...@dit.ie wrote: -- Not OK -- insert 2 [9,2] This causes an error, because numeric literals like 2 are polymorphic: :t 2 2 :: Num a = a If you fix the type to Integer, it works as expected: insert (2 :: Integer) [9,2] By the

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

2011-06-10 Thread Andrew Coppin
On 10/06/2011 01:44 AM, Jason Dagit wrote: On Thu, Jun 9, 2011 at 2:06 PM, Andrew Coppin andrewcop...@btinternet.com wrote: Too bad GHC doesn't support inline assembly yet... (Or does it? I know it supports inline Core now.) Really? I found this in the manual so I think either the docs

Re: [Haskell-cafe] question about interruptable state runner

2011-06-10 Thread Alexander V Vershilov
Fri, Jun 10, 2011 at 03:27:44PM +0200, Heinrich Apfelmus wrote Alexander V Vershilov wrote: I'm writing a small tcp server with that can handle connections and answer by rules writen in a small script that can be interpreted by server. For this purpose I've written an interpreter that

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

2011-06-10 Thread austin seipp
It's worth mentioning 'foreign prim' is still a bit different from inline code - while you can certainly write Cmm and have GHC link it into your program, it is not really inline. GHC has two different kinds of primitive operations: inline primops, and out of line primops. foreign primops are

Re: [Haskell-cafe] Fixed points

2011-06-10 Thread Alexander Solla
On Thu, Jun 9, 2011 at 6:04 PM, Felipe Almeida Lessa felipe.le...@gmail.com wrote: Something like this? equivalenceClosure = fix $ \f e - let e' = reflexivity . symmetry . transitivity $ e in if e' == e then e else f e' Cheers, -- Felipe. I managed something even clearer. I

Re: [Haskell-cafe] Fixed points

2011-06-10 Thread Alexander Solla
On Fri, Jun 10, 2011 at 12:05 PM, Alexander Solla alex.so...@gmail.comwrote: On Thu, Jun 9, 2011 at 6:04 PM, Felipe Almeida Lessa felipe.le...@gmail.com wrote: Something like this? equivalenceClosure = fix $ \f e - let e' = reflexivity . symmetry . transitivity $ e in if e' == e

Re: [Haskell-cafe] Errors installing 'Haskell Charts'

2011-06-10 Thread Dmitri O.Kondratiev
Trying to install the same stuff on Mac OS X 10.6.7 I get problems both with gtk2hs-buildtools and pkg-config, (see below). Any ideas where to get pre-built glib and pkg-config both for Win32 and Mac OS X? == Problems on Mac OS X with gtk2hs-buildtools : cabal install gtk Resolving

Re: [Haskell-cafe] Errors installing 'Haskell Charts'

2011-06-10 Thread Henning Thielemann
On Fri, 10 Jun 2011, Dmitri O.Kondratiev wrote: /var/folders/Bo/BobN2Ap5GZW51e9o-n2Ack+++TI/-Tmp-/cairo-0.12.04207/cairo-0.12.0/Gtk2HsSetup.hs:201:69:     Couldn't match expected type `PackageDBStack'    against inferred type `PackageDB'     In the sixth argument of `registerPackage',

Re: [Haskell-cafe] Matplotlib analog for Haskell?

2011-06-10 Thread Dmitri O.Kondratiev
On Sat, Jun 4, 2011 at 1:56 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 4 June 2011 07:11, Dmitri O.Kondratiev doko...@gmail.com wrote: So, if I got this right, I should run: 'cabal install -fbuildExamples gnuplot' from gnuplot source root folder? You can either get

[Haskell-cafe] Vi mode in ghci?

2011-06-10 Thread David McBride
Somehow in the distant past I managed to get vi editing mode working for ghci on ghc 6, but when I upgraded to ghc 7, I can't seem to figure out how to enable it anymore. I think I might have been using ghci-haskeline in the past. A post I read somewhere suggested that ghc 7 should have innate

Re: [Haskell-cafe] Vi mode in ghci?

2011-06-10 Thread Evan Laforge
On Fri, Jun 10, 2011 at 1:25 PM, David McBride dmcbr...@neondsl.com wrote: Somehow in the distant past I managed to get vi editing mode working for ghci on ghc 6, but when I upgraded to ghc 7, I can't seem to figure out how to enable it anymore.  I think I might have been using ghci-haskeline

Re: [Haskell-cafe] Vi mode in ghci?

2011-06-10 Thread David McBride
I do remember reading this page way back when. Thank you very much! On Fri, Jun 10, 2011 at 4:41 PM, Evan Laforge qdun...@gmail.com wrote: On Fri, Jun 10, 2011 at 1:25 PM, David McBride dmcbr...@neondsl.com wrote: Somehow in the distant past I managed to get vi editing mode working for ghci

Re: [Haskell-cafe] Fixed points

2011-06-10 Thread Patrick Palka
FWIW, what you have written is equivalent to equivalenceClosure = fix (const (reflexivity . symmetry . transitivity)) and because the fixed point of `const a` is `a`, equivalenceClosure = reflexivity . symmetry . transitivity which obviously only performs a single pass on its input On Fri,

Re: [Haskell-cafe] Matplotlib analog for Haskell?

2011-06-10 Thread Henning Thielemann
On Sat, 11 Jun 2011, Dmitri O.Kondratiev wrote: That's what I get (see below). What else should I do to install gnuplot? ~/wks/haskell-wks/gnuplot/gnuplot-0.4.2/srcghc -v Demo.hs Do you really want to compile the Demo (with ghc)? It is already compiled if 'cabal install -fbuildExamples'

Re: [Haskell-cafe] Matplotlib analog for Haskell?

2011-06-10 Thread Dmitri O.Kondratiev
On Sat, Jun 11, 2011 at 12:54 AM, Henning Thielemann lemm...@henning-thielemann.de wrote: On Sat, 11 Jun 2011, Dmitri O.Kondratiev wrote: That's what I get (see below). What else should I do to install gnuplot? ~/wks/haskell-wks/gnuplot/gnuplot-0.4.2/srcghc -v Demo.hs Do you really

Re: [Haskell-cafe] Class and Instance

2011-06-10 Thread Yves Parès
You can also modify you class if your intent is that it always work with polymorph types (And it will save you some trouble with functional dependencies between types x and y. Plus, it will be Haskell98 compliant) -- insert, remove and whatsIn are then supposed to work *forall y*, and then impose

[Haskell-cafe] Generating simple histograms in png format?

2011-06-10 Thread Dmitri O.Kondratiev
I am looking for platform-independent library to generate simple histograms in png format. Does such thing exist? Thanks! ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Vi mode in ghci?

2011-06-10 Thread Marc Weber
You can also get vim-addon-async [1] and run ghci inside Vim. Then you can use all Vim goodness. [1]: requires client-server. Tested on Linux and Mac http://github.com/MarcWeber/vim-addon-async Marc Weber ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Matplotlib analog for Haskell?

2011-06-10 Thread Henning Thielemann
On Sat, 11 Jun 2011, Dmitri O.Kondratiev wrote: Yes, you did, thanks. Yet, please allow me to ask a few more questions here, before I subscribe to gnuplot list. I am really short on time - must have some plots for demo next Monday ( 1) Can current version of gnuplot draw histograms? I need

Re: [Haskell-cafe] Installing Gtk2Hs on Win32

2011-06-10 Thread Daniel Díaz Casanueva
Hi, Dmitri, here is newer guide, with updated links: http://deltadiaz.blogspot.com/2011/03/on-windows-how-to-install-gtk.html Hope it helps! On Fri, Jun 10, 2011 at 5:30 PM, Dmitri O.Kondratiev doko...@gmail.comwrote: Please help to find pre-compiled binary libraries of Gtk+ for Win32.

Re: [Haskell-cafe] best way to use ghc-7.0 under debian stable

2011-06-10 Thread Arlen Cuss
Should I abandon the ghc debian package and install the haskell-platform ? Should I simply build ghc 7.0 independently ? This is the way I went; I installed the latest ghc from source, then haskell-platform from source. Works a treat! Arlen signature.asc Description: This is a digitally

[Haskell-cafe] In ML books; functors only consume produce structures; whereas, functions CP values.

2011-06-10 Thread KC
I've never seen such an easy description in Haskell books. Is there more going on with Haskell functors? -- -- Regards, KC ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] In ML books; functors only consume produce structures; whereas, functions CP values.

2011-06-10 Thread Chris Smith
On Fri, 2011-06-10 at 19:53 -0700, KC wrote: I've never seen such an easy description in Haskell books. Is there more going on with Haskell functors? You could make an analogous statement by saying that Haskell functors produce and consume types... but we don't, because that's a much more