Hi,
I am currently reading documentation on Generalized Algebraic Data Types:
http://en.wikibooks.org/wiki/Haskell/GADT
I have a question concerning this page. Let us consider the following code
proposed in the page:
--
-- Phantom type variable a (does
On 29 March 2012 05:57, Ryan Newton rrnew...@gmail.com wrote:
I just read in your proposal that you started looking into the casMutArray#
issue as well. How far have you gotten with that? Do you want to work on
this together a bit?
I've got an implementation of a casArray# primop that
On 29 March 2012 at 12:01 PM, Heinrich Apfelmus
apfelmus at quantentunnel.de wrote:
Since I don't know much about concurrency, I have a simple question: what is
the difference between atomic compare-and-swap and software transactional
memory? Both are lock-free?
Well, terminology-wise it would
Hi again,
I just submitted my proposal on the GSoC website. You can find it here:
http://www.google-melange.com/gsoc/proposal/review/google/gsoc2012/florianhartwig/1
I would be very grateful if someone could read over it and tell me if
it makes sense and if/how it could be improved.
Cheers,
On 19 March 2012 09:56, Gregory Collins g...@gregorycollins.net wrote:
A lock-free concurrent queue alone would be worth a summer project IMO.
G
Ryan Newton is already doing that
(https://github.com/rrnewton/haskell-lockfree-queue).
___
Haskell-Cafe
On 19 March 2012 11:46, Ryan Newton rrnew...@gmail.com wrote:
As Adam Foltzer mentioned in the trac ticket a really good structure would
be the concurrent bags from this paper:
http://www.cse.chalmers.se/~tsigas/papers/Lock%20Free%20Bag%20SPAA11.pdf
We separately did a C implementation of
name is Florian Hartwig, I'm a fifth year (Master's) student in
Computing Science at the University of Glasgow. I've been using Haskell for a
bit more than two years now (both for university courses and my recreational
programming) and I'm currently using it for my Master's project, so I won't
have
On 19 March 2012 00:59, Chris Smith cdsm...@gmail.com wrote:
On Mar 18, 2012 6:39 PM, Florian Hartwig florian.j.hart...@gmail.com
wrote:
GSoC stretches over 13 weeks. I would estimate that implementing a data
structure, writing tests, benchmarks, documentation etc. should not take
more
than