On Sun, Dec 2, 2012 at 3:12 PM, Branimir Maksimovic wrote:
> Well, playing with Haskell I have literally trasnlated my c++ program
>
> http://shootout.alioth.debian.org/u64q/program.php?test=fannkuchredux&lang=gpp&id=3
> and got decent performance but not that good in comparison
> with c++
> On my
Hi,
currently the default to test Haskell projects on Travis CI [1] is:
install:
- cabal install --enable-tests
script:
- cabal test
The issue with this is that it runs the test-suite twice, which is a
waste of resources and delays build reports. This was an oversight on
my p
>
> Basically, quantified types can't be given as arguments to type
>> constructors (other than ->, which is its own thing). I'm not entirely
>> sure
>> why, but it apparently makes the type system very complicated from a
>> theoretical standpoint. By wrapping the quantified type in a newtype, the
(Sorry, forgot to reply to the list initially; see conversation below.)
On Mon, Dec 03, 2012 at 03:49:00PM +0100, Joerg Fritsch wrote:
> Brent,
>
> I believe that inside the do-block (that basically calls my
> interpreter) I cannot call any other Haskell function that are not
> recognized by my pa
I would like to announce MskHUG December meeting and invite everyone interested.
The meeting will take place December 13th, 20:00 to 23:30 in the nice
conference center in centre of Moscow: http://www.nf-conference.ru/
The meeting's agenda is to start more intense discussions. Most
probably, ther
Thanks Brent,
my question is basically how the function embed would in practice be
implemented.
I want to be able to take everything that my own language does not have from
the host language, ideally so that I can say:
evalt <- eval ("isFib::", 1000, ?BOOL))
case evalt of
Left Str -
The below is probably not a good example since it does not require a DSL but
the principle is clear that I want to take things from teh host language that I
do not have implemented (yet) in my DSL.
--Joerg
On Dec 3, 2012, at 4:25 PM, Joerg Fritsch wrote:
> Thanks Brent,
>
> my question is bas
On Mon, Dec 3, 2012 at 1:04 AM, Simon Hengel wrote:
> I think the right thing to do is:
>
> install:
> - cabal install --only-dependencies --enable-tests
>
> script:
> - cabal configure --enable-tests && cabal build && cabal test
>
> Please let me know if you think there are be
Ah. I see now. Silly Haskell making inefficient algorithms hard to write
and efficient ones easy. It's actually kind of annoying when learning, but
probably for the best.
Is there a good write-up of the algorithm you're using somewhere? The Repa
paper was very brief in its explaination, and I'm ha
Thanks. Your version is much faster.Yes, I have compiled with ghc --make -O2
-fllvm -optlo-O3 -optlo-constprop fannkuchredux4.hs(there is bug in ghc 7.4.2
regarding llvm 3.1 > which is circumvented with constrprop)
results: yours:bmaxa@maxa:~/shootout/fannkuchredux$ time ./fannkuchredux4
123968
I'm in!
Would like to talk with people, writing some web-based production apps!
2012/12/3 Serguey Zefirov
> I would like to announce MskHUG December meeting and invite everyone
> interested.
>
> The meeting will take place December 13th, 20:00 to 23:30 in the nice
> conference center in centre o
On 12/03/2012 07:13 PM, Serguey Zefirov wrote:
I would like to announce MskHUG December meeting and invite everyone interested.
Wow, great idea :) I'd like to participate. May I ask why don't you
schedule the event on weekend or on Friday at least?
Best wishes,
Dmitry
__
Hi,
Joerg Fritsch wrote:
I am working on a DSL that eventuyally would allow me to say:
import language.cwmwl
main = runCWMWL $ do
eval ("isFib::", 1000, ?BOOL)
I have just started to work on the interpreter-function runCWMWL and I
wonder whether it is possible to escape to real Haskell
On Mon, Dec 3, 2012 at 11:18 AM, Branimir Maksimovic wrote:
> Thanks ! Should I contribute your version on shootout site?
>
Do whatever you like with it.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/hask
As far as I am aware, the only description is in the Repa paper. I you are
right, it really should be explained properly somewhere…
At a simpler example, here is the outer product of two vectors [1].
vvProd :: (IsNum e, Elt e) => Acc (Vector e) -> Acc (Vector e) -> Acc (Matrix e)
vvProd xs ys =
Hi. Great idea, I'm in.
Sergey
2012/12/3 Serguey Zefirov :
> I would like to announce MskHUG December meeting and invite everyone
> interested.
>
> The meeting will take place December 13th, 20:00 to 23:30 in the nice
> conference center in centre of Moscow: http://www.nf-conference.ru/
>
> The
16 matches
Mail list logo
