Functional - Haskell & Erlang

Author

Haskell & Erlang

Joachim Durchholz

2007-04-17, 4:03 am

Ulf Wiger schrieb:
> (To be clear, I have no commercial stake in the product, but
> can happily say that we've started using it in our development
> projects, and have already started seeing some results that
> would hardly have been possible without QuickCheck.)

Oh, Haskell is being used at Ericsson - now *that* is a surprise! :-)

Care to report on how it compares with Erlang?
Both languages have a rather pronounced "personality", Erlang being
rather down-to-earth and get-the-job-done "for telco stuff", while
Haskell is far more rigorous and lazily evaluating; it would be
interesting to hear how these differences bear out for somebody who
knows both languages from serious usage.

Regards,
Jo

Phil Armstrong

2007-04-17, 8:04 am

Joachim Durchholz <jo@durchholz.org> wrote:
> Ulf Wiger schrieb:
>
> Oh, Haskell is being used at Ericsson - now *that* is a surprise! :-)

I *think* he's saying that the commercial product is written in Erlang
to check Erlang programs in a similar fashion to QuickCheck in
Haskell.

That's certainly the implication of the code in the linked powerpoint
presentation.

Phil

--
http://www.kantaka.co.uk/ .oOo. public key: http://www.kantaka.co.uk/gpg.txt

Ulf Wiger

2007-04-18, 8:03 am

>>>>> "JD" == Joachim Durchholz <jo@durchholz.org> writes:

JD> Ulf Wiger schrieb:[color=darkred]

JD> Oh, Haskell is being used at Ericsson - now *that* is a
JD> surprise! :-)
....
JD> Care to report on how it compares with Erlang? Both languages

If it is used within Ericsson, it's on a very small scale.
As was pointed out already, Quviq QuickCheck is written in
Erlang, and the paper presented at the SIGPLAN Erlang Workshop
actually contains a comparison between using QuickCheck in
Erlang and in Haskell.

http://www.ituniv.se/~arts/papers/ews2006.pdf (page 8)

JD> have a rather pronounced "personality", Erlang being rather
JD> down-to-earth and get-the-job-done "for telco stuff", while
JD> Haskell is far more rigorous and lazily evaluating; it would be
JD> interesting to hear how these differences bear out for somebody
JD> who knows both languages from serious usage.

You might also want to ask people at the Uni of Glasgow or
Heriot Watt. They have done lots of prototyping in both
Erlang and GDH, as part of a larger research project.

http://www.macs.hw.ac.uk/~dsg/telecoms/

I'm not sure whether they have actually published comparisons.
They do have some presentations describing the work of
rewriting some C++-based motorola products in Erlang.

BR,
Ulf W
--
Ulf Wiger, Senior Specialist,
/ / / Architecture & Design of Carrier-Class Software
/ / / Team Leader, Software Characteristics
/ / / Ericsson AB, IMS Gateways

Sponsored Links