[Haskell-cafe] {-# LANGUAGE DeriveApplicative #-} ?

2010-05-06 Thread Pavel Perikov
Hi, list!. Now in 6.12.1 we have DeriveFunctor, DeriveFoldable and DeriveTraversable. This greatly simplifies the reuse structure style of programming. Some structure (not just _data_ structure) got captured in ADT and can be reused for various purposes. Wouldn't it be nice to have the

[Haskell-cafe] Please ignore :) {-# LANGUAGE DeriveApplicative #-}

2010-05-06 Thread Pavel Perikov
Please ignore the previous message :) Screwed :) P. Begin forwarded message: From: Pavel Perikov peri...@gmail.com Date: 6 мая 2010 г. 11:55:36 Московское летнее время To: haskell-cafe list Cafe mailing haskell-cafe@haskell.org Cc: Беркгаут Борис boris.berkg...@transas.com Subject

Re: [Haskell-cafe] How many Haskell Engineer I/II/IIIs are there?

2010-02-10 Thread Pavel Perikov
I do. On Feb 10, 2010, at 6:59 PM, Jason Dusek wrote: Although I'm fond of Haskell, in practice I am not a Haskell programmer -- I'm paid for Ruby and Bourne shell programming. Many of the jobs posted on this list end up being jobs for people who appreciate Haskell but will work in

[Haskell-cafe] Scarry parallel garbage collection behavior (6.12.1, Mac OSX)

2010-02-19 Thread Pavel Perikov
Hi, list. This is a long post, sorry. The bottom line: specifying +RTS -Nn where n number of cores slows the program compiled with 6.12.1 by orders of magnitude under Mac OSX. Turning off parallel garbage collections with -qg resolves the problem. Independent verification is appreciated.

[Haskell-cafe] Re: Scarry parallel garbage collection behavior (6.12.1, Mac OSX)

2010-02-22 Thread Pavel Perikov
Thanks, Simon. I know I should try to find the existing ticket before posting :) P. On 22.02.2010, at 17:10, Simon Marlow wrote: On 19/02/2010 21:26, Pavel Perikov wrote: This is a long post, sorry. The bottom line: specifying +RTS -Nn where n number of cores slows the program compiled

Re: [Haskell-cafe] Real-time garbage collection for Haskell

2010-02-28 Thread Pavel Perikov
Did you really seen 100ms pauses?! I never did extensive research on this but my numbers are rather in microseconds range (below 1ms). What causes such a long garbage collection? Lots of allocated and long-living objects? Pavel. On 28.02.2010, at 8:20, Luke Palmer wrote: I have seen some

[Haskell-cafe] GHC-7.01 and intrinsic operations

2010-12-13 Thread Pavel Perikov
Is it possible to make GHC-7.0.1 to generate intrinsic instructions instead of calls to C library to compute trigonometric functions? main = do a - readLn print $ sin a I tried -O -msse2 -fllvm and their combinations. Generating assembly always contains calls for computation

Re: [Haskell-cafe] DNS problems at haskell.org?

2010-12-18 Thread Pavel Perikov
For me only hackage.haskell.org works (resolves to 69.30.63.204), www.haskell.org shows parked domain (209.62.105.19) Pavel On 17.12.2010, at 17:01, Eugene Kirpichov wrote: Hello. For a couple of friends of mine, hackage.haskell.org happens to resolve to something strange (parked domain),

Re: [Haskell-cafe] GHC-7.01 and intrinsic operations

2010-12-24 Thread Pavel Perikov
On 25.12.2010, at 0:20, Henning Thielemann wrote: On 13.12.2010 16:38, Pavel Perikov wrote: Is it possible to make GHC-7.0.1 to generate intrinsic instructions instead of calls to C library to compute trigonometric functions? As far as I remember GHC generates FPU instructions for sinus

[Haskell-cafe] OpenCL Raw package

2011-01-02 Thread Pavel Perikov
Hi list (and hopefully Jefferson Heard!) I'm trying to play with OpenCL Raw package. While it has a great amount of work put into it it's not currently usable. Frankly, it does not even link (due to foreign import typo). It does not compile with GHC 7.0.1, has badly specified dependencies on

Re: DDC compiler and effects; better than Haskell? (was Re: [Haskell-cafe] unsafeDestructiveAssign?)

2009-08-12 Thread Pavel Perikov
unless you have some insanely clever refactoring tool ready that can convert pure into monadic functions and vice versa. Not trying to attack the idea, just some thoughts: I don't see much problem converting pure function into an effectfull form :) Having pure function

Re: DDC compiler and effects; better than Haskell? (was Re: [Haskell-cafe] unsafeDestructiveAssign?)

2009-08-12 Thread Pavel Perikov
On 12.08.2009, at 13:27, Peter Verswyvelen wrote: Well, the point is that you still have monadic and pure programming styles. It's true that applicative style programming can help here, but then you have these $ and * operators everywhere, which also feels like boilerplate code (as you

[Haskell-cafe] Can GHC produce dylib on MacOSX/Intel?

2009-09-02 Thread Pavel Perikov
Is it possible? Is it possible with binary distribution? Regards, Pavel ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] HPC and literate haskell

2009-01-30 Thread Pavel Perikov
Hi, list! I have a file: \begin{code} module Main where import MyModule main=do print hello \end{code} MyModule is in MyModule.lhs when building with ghc -o main -fhpc --make Main.lhs I get perfectly working code, but MyModule.mix lacks any usable coverage information: Mix

Fwd: [Haskell-cafe] HPC and literate haskell

2009-01-30 Thread Pavel Perikov
No I do not process it using lhs2tex. I just compile literate haskell code. The necessity of preprocessing kills the entire idea of having literate source. I just feed lhs files to ghc and everything works fine except code coverage. On 30.01.2009, at 5:35, Robin Green wrote: Have you

[Haskell-cafe] Vim support for cabal

2009-03-13 Thread Pavel Perikov
Hi café ! I googled for some kind of vim support for cabal but found nothing. I mean syntax highlighting of .cabal and probably integration with haskellmode. Did anyone hear about such thing? Pavel ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Vim support for cabal

2009-03-14 Thread Pavel Perikov
Great ! I'm just starting with Vim so I'm not sure if I could contribute. But I definitely will look into the sources. Thanks! Pavel On 13.03.2009, at 21:44, andy morris wrote: 2009/3/13 Pavel Perikov peri...@gmail.com: Hi café ! I googled for some kind of vim support for cabal but found

Re: [Haskell-cafe] Proving correctness

2011-02-14 Thread Pavel Perikov
Sorely, Haskell can't prove logic with it. No predicates on values, guarantee that proof is not _|_. Haskell makes bug free software affordable, that's true. But it's not a proof assistant. pavel On 14.02.2011, at 22:57, Albert Y. C. Lai wrote: On 11-02-12 09:40 PM, Brandon S Allbery KF8NH

Re: [Haskell-cafe] Proving correctness

2011-02-14 Thread Pavel Perikov
. On 14.02.2011, at 23:08, Albert Y. C. Lai wrote: On 11-02-14 03:03 PM, Pavel Perikov wrote: Sorely, Haskell can't prove logic with it. No predicates on values, guarantee that proof is not _|_. Haskell makes bug free software affordable, that's true. But it's not a proof assistant