Re: [Haskell-cafe] OpenShift a free PaaS from RedHat

Hi, --- On Fri, Jul 6, 2012 at 11:16 AM, C K Kashyap wrote: | What'll be best though is - yesod on OpenShift :) \-- The review is pending due to dependencies that need to be reviewed first. https://bugzilla.redhat.com/show_bug.cgi?id=630303 SK -- Shakthi Kannan http://www.shakthimaan.com

Re: [Haskell-cafe] OpenShift a free PaaS from RedHat

Thank you Micheal and Satvik. I think cde should solve the problem - I'll confirm later - for some reason, I do not have SSH connectivity from my office. What'll be best though is - yesod on OpenShift :) Regards, Kashyap On Fri, Jul 6, 2012 at 10:51 AM, satvik chauhan wrote: > >> OpenShift give

Re: [Haskell-cafe] OpenShift a free PaaS from RedHat

> > > OpenShift gives access to Linux virtual machines on the cloud. However, we > do not have root access so we cannot install any new package. > I was trying to get my haskell code compiled into native on my local linux > box and taking it to those machines. That does not seem to work because of

Re: [Haskell-cafe] OpenShift a free PaaS from RedHat

Hi Kashyap, I'm not sure if it will solve the problem, but I ran across a tool[1] the other day that bundles up applications with all of the libraries and other resources they need. I wouldn't be surprised if, with this, you can get your code to run on OpenShift. Michael [1] http://www.pgbovine.

Re: [Haskell-cafe] OpenShift a free PaaS from RedHat

Hey Shakti, OpenShift gives access to Linux virtual machines on the cloud. However, we do not have root access so we cannot install any new package. I was trying to get my haskell code compiled into native on my local linux box and taking it to those machines. That does not seem to work because of

[Haskell-cafe] ANNOUNCE: Sifflet visual programming language, release 2.0.0.0

I don't usually get this excited about a release, but after nearly a year of not being able to do any work on Sifflet, I am now *Extremely Happy* to announce -- Sifflet and sifflet-lib 2.0.0.0, now available on Hackage! This version introduces a type checker and partial support for higher order f

Re: [Haskell-cafe] HUnit/cabal integration

On Thu, Jul 05, 2012 at 04:17:33PM +0200, Simon Hengel wrote: > > First: the web page I cite above describes the interface that the test > > binary must support to work with cabal, specifically w.r.t. the binary's > > exit code. "Your test suites likely already fit this model. However, if > > you

Re: [Haskell-cafe] Cabal problem re. haskelldb-hdbc-mysql

On 12-07-04 10:58 AM, Yves Parès wrote: the package http://hackage.haskell.org/package/haskelldb-hdbc-mysql/ the use of HDBC <2.3.0 I'm using cabal-install 0.14, and with a fresh install (no packages already installed), cabal-install tries to install HDBC-2.1.1 instead of, say, HDBC-2.2.7.0. HD

[Haskell-cafe] Plain lambda inside banana brackets in the arrow notation

Hello, In a program, I have an arrow MyArr and a combinator called repeat of the following type: repeat :: Int -> (Int -> MyArr e a) -> MyArr e a My problem is that the code becomes messy when I use this combinator inside the arrow notation, and I am looking for a way to write the code in a

[Haskell-cafe] Posting jobs on Haskellers.com

