Re: [Haskell] ANNOUNCE: Debian library

2007-04-03 Thread Stefan O'Rear
On Tue, Apr 03, 2007 at 03:04:51PM -0700, Jeremy Shaw wrote: > At Tue, 3 Apr 2007 13:04:36 -0700, > > > Sounds like your duplicating a lot of the functionality of jgoerzen's > > MissingH library. http://software.complete.org/missingh > > yes. but better ;) Ok then. > > Not all of your functiona

Re: [Haskell] ANNOUNCE: Debian library

2007-04-03 Thread Jeremy Shaw
At Tue, 3 Apr 2007 13:04:36 -0700, > Sounds like your duplicating a lot of the functionality of jgoerzen's > MissingH library. http://software.complete.org/missingh yes. but better ;) > Not all of your functionality is subsumed, but he has a control-file > parser and a version type too. Yes an

Re: [Haskell] Software Engineering and Functional Programming (with Haskell)

2007-04-03 Thread Paul Johnson
Sukit Tretriluxana wrote: Unfortunately my instructor disagrees that the topic is relevant. In his response, he mentioned that he will accept the topic only if I can prove the following. Haskell has been around for quite a while. To convince me, you'll have to give me references that I can re

Re: [Haskell] ANNOUNCE: Debian library

2007-04-03 Thread Stefan O'Rear
On Tue, Apr 03, 2007 at 01:00:07PM -0700, Jeremy Shaw wrote: > Hello, > > I would like to announce the availability of the a library for > interacting with the Debian system. This library does not (currently) > depend on dpkg or apt for any functionality. Contributions are > welcome. You should pr

[Haskell] Software Engineering and Functional Programming (with Haskell)

2007-04-03 Thread Sukit Tretriluxana
Hi all, I'm a Software Engineering (SE) Master's degree student at CMU. As part of the program, each of us needs to present a topic that's related to SE. I am picking Functional Programming with Haskell as the topic as I believe it has a lot of direct impact on SE due to its nature that requires

[Haskell] ANNOUNCE: Debian library

2007-04-03 Thread Jeremy Shaw
Hello, I would like to announce the availability of the a library for interacting with the Debian system. This library does not (currently) depend on dpkg or apt for any functionality. Contributions are welcome. You should probably send an email first to make sure you are not duplicating any of ou

Re: [Haskell] Articles on the value of strong typing

2007-04-03 Thread Martin Erwig
On Apr 3, 2007, at 12:06 AM, Jacob Atzen wrote: On Mon, Mar 26, 2007 at 03:41:10PM +0200, Jacob Atzen wrote: This lead me to the question: Are there any scientific empirical studies of the values of static / stronger type systems as found in Haskell, C# or Java in real world settings? Or a

[Haskell] Saksell

2007-04-03 Thread Henning Thielemann
On Tue, 3 Apr 2007, Henning Thielemann wrote: > It was argued that people avoid Haskell because of terms from Category > theory like 'Monad'. This problem can now be solved by a wrapper which > presents all the WWW without monads! Start e.g. at > > http://saxophone.jpberlin.de/MonadTransformer?

Re: [Haskell] The real Monad Transformer

2007-04-03 Thread minh thu
2007/4/3, Andrew Wagner <[EMAIL PROTECTED]>: Henning, This link is broken for me... On 4/3/07, Henning Thielemann <[EMAIL PROTECTED]> wrote: > > It was argued that people avoid Haskell because of terms from Category > theory like 'Monad'. This problem can now be solved by a wrapper which > prese

Re: [Haskell] The real Monad Transformer

2007-04-03 Thread Andrew Wagner
Henning, This link is broken for me... On 4/3/07, Henning Thielemann <[EMAIL PROTECTED]> wrote: It was argued that people avoid Haskell because of terms from Category theory like 'Monad'. This problem can now be solved by a wrapper which presents all the WWW without monads! Start e.g. at http

[Haskell] The real Monad Transformer

2007-04-03 Thread Henning Thielemann
It was argued that people avoid Haskell because of terms from Category theory like 'Monad'. This problem can now be solved by a wrapper which presents all the WWW without monads! Start e.g. at http://saxophone.jpberlin.de/MonadTransformer?source=http%3A%2F%2Fwww%2Ehaskell%2Eorg%2Fhaskellwiki%2FC

[Haskell] 2nd IEEE International Workshop on Software Stability at Work (SSW 2007)

2007-04-03 Thread E.Segura
The 2nd IEEE International Workshop on Software Stability at Work SSW 2007 Invitation Las Vegas, USA, August 13-15, 2007 (in conjunction with IEEE IRI 2007) http://www.sis.pitt.edu/~iri07/ (IEEE IRI 2007 Link) http://www.sis.pitt.edu/~iri07/wkshpCFP3.html (Main Link) http://www.engr.sj

[Haskell] CFP - 2nd IEEE International Workshop Towards Stable and Adaptable Software Architectures (SASA 2007)

2007-04-03 Thread E. Segura
The 2nd IEEE International Workshop Towards Stable and Adaptable Software Architectures SASA 2007 Invitation Las Vegas, USA, August 13-15, 2007 (in conjunction with IEEE IRI 2007) http://www.sis.pitt.edu/~iri07/ (IEEE IRI 2007 Link) http://www.sis.pitt.edu/~iri07/wkshpCFP2.html (Worksho

Re: [Haskell] Articles on the value of strong typing

2007-04-03 Thread Jacob Atzen
On Mon, Mar 26, 2007 at 03:41:10PM +0200, Jacob Atzen wrote: > This lead me to the question: Are there any scientific empirical studies > of the values of static / stronger type systems as found in Haskell, C# > or Java in real world settings? Or any studies comparing weaker type > systems in terms