Re: how relevant is C today?
bruno at modulix <onurb@xiludom. gro> writes:
[color=blue]
> Lawrence D'Oliveiro wrote:[color=green]
> > It _can_ be used as a pure functional language. An interpreter for a
> > pure-functional subset of LISP can be written[/color]
>
> And ?[/color]
You will have a functionally pure dialect of a very useful language
that makes it impossible to write pretty much anything of use :)
Although if you do manage to get something working, it's pretty much
guaranteed to work correctly due to the fact to purely functional
programs being very close to mathematical proofs...at least in theory
and assuming your language has no bugs. Imperative programming is
mathematics with state; functional programming *is* mathematics.
--
burton samograd kruhft .at. gmail
kruhft.blogspot .com www.myspace.com/kruhft metashell.blogs pot.com
bruno at modulix <onurb@xiludom. gro> writes:
[color=blue]
> Lawrence D'Oliveiro wrote:[color=green]
> > It _can_ be used as a pure functional language. An interpreter for a
> > pure-functional subset of LISP can be written[/color]
>
> And ?[/color]
You will have a functionally pure dialect of a very useful language
that makes it impossible to write pretty much anything of use :)
Although if you do manage to get something working, it's pretty much
guaranteed to work correctly due to the fact to purely functional
programs being very close to mathematical proofs...at least in theory
and assuming your language has no bugs. Imperative programming is
mathematics with state; functional programming *is* mathematics.
--
burton samograd kruhft .at. gmail
kruhft.blogspot .com www.myspace.com/kruhft metashell.blogs pot.com
Comment