[dmusofties] Re: Anyone remember FP and Haskell?

  • From: Paul Kennerley <kennerley_paul@xxxxxxxxxxx>
  • To: dmusofties@xxxxxxxxxxxxx
  • Date: Thu, 20 Jul 2006 13:54:00 +0100 (BST)

Hi Nick,

I know there is a plugin for Eclipse, but I havent
used it. Interesting to hear that the .Net stuff
failed the validation process. Did they release any
details why not?



--- Nick.Adamson@xxxxxxxxxxxxxxxxxxxxxx wrote:

> 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.
> 
> 



        
        
                
___________________________________________________________ 
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

Other related posts: