article in Tech
programming
Functional programming
Lazy functional programming languages and the programmer's who think in terms of functions, compositions, and transformations.
with claims like formal provability, modularity, composability, and an apparent fallout of easier debugging and testing from compact side effect free code.
There are ways of doing functional programming using common programming languages that you might not originally consider; I've mentioned libraries for functional programming languages in Javascript/Perl/Python/etc pages on my site. "functions as first-class objects” and “eliminating side effects” don't happen automatically, some languages make it easier to implement than others. immutable and stateless programs require a different train of thought when attacking the problem.
Standard ML - Wikipedia, the free encyclopedia
ML (programming language) - Wikipedia, the free encyclopedia
A Gentle Introduction to ML
Alexey Kachayev :: Talks - lots of great talks about Python Fn.py, Clojure, Erlang, Haskell, Go, and a plea to stop coding in Pascal(pdf)...
Turing machine - infinite memory and finite instructions.
λ calculus - terms, abstraction, application, β-reduction.
prog21: Functional Programming Archaeology
laziness - compute values only when you need it
purity - pure functions that return results which are only dependent on the input and have no hidden state.
Functional programming promotes purity and concurrency.
F# functional programming language for .NET includes the .NET type language.
Erlang functional programming language designed for telecommunications messages sent across threads. (threads are well partitioned)
Haskell is a functional programming language with monads.
Monads in functional programming
F# - functional programming, object oriented, and imperative.
F# sources comes with, so you can see how the libraries are implemented.
Functional programming is more declarative in that we describe the problem and don't specify the computational setups.
Lisp is really the mother language, with base in mathematical functions.
Strongly and statically typed, but it has inferred types.
By default all types are immutable.
Supports implementation inheritance, and has object expressions which allow you to instantiate
Computation expressions are like monads in haskell.
Monads in C++ | Bartosz Milewski's Programming Cafe
Asynchronous API in C++ and the Continuation Monad | FP Complete
Haskell
Galois › Blog › Blog » Parsing the Linux kernel with Haskell: experience with Language.C
Try Haskell! An interactive tutorial in your browser
Real World Haskell - online home of O'Reilly Media's Real World Haskell.
xmonad | the tiling window manager that rocks
Understanding Yoneda | Bartosz Milewski's Programming Cafe
A Neighborhood of Infinity: Reverse Engineering Machines with the Yoneda Lemma
Monads in C++ | Bartosz Milewski's Programming Cafe
Hakyll - Home - Hakyll is a Haskell library for generating static sites, mostly aimed at small-to-medium sites and personal blogs.
Snap: A Haskell Web Framework: Home
ndmitchell/shake - Shake is a Haskell library for writing build systems - designed as a replacement for make. Hackage: shake: Build system library, like Make, but more accurate dependencies.
F#
hubFS: THE place for F#
Thesis: Client-side Scripting using Meta-programming | Blog | TomasP.Net (uses F# on both sides)
Are you ready to learn F#? Concepts to be familiar with before learning the F# language
Bug squash: 10 reasons to use the F# runtime in your C# app
Silverlight 3 and F# Support in Visual Studio 2010
F# on (Ubuntu) Linux with Mono and Monodevelop | //TODO: - Chris Marinos' Blog
Contributing to the F# Language and Compiler
Erlang
Erlang
Yaws - erlang based web server.
Erlbol - Erlbol - Erlang + REBOL gui
Erlang HowTo Documentation -- Writing an Erlang Port using OTP Principles
Chicago Boss: The Erlang Web Framework - Erlang web MVC, now featuring Comet
github:ChicagoBoss/ChicagoBoss
ChicagoBoss/boss_db - BossDB: a sharded, caching, pooling, evented ORM for Erlang
The Joy of Erlang - By Evan Miller
Erlang -- OTP Design Principles - OTP Design Principles is a set of principles for how to structure Erlang code in terms of processes, modules and directories.
Elixir - Elixir is a functional, meta-programming aware language built on top of the Erlang VM. It is a dynamic language that focuses on tooling to leverage Erlang's abilities to build concurrent, distributed and fault-tolerant applications with hot code upgrades.
Couchdb is written in Erlang
Apache CouchDB: The CouchDB Project - Apache CouchDB is a distributed, fault-tolerant and schema-free document-oriented database accessible via a RESTful HTTP/JSON API. Among other features, it provides robust, incremental replication with bi-directional conflict detection and resolution, and is queryable and indexable using a table-oriented view engine with JavaScript acting as the default view definition language.
Iris Couch - free couchdb hosting.
Simple JavaScript Applications with CouchDB - CouchApp.org
Installing CouchDB From Source On Mac OS X - Locomotivation, the technology blog from Squeejee
Couchdbkit - Welcome to the Couchdbkit project - framework for your Python application to access and manage Couchdb.
YouTube - Taskr Evently CouchApp CouchDB Screencast
blog.couch.io - great blog by Chris Anderson usually with CouchDB related content.
ShardsConfandYou - couchdb-lounge - Explanation of how the shards.conf file works - Project Hosting on Google Code
Installing_on_Windows - Couchdb Wiki
couchapp's couchapp at master - GitHub - Utilities to make standalone CouchDB application development simple
git.nicolast.be Git - django-couchdb.git/summary
Getting_started_with_Python - Couchdb Wiki
couchquery – A Python library for CouchDB — couchquery v0.3 documentation
couchshelve.text - Manage a "shelf" of pickled objects with a couchdb backend.
Planet CouchDB
Desktop CouchDB in Launchpad
GettingStarted - couchdb-python - Introduction to using couchdb-python. - Project Hosting on Google Code
davidwatson.org: python-couchdb rocks
clofresh/couch-crawler - GitHub - search engine built on rnewson/couchdb-lucene - GitHub
hpoydar/processing-js-studio - GitHub - Web-based application to store Processing JS sketches and renderings. Storage and service provided by CouchDB.
Scala
Scala vs. F#: Comparing Functional Programming Features — Developer.com
garu/scala-for-perl5-programmers
Papa Carlo incremental parsers in Scala Papa Carlo Demo Eliah-Lakhin/papa-carlo
Clojure
Clojure.org - Clojure is a robust, practical, and fast programming language with a set of useful features that together form a simple, coherent, and powerful tool.
The Clojure Toolbox
Leiningen - for automating Clojure projects without setting your hair on fire
Plugins · technomancy/leiningen Wiki
leiningen-win-installer
Clojure
technomancy/leiningen - Automate Clojure projects without setting your hair on fire.
functional-koans/clojure-koans - A set of exercises for learning Clojure
Day8/re-frame: A Reagent Framework For Writing SPAs, in Clojurescript.
Reagent: Minimalistic React for ClojureScript
GitHub - reagent-project/reagent-forms: Bootstrap form components for Reagent
All projects - Clojars
Devcards, Taking Interactivity to the Next Level
Web Functional fun
Elm - functional web programming - Elm is a functional language that compiles to HTML, CSS, and JavaScript.
Newspeak - existing implementation runs on top of Squeak Smalltalk, and shares many of Squeak’s libraries and infrastructure.
zot/Leisure - Lazy functional programming language and environment with support for metaprogramming. Introducing Leisure
Created: 2007-03-20 22:15:12
Modified: 2016-04-09 00:52:50
