Igor Delovski Board Forum Index Igor Delovski Board
My Own Personal Slashdot!
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Functional Programming

 
Post new topic   Reply to topic    Igor Delovski Board Forum Index -> General Programming
General Programming  
Author Message
Ike
Kapetan


Joined: 17 Jun 2006
Posts: 3025
Location: Europe

PostPosted: Mon Jun 26, 2006 2:25 pm    Post subject: Functional Programming Reply with quote

"Independently of Alonzo Church, Alan Turing was performing similar
work. He developed a different formalism (now referred to as the Turing
machine), and used it to independently come to similar conclusions as
Alonzo. Later it was shown that Turing machines and lambda calculus
were equivalent in power."


"Functional programming is a practical implementation of Alonzo
Church's ideas. Not all lambda calculus ideas transform to practice
because lambda calculus was not designed to work under physical
limitations. Therefore, like object oriented programming, functional
programming is a set of ideas, not a set of strict guidelines. There are
many functional programming languages, and most of them do many
things very differently."


Beautifully written and quite informative article: Functional Programming For The Rest of Us
Back to top
View user's profile Send private message
Bjanko Novac



Joined: 22 Jun 2006
Posts: 9

PostPosted: Sun Jul 16, 2006 8:29 pm    Post subject: Reply with quote

why don't we see OOP vs functional language wars?

"Not trying to start a fight but I am really curious why I have never seen
them argue. Is there a secret truce to ignore each other? Or maybe I am
missing something."
Back to top
View user's profile Send private message
delovski



Joined: 14 Jun 2006
Posts: 3522
Location: Zagreb

PostPosted: Fri Aug 04, 2006 8:28 am    Post subject: Reply with quote

Wikipedia: Functional programming

"Important influences on functional programming have been the lambda
calculus, the APL programming language, the Lisp programming language,
and more recently the Haskell programming language"


At JoS: LISP sucks

"As a rule of thumb, the most hand-optimized Lisp programs
will be longer than their C/C++ equivalents, and will run
2-20 times slower using the best compilers.

This alone is half the truth. To get such performance out
of Lisp, one has to add type declarations and shed all
safety checks, which is analogous to casting /everything/
to (void*) in C. This is needed to turn off type tag checks
at run time."
Back to top
View user's profile Send private message Visit poster's website
M
Guest





PostPosted: Thu Aug 17, 2006 8:13 pm    Post subject: Reply with quote

Why Erlang Is a Great Language for Concurrent Programming

"Most programming languages implement concurrency poorly, if at all.
The most common approach, which involves multiple OS threads or
processes sharing common data structures that are guarded by locks or
semaphores, has proven itself to be too complex for most programmers to
"get right." Problems such as deadlocks, unguarded access, and coarse
locking tend to creep up even in code created by skilled programmers."
Back to top
XNote
Kapetan


Joined: 16 Jun 2006
Posts: 532

PostPosted: Tue Sep 05, 2006 11:45 pm    Post subject: Reply with quote

Erlang - the best or worst of two worlds?


"The promise of Erlang is to be the best of both worlds. The Erlang
developer should then be the prime example of The Pragmatic Academic.

I do not agree. I argue that Erlang is extremely clumpsy for problems
involving a host of distinct notions, i.e., needing many different types,
often intricately dependent on each other, ontologically or not."
Back to top
View user's profile Send private message
Birdy num num
Guest





PostPosted: Sun Sep 24, 2006 9:05 pm    Post subject: Reply with quote

C++ Futures: Lambda Functions

"The use of “lambda” originates from functional programming and lambda
calculus, where a lambda abstraction defines an unnamed function. Lambda
functions or Lambdas in C++ are one of the more interesting things to look
forward to in the next C++ standard; giving us the ability to treat functions
as first class objects at last; composing them inline and treating them as
class objects."
Back to top
Goiorgio
Guest





PostPosted: Fri Oct 06, 2006 11:02 am    Post subject: Reply with quote

Raganwald: Why are local variables bad?

"Mutable local variables mean that within a method execution you have
changes of state. That makes it very difficult to change anything without
breaking things."
Back to top
Igor
Guest





PostPosted: Tue Oct 10, 2006 5:52 pm    Post subject: Reply with quote

Applications of Recursively Defined Data Structures

"A circular program contains a data structure whose definition is self-
referential or recursive. The use of such a definition allows efficient
functional programs to be written and can avoid repeated evaluations and
the creation of intermediate data structures that would have to be
garbage collected. This paper uses circular programs in various ways, to
implement memo-structures and explicit search-trees to hold solutions to
constraint-satisfaction problems."
Back to top
delovski



Joined: 14 Jun 2006
Posts: 3522
Location: Zagreb

PostPosted: Thu Mar 01, 2007 2:04 am    Post subject: Reply with quote

(Carbon Programming in Lisp)

"I've been working on a CLOS framework to help me write Lisp code for OS X
using OpenMCL. Instead of using Cocoa as most people, I've favored the
Carbon APIs."
Back to top
View user's profile Send private message Visit poster's website
Display posts from previous:   
Post new topic   Reply to topic    Igor Delovski Board Forum Index -> General Programming All times are GMT + 1 Hour
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Delovski.hr
Powered by php-B.B. © 2001, 2005 php-B.B. Group