This is just a little straw poll to find how many people out there are using functional languages, as part of a job, or just as a hobby. How much impact, if any, have they had on you? What are your opinions? Beware programmers bearing "elegant solutions"...
What is a functional language?
This is in contrast to disfunctional programmers...
Simon P. Lucy
Here is one example: http://www.haskell.org and an example of a company that is trying to make money using functional programming: http://www.galois.com
Try again: http://www.haskell.org
I've tinkered with Erlang & scheme.
I'm being forced into fp for a class at Iowa State. CS342 ( http://www.cs.iastate.edu/~cs342 ). Can't say I like scheme (or chez-scheme) but it is interesting once you "get" what's going on and how to accomplish things.
tim (who will need a job after may)
I took a class that was all in Scheme (a Lisp dialect) in college and found it to be quite eye-opening. The book we used was Abelson and Sussman's "Structure and Interpretation of Computer Programs"; I believe I read that the full text of this book is now available for free online, so you can check it out for yourself.
I've been using REBOL (pronounced "reble") a lot lately for quick network/web-aware scripts and proof-of-concept demos. Before I stumbled onto REBOL, my normal approach was to use Perl, Python or Java.
Interesting topic/posts. Took a look at the Haskell site. Sounds something like working in one of the commercial high-level simulation languages via their gui. Specifically, I'm thinking of a simulation development system called "Arena", it was made by Systems Modeling, I believe out of PA. Under the hood, it was SIMAN. Don't know if they're still around or not.
Personally i think computability at college should be taught with lambda calculus iso turing machines (no disrepect) But we all get exposed to the procedural approach anyway, so another approach would open the world of fp to more.
At Iowa State, computation is taught in 2 classes. Theory of computation (dfa's, nfa's, grammars, etc) and Programming Languages (342, scheme lambda calc, etc).
For those using .NET MS research has a version of ML at http://www.cl.cam.ac.uk/Research/TSG/SMLNET/
I use Scheme and Python. These are not purely functional languages, but they support the functional style. It leads to very sensible, maintainable code. And for the times you want to step out of the fucntional style, these languages let you be imperative (like the C languages).
I admire nobody mentioned XSL yet, although it's a very common (not-so) functional language. It still lacks functions as a first-level type, and doesn't have closures, but I still consider XSL a very nice funcional language, and one of the easiest languages to get things done - and fast.
I learned Scheme from SICP, with the side effect of thinking differently about programming.
Fog Creek Home