Dear list,
with rewrite rules I can tell the compiler to replace map id by id,
but I still have to write that rule by hand.
Does anyone of you know about research into inferring such a rewrite
rule automatically? I could imagine that for a function of type f ::
some - args - T a - T b and
Hi,
Am Sonntag, den 20.01.2013, 06:50 +0100 schrieb Vincent Hanquez:
this is a security advisory for tls-extra 0.6.1 which are all vulnerable to
bad
certificate validation.
Some part of the certificate validation procedure were missing (relying on the
work-in-progress x509 v3
The only paper that comes to my mind is Wadler's Theorems for free. It's an
old one and not
exactly about rewrite rules, but it may be a good starting point.
Janek
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Again we will teach an Applied Functional Programming Summer in Haskell
school this year at Utrecht University. In the previous four occasions students
were all very happy with the school and we plan to repeat this success this
year.
Among the intended audience are prospective master students
Petr P petr.mvd at gmail.com writes:
Is there any reason to use
a `par` b `pseq` (a + b)
instead of
a `par` b `par` (a + b)
(better ask this on parallel-haskell?)
It seems to me that the second variant would work as well:
The main thread would block on one of the sparked
Work on deforestation might also be relevant.
On Sun, Jan 20, 2013 at 9:57 AM, Joachim Breitner
m...@joachim-breitner.dewrote:
Dear list,
with rewrite rules I can tell the compiler to replace map id by id,
but I still have to write that rule by hand.
Does anyone of you know about research
On Sun, Jan 20, 2013 at 11:01:22AM +0100, Joachim Breitner wrote:
Debian ships tls-extras 0.4.6 in what will become wheezy, and due to the
freeze upgrading to a new major upstream release is not acceptable.
Would it be possible for you to create a 0.4.6.1 with this bugfix
included?
(wow,
Hello haskellers,
I'm presenting the third version of JuicyPixels. As the version number
indicate, this is a major version with backward compatibility break. The
major reason behind this breakage is the introduction of High Dynamic Range
images. High Dynamic Range images are used in photography,
Hi everybody,
What is the state of container libraries? I am looking for a library which
provides:
* unordered containers (for operational type safety, I don't want to
impose orders on things that don't have them -- unordered containers does
this)
* can handled nested containers (containers
On Sun, Jan 20, 2013 at 6:50 AM, Vincent Hanquez t...@snarc.org wrote:
Hi cafe,
this is a security advisory for tls-extra 0.6.1 which are all vulnerable
to bad
certificate validation.
Some part of the certificate validation procedure were missing (relying on
the
work-in-progress x509 v3
Alexander Solla alex.so...@gmail.com wrote:
What is the state of container libraries? I am looking for a library
which provides:
* unordered containers (for operational type safety, I don't want to
impose orders on things that don't have them -- unordered containers
does this)
You are
On Sun, Jan 20, 2013 at 11:39 AM, Ertugrul Söylemez e...@ertes.de wrote:
What is the state of container libraries? I am looking for a library
which provides:
* unordered containers (for operational type safety, I don't want to
impose orders on things that don't have them -- unordered
I created the following page on the wiki to capture one pattern that
occurs often in Edward Kmett's lens library.
http://www.haskell.org/haskellwiki/Function_decoration_pattern
Feel free to rename it or add comments, examples, clarifications,
additional notes or extensions to the technique.
Sorry to be reviving this thread so long after but I seem to be running
into similar issues as Michael S. did at the start.
In short, I'm using forkProcess with the threaded RTS, and see occasional
hangs:
- I see these only on Linux. On Mac OS X, I never do.
- I'm using GHC 7.4.2
-
On Mon, 21 Jan 2013, mip...@meta.ua wrote:
The program looks like this:
--***
factorial :: Int-Int
factorial n = product [1..n]
main = do
print $ factorial 50
--***
And that yields 0 (no errors). Is it a bug or feature? :)
This question is
Hello cafe,
Just FYI:
I wrote an tutorial, Up-front Unit Testing in Haskell. It is about
how to use doctest, hspec and Cabal.
Enjoy!
--Kazu
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Where can we find it, Kazu? =)
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
#Resending due to the lack of URL.
Hello cafe,
Just FYI:
I wrote an tutorial, Up-front Unit Testing in Haskell. It is about
how to use doctest, hspec and Cabal.
https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md
Enjoy!
--Kazu
Where can we find it, Kazu? =)
Oops. Thank you for pointing out.
Here it is:
https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md
--Kazu
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Quite informative, thank you. It was nice to see how to combine the
suites together as most places only show how to use one.
The mention about Travis CI is also much appreciated; it seems like a
really good project and I will definitely be using it in the future.
Mateusz Kowalczyk
On
I just looked at this code and since I don't know the code I can't give you
good solutions, but for others watching this thread the links might prove
interesting.
My main theory is that you do have some other thread in FFI-land while you
are fork()ing. The task-cond, task-lock seems to be
On Mon, Jan 21, 2013 at 12:15 AM, Mark Lentczner
mark.lentcz...@gmail.comwrote:
Sorry to be reviving this thread so long after but I seem to be
running into similar issues as Michael S. did at the start.
In short, I'm using forkProcess with the threaded RTS, and see occasional
hangs:
22 matches
Mail list logo