Re: [Haskell-cafe] [Haskell-beginners] No instance for (Show a)

2011-07-31 Thread Ovidiu Deac
It worked. Initially I didn't understand what you mean but after some googleing I figured it out what I had to do so I did this instance Show a ⇒ Show (Stack a) where show s = ... Now, thinking about this, it totally makes sense because Stack cannot be an instance of Show if the type a is

Re: [Haskell-cafe] XCode Dependency for HP on Mac

2011-07-31 Thread Tom Murphy
On 7/30/11, Mark Lentczner m...@glyphic.com wrote: Hiho - I'm the maintainer of the Mac installer for HP. I thought I'd chime in a bit: An expert :) On Mac OS X, developer tools is essentially synonymous with Xcode. That is, to get the set of standard utilities needed for development on

Re: [Haskell-cafe] A language that runs on the JVM or .NET has the advantage of Oracle Microsoft making those layers more parallelizable.

2011-07-31 Thread Paul R
KC Are there plans a foot (or under fingers) to make a version of KC Haskell that runs on the JVM? This is probably a fun - or even useful - project, and a lot of people have had this wish of a general convergence of language runtimes toward a single VM such as the java one or the .net one.

[Haskell-cafe] State of play with Haskell-Cocoa (Objective-C) bindings?

2011-07-31 Thread Luke Evans
I'm planning to start an Objective-C/Cocoa project and would like to write it in Haskell as much as possible. Of course, I can contrive to split the project into app logic (Haskell) and UI (Objective-C) with some sort of minimal interface between them; possibly just plain old C FFI. However,

Re: [Haskell-cafe] A language that runs on the JVM or .NET has the advantage of Oracle Microsoft making those layers more parallelizable.

2011-07-31 Thread Maciej Marcin Piechotka
On Sat, 2011-07-30 at 15:07 -0700, KC wrote: Are there plans a foot (or under fingers) to make a version of Haskell that runs on the JVM? I m not GHC developer but wouldn't JVM LLVM backend be sufficient? Since new GHC AFAIK uses LLVM then it would allow compiling Haskell to LLVM and LLVM to

Re: [Haskell-cafe] A language that runs on the JVM or .NET has the advantage of Oracle Microsoft making those layers more parallelizable.

2011-07-31 Thread Niklas Larsson
I m not GHC developer but wouldn't JVM LLVM backend be sufficient? Since new GHC AFAIK uses LLVM then it would allow compiling Haskell to LLVM and LLVM to JVM. The hard part wouldn't be the code generation, but the interop with the class libraries, finding a workable way to use Java classes

Re: [Haskell-cafe] A language that runs on the JVM or .NET has the advantage of Oracle Microsoft making those layers more parallelizable.

2011-07-31 Thread Henk-Jan van Tuyl
On Sun, 31 Jul 2011 00:07:23 +0200, KC kc1...@gmail.com wrote: Are there plans a foot (or under fingers) to make a version of Haskell that runs on the JVM? UCH has an almost fully functional backend for JVM, see:

[Haskell-cafe] logic and types

2011-07-31 Thread Patrick Browne
Hi, Below are some questions about the logical interpretation of types and type classes. Thanks, Pat module J where type Id = String type Position = Integer data Person = Person Id Position deriving Show -- Is this an axiom at type level? class Pos a where getPos :: a - Position -- The :type

[Haskell-cafe] ANNOUNCE: HROOT-0.5.0.1 - haskell binding to ROOT

2011-07-31 Thread Ian-Woo Kim
Hi, everyone, I am pleased to announce a haskell binding to the ROOT analysis package, HROOT: http://hackage.haskell.org/package/HROOT From wikipedia: ROOT (http://root.cern.ch) is an object-oriented program and library developed by CERN. It was originally designed for particle physics data

Re: [Haskell-cafe] logic and types

2011-07-31 Thread Ben Lippmeier
On 01/09/2011, at 8:48 , Patrick Browne wrote: Hi, Below are some questions about the logical interpretation of types and type classes. Thanks, Pat module J where type Id = String type Position = Integer data Person = Person Id Position deriving Show -- Is this an axiom at type

Re: [Haskell-cafe] XCode Dependency for HP on Mac

2011-07-31 Thread Manuel M T Chakravarty
In addition to the excellent reasons that Mark outlined, there is another important reason to *not* include gcc and friends in the HP. Every software developer (as opposed to friend of a friend who just wanted to try to learn programming with Haskell on a road trip) will already have Xcode

Re: [Haskell-cafe] A language that runs on the JVM or .NET has the advantage of Oracle Microsoft making those layers more parallelizable.

2011-07-31 Thread Michael Snoyman
On Sun, Jul 31, 2011 at 11:33 PM, Niklas Larsson metanik...@gmail.com wrote: I m not GHC developer but wouldn't JVM LLVM backend be sufficient? Since new GHC AFAIK uses LLVM then it would allow compiling Haskell to LLVM and LLVM to JVM. The hard part wouldn't be the code generation, but the