There are no job postings on Haskellers.com and I'm wondering whether it's because you have to wait for the "verified" status before you can post (and that's after you have successfully verified your email). Posting the job on the CUFP site, on the other hand, was painless: http://cufp.org/job

Re: [Haskell-cafe] Bad interface problem.

On 12-07-03 04:19 AM, Magicloud Magiclouds wrote: $ cabal --upgrade-dependencies --enable-documentation --force-reinstalls --solver=topdown QuickCheck-2.5 Test/QuickCheck/All.hs:15:1: Bad interface file: /home/magicloud/.cabal/lib/template-haskell-2.6.0.0/ghc-7.4.2/Language/Haskell/TH.hi

Re: [Haskell-cafe] arbitrary rank polymorphism and ghc language pragmas

Thanks Francesco. And I did verify that ExplicitForAll does in fact allow Rank 1 Types in functions like the following ... f :: (forall a. a -> a) -- Rick On Thu, 2012-07-05 at 16:28 +0100, Francesco Mazzoli wrote: > At Thu, 05 Jul 2012 11:18:00 -0400, > rickmurphy wrote: > > data T = TC (foral

Re: [Haskell-cafe] Cabal problem re. haskelldb-hdbc-mysql

On Wed, Jul 4, 2012 at 3:58 PM, Yves Parès wrote: > Hi, > the package http://hackage.haskell.org/package/haskelldb-hdbc-mysql/ the use > of HDBC <2.3.0 > I'm using cabal-install 0.14, and with a fresh install (no packages already > installed), cabal-install tries to install HDBC-2.1.1 instead of,

Re: [Haskell-cafe] OpenShift a free PaaS from RedHat

Hi, --- On Thu, Jul 5, 2012 at 8:41 PM, C K Kashyap wrote: | I just found out about OpenShift - its a free PaaS from RedHat. It has some | interesting offerings. It does not support Haskell out of the box as of now. | Please do check it out and if you like it - vote for Haskell support on it | he

Re: [Haskell-cafe] arbitrary rank polymorphism and ghc language pragmas

On 05/07/12 17:18, rickmurphy wrote: Hi All: I've been working through some details in these papers [1], [2] and noticed a language pragma configuration that I hope you can confirm. When using explicit foralls in a data constructor, it appears that GHC 7.4.2 requires Rank2Types in the Language

Re: [Haskell-cafe] arbitrary rank polymorphism and ghc language pragmas

At Thu, 05 Jul 2012 11:18:00 -0400, rickmurphy wrote: > data T = TC (forall a b. a -> b -> a) The type of `TC' will be `(forall a b. a -> b -> a) -> T', a Rank-2 type. -- Francesco * Often in error, never in doubt ___ Haskell-Cafe mailing list Haskell

Re: [Haskell-cafe] Call to arms: lambda-case is stuck and needs your help

I like \case as is proposed. It seems the least controversial one and there's curry (\case ) for two-args, but even that seems a rare case. For what it's worth, I like the idea of omission being partiality, as in case of and if then. It seems perfectly natural to me, I don't need a \ to tell me th

[Haskell-cafe] arbitrary rank polymorphism and ghc language pragmas

Hi All: I've been working through some details in these papers [1], [2] and noticed a language pragma configuration that I hope you can confirm. When using explicit foralls in a data constructor, it appears that GHC 7.4.2 requires Rank2Types in the Language pragma for what the papers consider ran

[Haskell-cafe] Parallel Haskell Digest 11

Parallel Haskell Digest 11 == HTML version: http://www.well-typed.com/blog/67 Hello Haskellers! It's time for another Parallel Haskell Digest! Unfortunately, this may just be our last one, at least within the context of the Parallel GHC project. That said, we may as a comm

Re: [Haskell-cafe] Is haskell.org down?

Thanks! Regards, Kashyap On Thu, Jul 5, 2012 at 4:20 PM, Ivan Lazar Miljenovic < ivan.miljeno...@gmail.com> wrote: > Not anymore! > > On 5 July 2012 15:13, C K Kashyap wrote: > > Regards, > > Kashyap > > > > ___ > > Haskell-Cafe mailing list > > Haskel

[Haskell-cafe] OpenShift a free PaaS from RedHat

Hi Folks, I just found out about OpenShift - its a free PaaS from RedHat. It has some interesting offerings. It does not support Haskell out of the box as of now. Please do check it out and if you like it - vote for Haskell support on it here - https://openshift.redhat.com/community/content/suppor

[Haskell-cafe] Haskell Weekly News: Issue 234

Welcome to issue 234 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of June 24 to 30, 2012. Quotes of the Week * monochrom: shae ericsson is shae erisson's evil twin who prefers erlang to haskell :)

Re: [Haskell-cafe] Is there a GHC flag that will allow mutable top level state while you are debugging and then ...

At Wed, 4 Jul 2012 09:06:32 -0700, KC wrote: > you can turn the flag off when you are ready to do the computational > heavy lifting so that you don't have to modify your code base? > > That is, GHC can then apply its algebraic transformation > optimizations to the "code algebra" of the pure funct

[Haskell-cafe] Call to arms: lambda-case is stuck and needs your help

Hi. After 21 months of occasional arguing the lambda-case proposal(s) is in danger of being buried under its own trac ticket comments. We need fresh blood to finally reach an agreement on the syntax. Read the wiki page[1], take a look at the ticket[2], vote and comment on the proposals! P.S.

Re: [Haskell-cafe] HUnit/cabal integration

> First: the web page I cite above describes the interface that the test > binary must support to work with cabal, specifically w.r.t. the binary's > exit code. "Your test suites likely already fit this model. However, if > you are using an old version of QuickCheck or HUnit, your executable may

[Haskell-cafe] Is there a GHC flag that will allow mutable top level state while you are debugging and then ...

you can turn the flag off when you are ready to do the computational heavy lifting so that you don't have to modify your code base? That is, GHC can then apply its algebraic transformation optimizations to the "code algebra" of the pure functions. -- -- Regards, KC __

[Haskell-cafe] haskell.org website ?

Hi, Haskell.org website seems dropping offline at this moment. Anyone know what's happening to it? Thanks, Qi ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] existential types and cast

Hi, for example, in my game (Nomic) if a new player arrives, I trigger a "NewPlayer" event. All handlers registered for that event should be triggered, and passed a structure "Player" containing all the infos of the incoming player. If there is a new rule submitted, that the same: the event "NewRul

Re: [Haskell-cafe] existential types and cast

Thanks Paolino, I will try to see how I can use your implementation! Corentin On Wed, Jul 4, 2012 at 9:24 PM, Paolino > wrote: > Hi Corentin, > This is how I would model your request (without concrete constructors for > Player and Rule) > I'm sure there are better descriptions also as I'm not a

Re: [Haskell-cafe] existential types and cast

Hi Corentin, If you could explain *why* there should be a type associated to each event value, it would help, maybe. If it's a design choice , maybe it's wrong design. One reason to use dynamic typing would be to plug in new type of events. But if you already have the events semantics , this is no

[Haskell-cafe] HUnit/cabal integration

I'm working on a little library package (purely for my own consumption) that's built with Cabal, and I have a couple of questions about the pragmatics of using HUnit for it. First, I'd like to be able to run my tests via "cabal test" from the shell prompt. I've seen

[Haskell-cafe] Cabal problem re. haskelldb-hdbc-mysql

Hi, the package http://hackage.haskell.org/package/haskelldb-hdbc-mysql/ the use of HDBC <2.3.0 I'm using cabal-install 0.14, and with a fresh install (no packages already installed), cabal-install tries to install HDBC-2.1.1 instead of, say, HDBC-2.2.7.0. The problem is that HDBC-2.1.1 is old (20

Re: [Haskell-cafe] Inferring Safety

On 5 July 2012 01:35, Joachim Breitner wrote: > Hi, > > Am Mittwoch, den 04.07.2012, 21:10 +1000 schrieb Ivan Lazar Miljenovic: >> So what's going on here? > > you are likely hit by > http://hackage.haskell.org/trac/ghc/ticket/5989 Ahhh, that looks like it; thanks Joachim. > > Greetings, > Joach

Re: [Haskell-cafe] Martin Odersky on "What's wrong with Monads"

In practice, the amount of time you have to spend testing each function, to make sure its IO doesn't trip up in some corner case, is usually greater than the amount of time a rewrite-for-IO would take. Tom On Jun 28, 2012 2:54 PM, "Dominique Devriese" < dominique.devri...@cs.kuleuven.be> wrote: >

Re: [Haskell-cafe] Inferring Safety

Hi, Am Mittwoch, den 04.07.2012, 21:10 +1000 schrieb Ivan Lazar Miljenovic: > So what's going on here? you are likely hit by http://hackage.haskell.org/trac/ghc/ticket/5989 Greetings, Joachim -- Joachim "nomeata" Breitner m...@joachim-breitner.de | nome...@debian.org | GPG: 0x4743206C

Re: [Haskell-cafe] existential types and cast

Hi Paolino, the user can add as many handlers he wants for each event. When a event is triggered along with a data, all handlers associated to that event should be triggered and passed the data. The trick is, there is one type of data associated with each event. That's why I cannot use a Event data

Re: [Haskell-cafe] Martin Odersky on "What's wrong with Monads"

> That precedent supports the view that e.g. a command-line flag > shouldn't affect behavior without the type reflecting it, e.g. by > doing IO, but the de facto use of the unsafe IO trick means not > everyone agrees. For those interested, here's [1] a case where treating command line arguments as

Re: [Haskell-cafe] existential types and cast

Sorry, drop the data Data line, I was experimenting with a deeper description. paolino 2012/7/4 Paolino > Hi Corentin, > This is how I would model your request (without concrete constructors for > Player and Rule) > I'm sure there are better descriptions also as I'm not an expert. > > pao

Re: [Haskell-cafe] existential types and cast

Hi Corentin, This is how I would model your request (without concrete constructors for Player and Rule) I'm sure there are better descriptions also as I'm not an expert. paolino {-# LANGUAGE DataKinds, GADTs, KindSignatures #-} data Player data Rule data Data = Player | Rule data EventKind =

Re: [Haskell-cafe] Is haskell.org down?

Not anymore! On 5 July 2012 15:13, C K Kashyap wrote: > Regards, > Kashyap > > ___ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com htt

[Haskell-cafe] Is haskell.org down?

Regards, Kashyap ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Using "syntactic" to implement the lambda calculus

Hi Alex! 2012-07-03 20:18, Alex Rozenshteyn skrev: I'm trying to implement the lambda calculus (with CBV evaluation) using the "syntactic" package, in such a way that a simple extension is also simple to implement. I am stuck on the fact that it seems that the Value type needs to be parametrize

[Haskell-cafe] translation between two flavors of lexically-scoped type variables

The paper "Lexically scoped type variables" by Simon Peyton Jones and Mark Shields describes two ways to give type variables lexical scoping. They state that one of the advantages of the GHC-style type-sharing approach over the SML-style type-lambda approach is that the former allows for existentia