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
existential
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
parametrized
Regards,
Kashyap
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Not anymore!
On 5 July 2012 15:13, C K Kashyap ckkash...@gmail.com wrote:
Regards,
Kashyap
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
--
Ivan Lazar Miljenovic
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 =
Sorry, drop the data Data line, I was experimenting with a deeper
description.
paolino
2012/7/4 Paolino paolo.verone...@gmail.com
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
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
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
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
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:
On 5 July 2012 01:35, Joachim Breitner m...@joachim-breitner.de 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.
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
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
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
Thanks Paolino, I will try to see how I can use your implementation!
Corentin
On Wed, Jul 4, 2012 at 9:24 PM, Paolino
paowolo.verone...@gmail.compaolo.verone...@gmail.com
wrote:
Hi Corentin,
This is how I would model your request (without concrete constructors for
Player and Rule)
I'm sure
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 NewRule is
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
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
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
not
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!
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 functions.
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 :)
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 -
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 ckkash...@gmail.com wrote:
Regards,
Kashyap
___
Haskell-Cafe mailing list
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
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
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
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
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
Hi,
--- On Thu, Jul 5, 2012 at 8:41 PM, C K Kashyap ckkash...@gmail.com 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
On Wed, Jul 4, 2012 at 3:58 PM, Yves Parès yves.pa...@gmail.com 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
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 (forall a
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
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:
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
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.
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 are
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
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
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]
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
two
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
Hi,
--- On Fri, Jul 6, 2012 at 11:16 AM, C K Kashyap ckkash...@gmail.com 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
43 matches
Mail list logo