[Haskell] [TFP2013] CFP Deadline Extension

2013-04-11 Thread Pieter Koopman
FINAL CALL FOR PAPERS (DEADLINE EXTENSION) 14th International Symposium Trends in Functional Programming 2013 Brigham Young University, Utah, U.S.A. May 14-16, 2013

Re: [Haskell-cafe] Which generic zipper?

2013-04-11 Thread Roman Cheplyaka
Note that syz is essentially based on Data.Data, which is no less official than GHC.Generics. (The compiler can derive Data with -XDeriveDataTypeable.) I am not sure what your primary concern is. In case you are concerned with the ease of deriving generic instances, almost every generics library

Re: [Haskell-cafe] Web servers: Running them multiple times in a ghci session

2013-04-11 Thread Manuel Gómez
On Thu, Apr 11, 2013 at 12:33 AM, Niklas Hambüchen m...@nh2.me wrote: I'm writing a web server app, which I run in ghci: :main localhost 8000 Unfortunately, after Ctrl-C and :reload, running it again: ** Exception: bind: resource busy (Address already in use) This is pretty annoying,

Re: [Haskell-cafe] Which generic zipper? [RESOLVED]

2013-04-11 Thread Luke Evans
Thanks Roman. I'll probably go with Data.Data then. Certainly, I'm not looking for any significant distractions and I'll heed your cautionary note. I read that GHC.Generics is fit and fast in comparison to SYB, but that's not really a big concern for me at the moment. I just fell in to

Re: [Haskell-cafe] Which generic zipper? [RESOLVED]

2013-04-11 Thread José Pedro Magalhães
Hi Luke, Even though you might have made up your mind already, here's some more info. If you want a zipper that does not use Typeable (and thus runtime type comparison and casting, which are potentially inefficient), you can use the zipper in Multirec [1]. Creating a zipper based on GHC.Generics

[Haskell-cafe] Set monad

2013-04-11 Thread oleg
The question of Set monad comes up quite regularly, most recently at http://www.ittc.ku.edu/csdlblog/?p=134 Indeed, we cannot make Data.Set.Set to be the instance of Monad type class -- not immediately, that it. That does not mean that there is no Set Monad, a non-determinism monad that

Re: [Haskell-cafe] unsafeInterleaveST (and IO) is really unsafe [was: meaning of referential transparency]

2013-04-11 Thread Tom Ellis
On Thu, Apr 11, 2013 at 12:49:40PM +1200, Richard A. O'Keefe wrote: On 10/04/2013, at 2:45 PM, o...@okmij.org wrote: ... unsafeInterleaveST is really unsafe ... import Control.Monad.ST.Lazy (runST) import Control.Monad.ST.Lazy.Unsafe (unsafeInterleaveST) import Data.STRef.Lazy

Re: [Haskell-cafe] Set monad

2013-04-11 Thread Petr Pudlák
One problem with such monad implementations is efficiency. Let's define step :: (MonadPlus m) = Int - m Int step i = choose [i, i + 1] -- repeated application of step on 0: stepN :: (Monad m) = Int - m (S.Set Int) stepN = runSet . f where f 0 = return 0

Re: [Haskell-cafe] exp implementation

2013-04-11 Thread Brandon Allbery
On Thu, Apr 11, 2013 at 1:38 AM, Christopher Howard christopher.how...@frigidcode.com wrote: Hi. For my own learning, I wanted to see how the exp function is implemented in GHC. I have GHC 7.4.1 source code open, but I'm having trouble figuring out which file the actual function definition is

Re: [Haskell-cafe] cabal-install 1.16.0.2 on Mac

2013-04-11 Thread Brandon Allbery
On Thu, Apr 11, 2013 at 1:19 AM, Richard A. O'Keefe o...@cs.otago.ac.nzwrote: On 11/04/2013, at 12:56 PM, Brandon Allbery wrote: Xcode 4.2 and on do not use /Developer at all. You have an older Xcode on your system somehow, which does not understand newer object files; you should remove the

Re: [Haskell-cafe] exp implementation

2013-04-11 Thread Christopher Howard
On 04/11/2013 06:37 AM, Brandon Allbery wrote: On Thu, Apr 11, 2013 at 1:38 AM, Christopher Howard christopher.how...@frigidcode.com mailto:christopher.how...@frigidcode.com wrote: Hi. For my own learning, I wanted to see how the exp function is implemented in GHC. I have GHC 7.4.1

Re: [Haskell-cafe] exp implementation

2013-04-11 Thread Christopher Howard
On 04/11/2013 07:12 AM, Christopher Howard wrote: On 04/11/2013 06:37 AM, Brandon Allbery wrote: I traced it down some more: I think it eventually goes into the compiler/nativeGen section where it is translated into the platform's native version of the function. On my platform, I think this

