Re: [Haskell-cafe] Erlang's module discussion

On Fri, May 27, 2011 at 23:10, Tom Murphy 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 real world run

[Haskell-cafe] Erlang's module discussion

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 t

Re: [Haskell-cafe] State Machine and the Abstractions

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,

Re: [Haskell-cafe] representing spreadsheets

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 wrote: > On Fri, May 27, 2011 at 3:11 PM, Eric Rasmussen > wrote: > >> Stephen, thanks for the link! The paper was an interesting read and >> definitely

Re: [Haskell-cafe] representing spreadsheets

On Fri, May 27, 2011 at 3:11 PM, Eric Rasmussen 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 a flat file (various fo

Re: [Haskell-cafe] representing spreadsheets

On Fri, May 27, 2011 at 3:11 PM, Eric Rasmussen 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 a flat fil

Re: [Haskell-cafe] representing spreadsheets

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 and

Re: [Haskell-cafe] Enterprise Haskell -- help

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 wrote: > On 11-05-26 12:45 PM, Srinivasan Balram wrote: > >> (ii) Haskell Enterprise Development i.e. how to connect commercial >> RDBMS and use

Re: [Haskell-cafe] Enterprise Haskell -- help

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 MongoDB

Re: [Haskell-cafe] State Machine and the Abstractions

On 27 May 2011 20:06, Yves Parès 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 the way > they've

Re: [Haskell-cafe] representing spreadsheets

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, but

Re: [Haskell-cafe] State Machine and the Abstractions

On Fri, May 27, 2011 at 2:06 PM, Yves Parès 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 > (EnemiesAround, Lo

Re: [Haskell-cafe] representing spreadsheets

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 b

[Haskell-cafe] State Machine and the Abstractions

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 strategic

[Haskell-cafe] representing spreadsheets

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"

[Haskell-cafe] Template Haskell sometimes sees hidden constructors

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

Re: [Haskell-cafe] How unique is Unique

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 make

Re: [Haskell-cafe] Policy for taking over a package on Hackage

On 11-05-25 08:52 AM, Johan Tibell wrote: > On Wed, May 25, 2011 at 2:01 PM, Ivan Lazar Miljenovic > 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 could be used for

Re: [Haskell-cafe] How unique is Unique

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 o

Re: [Haskell-cafe] How unique is Unique

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 http://www.haskell.org/mailman/listi

Re: [Haskell-cafe] Parallel compilation and execution?

Oops! Guess I'm going to have to refine my searching techniques. Thanks, Simon. Michael --- On Fri, 5/27/11, Simon Marlow wrote: From: Simon Marlow Subject: Re: Parallel compilation and execution? To: "michael rice" Cc: "David Virebayre" , "Daniel Fischer" , haskell-cafe@haskell.org Date: Fri

Re: [Haskell-cafe] How unique is Unique

2011-05-27 10:44, David Virebayre skrev: 2011/5/27 Emil Axelsson: 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! However, it should

Re: [Haskell-cafe] Parallel compilation and execution?

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 orig

Re: [Haskell-cafe] How unique is Unique

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 p

Re: [Haskell-cafe] Parallel compilation and execution?

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 That is the User Guide for GHC 6.6, incidentally. If yo

Re: [Haskell-cafe] Parallel compilation and execution?

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

Re: [Haskell-cafe] Strange Type Error

OK thanks everybody ! On Thu, May 26, 2011 at 12:14 PM, Brandon Allbery wrote: > On Thu, May 26, 2011 at 06:10, Christopher Done > 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 complains about no instance. > > Mayb

Re: [Haskell-cafe] How unique is Unique

2011/5/27 Emil Axelsson : > 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. ___ Haskell-Caf

Re: [Haskell-cafe] How unique is Unique

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 sharin

[Haskell-cafe] How unique is Unique

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 stamp