Hello!
Lacking a proper blog, I've written some notes about Data.Unique here:
http://community.haskell.org/~emax/darcs/MoreUnique/
This describes a real problem that makes Data.Unique unsuitable for
implementing observable sharing.
The document also proposes a solution that uses time
On 27 May 2011, at 08:35, Emil Axelsson wrote:
Hello!
Lacking a proper blog, I've written some notes about Data.Unique here:
http://community.haskell.org/~emax/darcs/MoreUnique/
This describes a real problem that makes Data.Unique unsuitable for
implementing observable sharing.
2011/5/27 Emil Axelsson e...@chalmers.se:
Does anyone have any comments on the proposed solution? Are there any
alternatives available?
It might be unsuitable where an administrator can change the system's
time while the program is running.
David.
OK thanks everybody !
On Thu, May 26, 2011 at 12:14 PM, Brandon Allbery allber...@gmail.comwrote:
On Thu, May 26, 2011 at 06:10, Christopher Done
chrisd...@googlemail.com wrote:
This kicks everyone in the butt at least once. It would be good if GHC
could point it out, as mine (6.12.3) just
Hi Michael,
OpenMP is a very different beast, and was developed to help get over the
shortcomings that languages like C and FORTRAN have with respect to parallel
and concurrent programming (pthreads were about all there was before OpenMP).
OpenMP lets you specify regions of code that should be
On 26/05/2011 14:32, michael rice wrote:
Fair question. I copied the parallel version from:
http://www.haskell.org/ghc/docs/6.6/html/users_guide/lang-parallel.html
http://www.haskell.org/ghc/docs/6.6/html/users_guide/lang-parallel.html
That is the User Guide for GHC 6.6, incidentally. If
On 27/05/2011 08:35, Emil Axelsson wrote:
Hello!
Lacking a proper blog, I've written some notes about Data.Unique here:
http://community.haskell.org/~emax/darcs/MoreUnique/
This describes a real problem that makes Data.Unique unsuitable for
implementing observable sharing.
The document also
Hi Alex,
I had previously looked at OpenMP (Fortran) and when I saw par and seq in
Control.Parallel I got a sense of common terminology, sections of code that can
be executed in parallel and sections of code that must be executed
sequentially. I haven't looked at Control.Concurrent yet.
The
2011-05-27 10:44, David Virebayre skrev:
2011/5/27 Emil Axelssone...@chalmers.se:
Does anyone have any comments on the proposed solution? Are there any
alternatives available?
It might be unsuitable where an administrator can change the system's
time while the program is running.
Agreed!
Oops! Guess I'm going to have to refine my searching techniques. Thanks, Simon.
Michael
--- On Fri, 5/27/11, Simon Marlow marlo...@gmail.com wrote:
From: Simon Marlow marlo...@gmail.com
Subject: Re: Parallel compilation and execution?
To: michael rice nowg...@yahoo.com
Cc: David Virebayre
There is also the UUID that guarantees uniqueness in a environment
with more than one machine.
http://en.wikipedia.org/wiki/Universally_unique_identifier
Cheers
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
2011-05-27 13:12, Simon Marlow skrev:
On 27/05/2011 08:35, Emil Axelsson wrote:
Hello!
Lacking a proper blog, I've written some notes about Data.Unique here:
http://community.haskell.org/~emax/darcs/MoreUnique/
This describes a real problem that makes Data.Unique unsuitable for
implementing
On 11-05-25 08:52 AM, Johan Tibell wrote:
On Wed, May 25, 2011 at 2:01 PM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
With my wl-pprint-text package, Jason Dagit suggested to me on
#haskell that it would make sense to make such a pretty-printer be
class-based so that the same API
On 27/05/2011 13:40, Emil Axelsson wrote:
2011-05-27 13:12, Simon Marlow skrev:
On 27/05/2011 08:35, Emil Axelsson wrote:
Hello!
Lacking a proper blog, I've written some notes about Data.Unique here:
http://community.haskell.org/~emax/darcs/MoreUnique/
This describes a real problem that
Whith the three modules at the end of this email, I get some
interesting results. Note that none of the constructors are exported,
yet Template Haskell can see (and splice in variable occurrences of!)
T, C2, W1, and W4.
If you load Dump into GHCi, you get to see the Info that TH provides
when you
Hi everyone,
I'm hoping someone can point me in the right direction for a project I'm
working on. Essentially I would like to represent a grid of data (much like
a spreadsheet) in pure code. In this sense, one would need functions to
operate on the concepts of rows and columns. A simple cell
Hello,
For the purposes of a simple strategy game, I'd like to build an EDSL that
expresses missions. A mission could be represented as a state machine.
With basic bricks such as actions (MoveTo, ShootAt...) or tests
(EnemiesAround, LowHealth...), I could (ideally dynamically) build some
Hi Eric
A spreadsheet is an indexed / tabular structure which doesn't map well
to Haskell's built-in way of defining data - algebraic types - which
are trees via sums and products.
Wolfram Kahl has a paper on modelling tables in Haskell Compositional
Syntax and Semantics of Tables which might be
On Fri, May 27, 2011 at 2:06 PM, Yves Parès limestr...@gmail.com wrote:
Hello,
For the purposes of a simple strategy game, I'd like to build an EDSL that
expresses missions. A mission could be represented as a state machine.
With basic bricks such as actions (MoveTo, ShootAt...) or tests
Hi,
Eric Rasmussen wrote:
The spreadsheet analogy isn't too literal as I'll be using this for data
with a more regular structure. For instance, one grid might have 3 columns
where every item in column one is a CellStr, every item in column two a
CellStr, and every item in column 3 a CellDbl,
On 27 May 2011 20:06, Yves Parès limestr...@gmail.com wrote:
So I thought about Arrows, as they can express sequential and parallel
actions, but I don't know if it would be a right way to model the
interruptions/recoveries.
What do you think about it? Do you know of similar situations and of
On 11-05-26 12:45 PM, Srinivasan Balram wrote:
(ii) Haskell Enterprise Development i.e. how to connect commercial
RDBMS and use Haskell along with SQL effectively
By the time we finish adding that to a future book, enterprise
programmers will have already moved to the like of NoSQL and
We do have working and officially supported (by 10Gen) Haskell drivers for
MongoDB.
Just sayin' :)
On Fri, May 27, 2011 at 3:45 PM, Albert Y. C. Lai tre...@vex.net wrote:
On 11-05-26 12:45 PM, Srinivasan Balram wrote:
(ii) Haskell Enterprise Development i.e. how to connect commercial
Stephen, thanks for the link! The paper was an interesting read and
definitely gave me some ideas.
Tillmann -- you are correct in that it's very similar to a database.
I frequently go through this process:
1) Receive a flat file (various formats) of tabular data
2) Create a model of the data
On Fri, May 27, 2011 at 3:11 PM, Eric Rasmussen ericrasmus...@gmail.comwrote:
Stephen, thanks for the link! The paper was an interesting read and
definitely gave me some ideas.
Tillmann -- you are correct in that it's very similar to a database.
I frequently go through this process:
1)
On Fri, May 27, 2011 at 3:11 PM, Eric Rasmussen ericrasmus...@gmail.com
wrote:
Stephen, thanks for the link! The paper was an interesting read and
definitely gave me some ideas.
Tillmann -- you are correct in that it's very similar to a database.
I frequently go through this process:
1) Receive
Thanks! I think GADTs may work nicely for this project, so I'm going to
start building it out.
On Fri, May 27, 2011 at 4:16 PM, Alexander Solla alex.so...@gmail.comwrote:
On Fri, May 27, 2011 at 3:11 PM, Eric Rasmussen
ericrasmus...@gmail.comwrote:
Stephen, thanks for the link! The paper
For one, you have a kind error. You use Mission as a Monad when it only
has kind *. I don't know much of arrows, but I suggest writing the
combinators you want to have with specialized types, and see where that
takes you. If it happens to lead to an implementation of Arrow, yay. If
it doesn't,
Hi All,
I sure love Hackage, but there's a very interesting discussion
going on, on the Erlang mailing list, about completely restructuring
the module-model.
Before you dismiss it as crazy, know that the topic was brought
up by Joe Armstrong, one of the creators of the language.
Here's
On Fri, May 27, 2011 at 23:10, Tom Murphy amin...@gmail.com wrote:
I sure love Hackage, but there's a very interesting discussion
going on, on the Erlang mailing list, about completely restructuring
the module-model.
Sounds like one of those ideas that looks really neat on paper but in
the
30 matches
Mail list logo