[dmusofties] Re: Anyone remember FP and Haskell?
- From: <Nick.Adamson@xxxxxxxxxxxxxxxxxxxxxx>
- To: <dmusofties@xxxxxxxxxxxxx>
- Date: Thu, 20 Jul 2006 13:27:27 +0100
Hi Paul.
I agree that it can be proved mathematically to be correct and that some
of the concepts can be applied in more conventional languages however I
can't see it ever being used really that widely in industry. I certainly
can't see it being used in a military context. Come on, because of
security and safety we're restricted to using visual studio 6 as the
.net environment failed the MOD's safety and security validation
process.
You've just got to love that one!
Out of interest is there a decent IDE for Haskell yet, something with a
window and proper build and debugging tools.
Cheers.
Nick.
-----Original Message-----
From: dmusofties-bounce@xxxxxxxxxxxxx
[mailto:dmusofties-bounce@xxxxxxxxxxxxx] On Behalf Of Paul Kennerley
Sent: 20 July 2006 12:05
To: dmusofties@xxxxxxxxxxxxx
Subject: [dmusofties] Re: Anyone remember FP and Haskell?
Interesting comment, and its good to see a techincal
debate starting.
I have no wish to start a flame war, but I would like
to point out that one of the advantages of using a
Haskell is that programs can be proven to be
mathematically correct (something not possible with
OO, as there hasnt been a calculus developed to do
it).
However, if anyone is really hung up about lazy
evaluation and code coverage, then there are FP
langauges with eager evaluation. Eager Haskell is one
of them.
I do admit that FP is a difficult concept to get your
head around, especially if you have been used to
imperative langauges (I really didnt get it the first
time around, and I'm not sure that I understand it
100% now) and this may prevent (or slow down) the use
of FP in industry, but FP ideas are creeping into
modern languages such as Python.
Does anyone else have any views on FP?
Paul
--- Nick.Adamson@xxxxxxxxxxxxxxxxxxxxxx wrote:
> Paul! 3 words, "GET OUT MORE!"
>
> I'll never know how Jenny managed to get most of us
> to scrape through
> that exam!
>
> I can't see FP really ever being used in industry.
> There's know way it
> would get safety rated.
> All the stuff we do which goes out has a safety
> level and to get a SIL
> level you have to do code coverage analysis as part
> of the test results.
> I don't know how you could do code coverage with FP
> as the code is only
> ever run when it's needed.
>
> Cheers.
> Nick.
>
>
> -----Original Message-----
> From: dmusofties-bounce@xxxxxxxxxxxxx
> [mailto:dmusofties-bounce@xxxxxxxxxxxxx] On Behalf
> Of Paul Kennerley
> Sent: 20 July 2006 09:39
> To: dmusofties@xxxxxxxxxxxxx
> Subject: [dmusofties] Anyone remember FP and
> Haskell?
>
> Does anyone remember taking Dave Smallwoods Haskell
> module? No, I didnt think anyone would forget, Im
> sure
> that most people from se00 still have the mental
> scars
> ;-)
>
> This might come as a bit of a surprise (and no, I
> havent been taking mind altering drugs), but I
> actually started doing a bit of Haskell last night.
> I
> found an article on OSNews.com, and after reading
> though that I downloaded Hugs and started to work
> though the following tutorial:
> http://www.isi.edu/~hdaume/htut/tutorial.pdf
>
> Yes, I know that during the 2nd year I hated FP as
> much as the next person (with the odd exception) but
> after looking at it again last night I've started to
> change my mind and I reckon that FP has some very
> good
> ideas (no side effects, and once only assignment
> etc).
>
> I've also noticed that FP has been mentioned on
> quite
> a few blogs (the register, osnews to name a few).
> Maybe we will see FP being used more and more in
> industry, if so it might be worth taking a 2nd
> look
> at it.
>
> Paul
>
>
>
>
>
>
___________________________________________________________
>
> All New Yahoo! Mail - Tired of Vi@gr@! come-ons? Let
> our SpamGuard
> protect you. http://uk.docs.yahoo.com/nowyoucan.html
> This email and any files attached are intended for
> the addressee and may
> contain information of a confidential nature. If
> you are not the
> intended recipient, be aware that this email was
> sent to you in error
> and you should not disclose, distribute, print, copy
> or make other use
> of this email or its attachments. Such actions, in
> fact, may be
> unlawful. In compliance with the various
> Regulations and Acts, General
> Dynamics UK Limited reserves the right to monitor
> (and examine for
> viruses) all emails and email attachments, both
> inbound and outbound.
> Email communications and their attachments may not
> be secure or error-
> or virus-free and the company does not accept
> liability or
> responsibility for such matters or the consequences
> thereof. Registered
> Office: 100 New Bridge Street, London EC4V 6JA.
> Registered in England
> and Wales No: 1911653.
>
>
> This email and any files attached are intended for
> the addressee and may contain information of a
> confidential nature. If you are not the intended
> recipient, be aware that this email was sent to you
> in error and you should not disclose, distribute,
> print, copy or make other use of this email or its
> attachments. Such actions, in fact, may be unlawful.
> In compliance with the various Regulations and Acts,
> General Dynamics UK Limited reserves the right to
> monitor (and examine for viruses) all emails and
> email attachments, both inbound and outbound. Email
> communications and their attachments may not be
> secure or error- or virus-free and the company does
> not accept liability or responsibility for such
> matters or the consequences thereof. Registered
> Office: 100 New Bridge Street, London EC4V 6JA.
> Registered in England and Wales No: 1911653.
>
>
___________________________________________________________
All new Yahoo! Mail "The new Interface is stunning in its simplicity and
ease of use." - PC Magazine
http://uk.docs.yahoo.com/nowyoucan.html
This email and any files attached are intended for the addressee and may
contain information of a confidential nature. If you are not the
intended recipient, be aware that this email was sent to you in error
and you should not disclose, distribute, print, copy or make other use
of this email or its attachments. Such actions, in fact, may be
unlawful. In compliance with the various Regulations and Acts, General
Dynamics UK Limited reserves the right to monitor (and examine for
viruses) all emails and email attachments, both inbound and outbound.
Email communications and their attachments may not be secure or error-
or virus-free and the company does not accept liability or
responsibility for such matters or the consequences thereof. Registered
Office: 100 New Bridge Street, London EC4V 6JA. Registered in England
and Wales No: 1911653.
This email and any files attached are intended for the addressee and may
contain information of a confidential nature. If you are not the intended
recipient, be aware that this email was sent to you in error and you should not
disclose, distribute, print, copy or make other use of this email or its
attachments. Such actions, in fact, may be unlawful. In compliance with the
various Regulations and Acts, General Dynamics UK Limited reserves the right to
monitor (and examine for viruses) all emails and email attachments, both
inbound and outbound. Email communications and their attachments may not be
secure or error- or virus-free and the company does not accept liability or
responsibility for such matters or the consequences thereof. Registered Office:
100 New Bridge Street, London EC4V 6JA. Registered in England and Wales No:
1911653.
Other related posts:
