A tutorial for the functional programming language Nice:

http://www.discenda.org/Nice

I came across an interesting functional language called Nice. The
language is a dialect of ML, according to the author (Daniel
Bonniot). Since Nice is basically ML, it wouldn't be an exciting new
entry...

Due to the low level of C, this C example should perhaps then accept a
sequence of numbers separated by space, and print the output. Having
dimension as part of input is not acceptable.

Nomen Nescio dizum.com> wrote in article dizum.com> in comp.lang.functional:

You can implement any programming language in Scheme, by representing
the programs of the implemented language as values of Scheme.
http://www.brics.dk/~hosc/local/HOSC-11-4-pp363-397.pdf

Mogensen's representation is nice, but it's not necessary to answer your
question.

I don't know whom to contact about it, but planet Erlang is really
often down. For a few days now I got something like "memory exhausted"

Fatal error: Allowed memory size of 8388608 bytes exhausted (tried to
allocate 13 bytes) in
/opt/data/planeterlang.org/pligg/class.template.php on line 594

I for my part see it as bad supposed for a system programming language
for 24/7 mode....

Regards
Friedrich

Hello all,
I'm pleased to announce the release of Avalda FPGA Developer v1.0
beta! It enables one to compile regular F# to RTL with parallel
programming semantics. Our aim is to help make FPGAs available to a
wider group of software programmers who may not have as much
experience with HDLs or FPGAs. Please visit Avalda's site to download
the beta and check out the blog!

cheers,

Stephen Afande
Avalda Corp.
http://www.avalda.com

We are delighted to announce a new international programming contest,
addressed first of all to high school students: High School
Programming League 2008/2009: http://hs.spoj.pl. The contest will
consist of 7 problem sets, each lasting about 5 weeks. The 1st problem
set has started on September 20 at 12:00. You are cordially invited to
participate!

Problem solutions in Ocaml, Haskell, Lisp, Scheme are welcome.

Sinerely Yours,
Łukasz Kuszner
www.sphere-research.com

The thought has just occurred to me that conducting a public survey on
evolution across, familiarity with, and exposure to various
programming paradigms in students and practitioners of functional
programming could be illuminating in revealing the correlation between
degree of familiarity with and experience in
procedural/object-oriented programming paradigms, and ease of learning
functional programming in a non-strict, purely functional programming
language, such as Haskell or Clean.

Could you please outline your evolution as a functional programmer in
the following manner (preferably in this thread):

A) Your chronological evolution in programming languages; e.g. (in my
case):

Lisp50@OOPSLA
...celebrating the 50th birthday of Lisp at OOPSLA 2008

Monday, October 20, 2008
Nashville, Tennessee, USA
co-located with OOPSLA 2008
participation is free for all OOPSLA participants
registration for at least one conference day at OOPSLA is required

URL: http:www.lisp50.org
Feed: http://lisp50.blogspot.com

Invited Speakers

Hi Everyone. Here's the latest collection of software articles from
AllPCNews. Enjoy! :)

PHP - Web Application Development
http://www.allpcnews.com/2008/09/15/php-web-application-development/

Mozilla CEO: Chrome was Inevitable
http://www.allpcnews.com/2008/09/02/mozilla-ceo-chrome-was-inevitable/

Why Not Become a Game Programmer?
http://www.allpcnews.com/2008/09/15/why-not-become-a-game-programmer/

IQ Test Or IA Test?
http://www.allpcnews.com/2008/09/15/iq-test-or-ia-test/

The OSD Development Process
http://www.allpcnews.com/2008/09/15/the-osd-development-process/

Why Everyone Is Talking About Spyware Tools
http://www.allpcnews.com/2008/09/04/why-everyone-is-talking-about-spyware-tools/

Cheers,
Jan Mitts

(Apologies if you receive multiple copies of this announcement)

Formal Aspects of Safety Critical Systems
BCS-FACS, the Safety-Critical Systems Club, and FME

9 December 2008

BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA

Formal methods have long been advocated as techniques for defect
avoidance in the development of safety-critical systems. They rely
on the use of rigorously defined mathematical abstractions to permit
precise modelling, analysis and verification of designs and code.
Although they have been seen as expensive 'high-end' technology,
advances in tool support, coupling of formal techniques with other
methods such as static analysis, and technical advances in areas
such as model checking have the potential to improve the
cost-effectiveness of formal techniques.