Re: [Haskell-cafe] unsafeInterleaveST (and IO) is really unsafe [was: meaning of referential transparency]

2013-04-11 Thread Timon Gehr
On 04/10/2013 04:45 AM, o...@okmij.org wrote: ... And yet there exists a context that distinguishes x == y from y ==x. That is, there exists bad_ctx :: ((Bool,Bool) - Bool) - Bool such that *R bad_ctx $ \(x,y) - x == y True *R bad_ctx $ \(x,y) - y == x

Re: [Haskell-cafe] [wxhaskell-devel] I would like to know how to use the following events handlers : dropTargetOnData, dropTargetOnDrop, dropTargetOnEnter,

2013-04-11 Thread Henk-Jan van Tuyl
On Tue, 09 Apr 2013 21:54:15 +0200, Luc TAESCH luc.tae...@gmail.com wrote: WxHaskell and DragAndDrop I would like to know how to use the following events handlers : dropTargetOnData, dropTargetOnDrop, dropTargetOnEnter, dropTargetOnDragOver….[1] Could you check if my current believes

[Haskell-cafe] Will Haskell Platform 2012.4.0.0 uninstall cleanly for the installation of 2013.2.0.0

2013-04-11 Thread KC
:) -- -- Regards, KC ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] cabal-install 1.16.0.2 on Mac

2013-04-11 Thread Richard A. O'Keefe
The basic problem is that the University has a strict policy that academic staff must not have root access on any machine that is connected to the University network. I was given an administrator account so that I could resume the printer and install (some) stuff, but /Developer is owned by root,

Re: [Haskell-cafe] cabal-install 1.16.0.2 on Mac

2013-04-11 Thread Brandon Allbery
On Thu, Apr 11, 2013 at 7:41 PM, Richard A. O'Keefe o...@cs.otago.ac.nzwrote: The basic problem is that the University has a strict policy that academic staff must not have root access on any machine that is connected to the University network. I was given an administrator account so that I

Re: [Haskell-cafe] cabal-install 1.16.0.2 on Mac

2013-04-11 Thread Hollister Herhold
On Apr 11, 2013, at 6:53 PM, Brandon Allbery wrote: /Developer should not exist on a machine with Xcode 4.2 or later installed, at all. Unfortunately this is not completely true - there are some SDKs that still install stuff in /Developer (NVIDIA comes to mind) but it's pretty obvious

Re: [Haskell-cafe] Web servers: Running them multiple times in a ghci session

2013-04-11 Thread Jeremy Shaw
The problem is that ^C only kills the main thread, but does not kill any child threads that have been spawned. In happstack the Conf has an optional field where you can supply a ThreadGroup. When threads are forked they will be registered with the ThreadGroup, and when you ^C, all those threads

Re: [arch-haskell] Switching from community+aur to haskell repo, missed something?

2013-04-11 Thread Sean Escriva
I do have them before [extra] Even just pacman -S ghc xmonad didn't seem to work right Here's a section of the pacman.log messages, there's plenty more since I tried reinstalling things different ways several times: [2013-04-10 20:44] [PACMAN] Running 'pacman -R ghc' [2013-04-10 20:49] [PACMAN]

Re: [arch-haskell] Switching from community+aur to haskell repo, missed something?

2013-04-11 Thread Fabio Riga
You should use `haskell-xmonad` package. `xmonad` is from [community] and has another set of dependencies. Fabio 2013/4/11 Sean Escriva sean.escr...@gmail.com: I do have them before [extra] Even just pacman -S ghc xmonad didn't seem to work right Here's a section of the pacman.log messages,

Re: [arch-haskell] Switching from community+aur to haskell repo, missed something?

2013-04-11 Thread Linus Arver
On Wed, Apr 10, 2013 at 09:35:05PM -0700, Sean Escriva wrote: I tried to make a clean switch by uninstalling all haskell pkgs+ghc, but I missed something so now I'm getting an odd error when I try to install xmonad or xmonad-contrib: soundwave ~ » sudo pacman -S xmonad If you are using

Re: [arch-haskell] Switching from community+aur to haskell repo, missed something?

2013-04-11 Thread Sean Escriva
That's what it was then, thanks! On Thu, Apr 11, 2013 at 3:09 PM, Linus Arver linusar...@gmail.com wrote: On Wed, Apr 10, 2013 at 09:35:05PM -0700, Sean Escriva wrote: I tried to make a clean switch by uninstalling all haskell pkgs+ghc, but I missed something so now I'm getting an odd error