headers
Jon Fairbairn | 1 Apr 2005 12:28
X-Face
Picon
Picon
Favicon

How to make Haskell more popular


1) If another language has a feature, add it to Haskell, so
   that absolutely everything can be done in more than one
   way.  This allows people to write Haskell programmes
   without going through the tiresome process of learning
   Haskell.`

2) Overload the syntax so that the Hamming distance between
   syntactically valid programmes is very small

3) Allow casting of any type to any other.

   2 and 3 together mean that the programmer wins the
   "fight" with the compiler more often, and can get on with
   the exciting business of debugging.

4) Add lots of libraries with widely different styles of
   interface lacking any recognisable algebraic
   properties. This makes it hard to learn the libraries, so
   the programmer gets increased satisfaction when the task
   is finally completed, and a programmer who understands a
   given library becomes more valuable in the market.

4a) write the libraries at a low level of abstraction, using
    as few sophisticated features as possible. This makes it
    easier for novice programmers to modify libraries and
    add *features*
   
5) Static type checking is for wimps. Move it all to
   runtime, so debugging is even more exciting. With 3, this
(Continue reading)

Permalink | Reply | 4 comments |
headers
Colin Paul Adams | 1 Apr 2005 12:41
Picon
Picon
Favicon

Re: How to make Haskell more popular

You omitted:

8) Rename Haskell to VB (or Java or C++ or C#, whichever polls prove
   to be most popular).
--

-- 
Colin Paul Adams
Preston Lancashire
Permalink | Reply | 0 comments |
headers
geoff | 1 Apr 2005 14:30
Picon

ESCAR in Tallinn, 2nd CFP

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

-------------------------------------------------------------------------------
ESCAR, a CADE-20 Workshop                                   22nd-23rd July 2005
http://www.cs.miami.edu/~geoff/Conferences/ESCAR/              Tallinn, Estonia

The CADE-20 Workshop on  Empirically Successful Classical  Automated  Reasoning
(ESCAR) will  bring together practioners and researchers who are concerned with
the  implementation and deployment  of working  automated reasoning systems for
classical logic  (propositional, first order,  and higher order).  The workshop
will discuss  "really running" systems, and not theoretical ideas that have not
yet  been translated  into working  software.  ESCAR is  the successor  to  the
successful ESFOR workshop held at IJCAR 2004. CADE-20 will be 22nd to 27th July
2005, with ESCAR on the 22nd and 23rd. Full details are available at:
    http://www.cs.miami.edu/~geoff/Conferences/ESCAR/

Submission of papers for presentation at the workshop, and proposals for system 
and application demonstrations  at the workshop,  are now invited.  Submissions 
will be refereed,  and a balanced program of high-quality contributions will be 
selected.  The submission deadline  is 1st May,  notification of acceptance  on 
30th May,  and camera ready versions  due 12th June.  Submission information is 
online at:
    http://www.cs.miami.edu/~geoff/Conferences/ESCAR/

Additionally,  the Journal of Automated Reasoning has agreed to a special issue
on emperically successful automated reasoning.  Authors of ESCAR papers will be
able to  submit extended  versions of  their workshop  papers for  this special
issue. All papers submitted for the special issue will be reviewed according to
the journal's standards.
-------------------------------------------------------------------------------
(Continue reading)

Permalink | Reply | 0 comments |
headers
Sebastian Sylvan | 1 Apr 2005 21:05
Picon

Re: How to make Haskell more popular

On Apr 1, 2005 12:28 PM, Jon Fairbairn <Jon.Fairbairn <at> cl.cam.ac.uk> wrote:
> 
> 1) If another language has a feature, add it to Haskell, so
...

Bah! Why don't you just use Perl! :-)

/S

--

-- 
Sebastian Sylvan
+46(0)736-818655
UIN: 44640862
Permalink | Reply | 2 comments |
headers
S. Alexander Jacobson | 1 Apr 2005 21:33

Re: How to make Haskell more popular

FYI Perl 6 is being implemented in Haskell (in <4k of code!), so you 
can do both!

Project: http://pugscode.org/
Interview: http://www.perl.com/pub/a/2005/03/03/pugs_interview.html

-Alex-

On Fri, 1 Apr 2005, Sebastian Sylvan wrote:

> On Apr 1, 2005 12:28 PM, Jon Fairbairn <Jon.Fairbairn <at> cl.cam.ac.uk> wrote:
>>
>> 1) If another language has a feature, add it to Haskell, so
> ...
>
> Bah! Why don't you just use Perl! :-)
>
>
> /S
>
> -- 
> Sebastian Sylvan
> +46(0)736-818655
> UIN: 44640862
> _______________________________________________
> Haskell mailing list
> Haskell <at> haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
(Continue reading)

Permalink | Reply | 1 comment |
headers
Martin Leucker | 1 Apr 2005 11:36
Picon
Favicon

CfP: PDMC'05 at ICALP'05


        [[ -- Apologies for multiple copies of this message -- ]]

=============================================================================

                              Call for Papers

                      4th International Workshop on 
              PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
                              (PDMC 2005)

		   July 10, 2005 - Lisboa, Portugal
		   Workshop affiliated to ICALP'05

                  http://pdmc.informatik.tu-muenchen.de

=============================================================================

OBJECTIVES: The growing importance of automated formal verification in
industry is driving a growing interest in those aspects which have a
direct impact on its applicability to real world problems. One of the
main technical challenges is in devising tools that allow to handle
large state spaces. Over the last years numerous approaches have been
developed. Recently, an increasing interest is in parallelizing and
distributing of verification techniques.

The aim of the PDMC workshop series is to cover all aspects of
parallel and distributed methods and techniques for formal
verification. Theoretical results, algorithms and case studies are
equally welcome. Contributions from the domains of model checking,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Matthias Klusch | 1 Apr 2005 16:06
Picon
Favicon

MATES/CIA 2005: Submission Deadline Extended Until April 18, 2005

+++ Apologies for multiple copies due to cross postings +++

CALL FOR  PAPERS - EXTENDED SUBMISSION DEADLINE

*********************************************
Third German Conference on Multi-Agent System Technologies (MATES 05),
September 11 - 13, 2005, Koblenz, Germany
http://www.mates2005.de/

* Incorporating the 9th International Workshop on Cooperative
   Information Agents (CIA 2005)
* Co-located with the 28th German Conference on Artificial Intelligence
   (KI 2005)
* Co-sponsored by Siemens, Germany; Whitestein Technologies,
   Switzerland; German Computer Society (GI); European Coordination
   Action for Agent-Based Computing (AgentLink III)

*********************************************
IMPORTANT DATES

Submission of papers *** EXTENDED: APRIL 18, 2005 ***

Notification of authors: June  3, 2005
Camera-ready papers:     June 20, 2005
Conference:	   September 11-13, 2005

*********************************************

Please find more information about Aims & Scope, Topics,
and Submission Details on the conference website at
(Continue reading)

Permalink | Reply | 0 comments |
headers
Foclasa 2005 | 1 Apr 2005 17:02
Picon

CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures


                          FOCLASA 2005

               4th International Workshop on the
Foundations of Coordination Languages and Software Architectures 

              A Satellite Workshop of CONCUR 2005

                         August 27, 2005
                  San Francisco, Californa (USA)

                    http://foclasa05.lcc.uma.es

Abstract
========

    A number of hot research topics are currently sharing the 
common problem of combining concurrent, distributed, mobile and 
heterogenous components, trying to harness the intrinsic 
complexity of the resulting systems. These include coordination, 
peer-to-peer systems, grid computing, web-services, multi-agent 
systems, and component-based systems. Coordination languages and 
software architectures are recognised as fundamental approaches 
to tackle these issues, improving software productivity, 
enhancing maintainability, advocating modularity, promoting 
reusability, and leading to systems more tractable and more 
amenable to verification and global analysis. The goal of this 
workshop is to put together researchers and practitioners of the 
aforementioned fields, to share and identify common problems, and 
to devise general solutions in the contexts of coordination
(Continue reading)

Permalink | Reply | 0 comments |
headers
Unknown | 2 Apr 2005 01:01

CLIMA VI :: new deadline April 15

[Apologies for cross-postings. Please send to interested colleagues and students]

==========================================================================

                         * DEADLINE EXTENSION *

                                 CLIMA VI

Sixth International Workshop on Computational Logic in Multi-Agent Systems

                                featuring:

                  the First CLIMA Tutorial Programme and
                       the First CLIMA Competition

              City University, London, UK, June 27-29, 2005
                       http://clima.deis.unibo.it/

                * SUBMISSIONS OPEN UNTIL APRIL 15, 2005 *

==========================================================================
Permalink | Reply | 0 comments |
headers
Andre Pang | 2 Apr 2005 07:55
Picon

Re: How to make Haskell more popular

On 02/04/2005, at 5:33 AM, S. Alexander Jacobson wrote:

> FYI Perl 6 is being implemented in Haskell (in <4k of code!), so you 
> can do both!

That statement is probably even closer to the truth than you think :).  
See

     http://svn.openfoundry.org/pugs/modules/SHA1/lib/SHA1.pm

(note the use of 'inline Haskell' there ...), which wraps the SHA1 
Haskell module:

     http://svn.openfoundry.org/pugs/modules/SHA1/src/SHA1.hs

Perl 6 is indeed looking like something to phear, with a ph.  It may be 
some of the best publicity that Haskell's ever got.

--

-- 
% Andre Pang : trust.in.love.to.save  <http://www.algorithm.com.au/>
Permalink | Reply | 0 comments |

Gmane