[dmusofties] Re: Anyone remember FP and Haskell?
- From: <Nick.Adamson@xxxxxxxxxxxxxxxxxxxxxx>
- To: <dmusofties@xxxxxxxxxxxxx>
- Date: Thu, 20 Jul 2006 15:14:17 +0100
Hi Paul.
Hmm, eclipse is meant to be quite accessible.
.Net failed because it was to hard to do resource profiling as there's
hidden overhead and because it's an interpreted it's far to easy to
decompile which when your looking at anything up to top secret is a
really bad thing!
Cheers.
Nick.
-----Original Message-----
From: dmusofties-bounce@xxxxxxxxxxxxx
[mailto:dmusofties-bounce@xxxxxxxxxxxxx] On Behalf Of Paul Kennerley
Sent: 20 July 2006 13:54
To: dmusofties@xxxxxxxxxxxxx
Subject: [dmusofties] Re: Anyone remember FP and Haskell?
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
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:
